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