Kahn, Kenneth M. "Uniform : a language based upon unification which unifies (much of) Lisp, Prolog, and Act 1" UPMAIL. Uppsala programming methodology and artificial intelligence laboratory. Technical reports 17 Uppsala University 1981
(1981)
Languages mentioned
Act1
{1982} Actor OO language
IC-Prolog
{1979}
METALOG
{1980}
Prolog
{1971} Logic programming language
QLISP
{1973} Questioning LISP
QLOG
{1979}
UNIFORM
{1981}