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