Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary (also found in English - English (Wordnet), )
Uranus
Jump to user comments
Hideyuki Nakashima nakashim@el.go.jp, 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.