Uranus
Hideyuki Nakashima <nakashim@el.go.jp>, 1993.
A logic-based knowledge representation language.
An extension of Prolog written in Common Lisp, with Lisp-like syntax.
Extends Prolog with a multiple world mechanism, plus term descriptions to provide functional programming.
(ftp://etlport.etl.go.jp/pub
| < Previous Terms | Terms Containing Uranus | Next Terms > |
| Upright Database Technology AB UPS upstream upthread upward closure | IBM 1620 Uranus | urban legend URC urchin URI URL |
