Uranus




Hideyuki Nakashima <[email protected]>, 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