Uranus

Hideyuki Nakashima, 1993

A logic-based knowledge representation language. An extension of Prolog written in Common LISP, with LISP-like syntax. It extends Prolog with a multiple world mechanism, plus term descriptions to provide functional programming.