From nakashim@uranus.etl.go.jp Mon Oct 4 21:12:27 EDT 1993 Article: 19039 of comp.ai Xref: honeydew.srv.cs.cmu.edu comp.ai:19039 Newsgroups: comp.ai Path: honeydew.srv.cs.cmu.edu!rochester!udel!gatech!swrinde!elroy.jpl.nasa.gov!usc!cs.utexas.edu!uunet!olivea!koriel!sh.wide!wnoc-tyo-news!etl.go.jp!etlss2!nakashim From: nakashim@uranus.etl.go.jp (Hideyuki Nakashima) Subject: Uranus system available Message-ID: Sender: news@etl.go.jp (News System) Nntp-Posting-Host: uranus Organization: Electrotechnical Laboratory Date: Fri, 1 Oct 1993 06:12:29 GMT Lines: 65 A logic based knowledge representation language Uranus is available through ftp. 1. License Uranus is free to use, copy and modify as long as it is used for RESEARCH PURPOSE ONLY. URANUS PROVIDES ABSOLUTELY NO GUARANTEE. 2. Ftp Site machine: etlport.etl.go.jp IP: 192.31.197.99 login: anonymous directory: pub/uranus/ftp 3. What is Uranus - Uranus is an extension of Prolog written in Common Lisp and has the syntax of Lisp. - Uranus extends Prolog in the following two features: 1. multiple world mechanism 2. term descriptions to provide functional programming within the framework of logic programming. - All Lisp functions are usable. How to Install Uranus: 1) Unpack files in a proper directory. 2) Copy proper Makefile-* file to Makefile. 3) Make. 4) Move Uranus object to a proper directory. File Descriptions: amuse.lisp editor *defs.lisp definitions of variables etc. *kernel.lisp Uranus kernel (most important part) lib.lisp library Lisp functions (must be changed for each lisp) *lispfunctions.lisp interface from Uranus to Lisp make-uranus.lisp creates a system image of Uranus manual.ps the manual *readin.lisp read-in macros *stepper.lisp stepper systempred.lisp Uranus system predicates *td.lisp term descriptions *trace.lisp tracer Files marked * are the minimum requirements for Uranus system. 4. The Author Hideyuki Nakashima e-mail address: nakashim@etl.go.jp -- Hideyuki Nakashima Cooperative Architecture Electrotechincal Lab.