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/uranus/ftp.

Nearby terms:

upstreamupthreadupward closureUranusurban legendURCurchin

Try this search on Wikipedia, Wiktionary, Google, OneLook.



Loading