Uranus(ID:1753/ura001)

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.

Structures:
Related languages
Common LISP => Uranus   Written using
Prolog => Uranus   Extension of

Resources