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. .