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/uranus/ftp.
Nearby terms:
upstream « upthread « upward closure « Uranus
» urban legend » URC » urchin
|