CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

URANUS: Logic-Based Knowledge Representation Language

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: []

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