Uranus - Hideyuki Nakashima, 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
Comments, Experience, Additions
Next Language: USE