CMU Artificial Intelligence Repository
URANUS: Logic-Based Knowledge Representation Language
areas/kr/systems/uranus/
URANUS is a logic-based knowledge representation language. Uranus is
an extension of Prolog written in Common Lisp and using the syntax of
Lisp. Uranus extends Prolog with a multiple world mechanism for
knowledge representation and term descriptions to provide
functional programming within the framework of logic programming.
Origin:
etlport.etl.go.jp:/pub/uranus/ftp/ [192.31.197.99]
Version: V-19.8 (13-OCT-93)
Requires: Common Lisp
Ports: KCL, Lucid, VAXLisp, AKCL
Copying: Use, copying and modification permitted for research
purposes only.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Author(s): Hideyuki Nakashima
Keywords:
Authors!Nakashima, Functional Programming,
Knowledge Representation, Lisp!Code, Logic Programming,
Multiple Worlds, Programming Languages!Prolog,
Prolog in Common Lisp, Prolog!Implementations, URANUS
References: ?
Last Web update on Mon Feb 13 10:24:12 1995
AI.Repository@cs.cmu.edu