Uranus

n 1: god of the heavens; son and husband of Gaea and father of

the Titans in ancient mythology [syn: {Ouranos}, {Uranus}]

2: a giant planet with a ring of ice particles; 7th from the

sun [syn: {Uranus}]

Uranus

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.

{(ftp://etlport.etl.go.jp/pub/uranus/ftp)}