UNIFORM: A Language Based upon Unification which Unifies (Much of) LISP, PROLOG, and ACT I.

Kenneth M. Kahn

Browse the full IJCAI paper archive.