CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

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