You are here: irt.org | FOLDOC | Uranus
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.
(ftp://etlport.etl.go.jp/pub/uranus/ftp).
Nearby terms: upstream « upthread « upward closure « Uranus » urban legend » URC » urchin
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL