---
title: "UNIFORM: A Language Based upon Unification which Unifies (Much of) LISP, PROLOG, and ACT I"
authors:
  - "Kenneth M. Kahn"
doi: ""
url: "https://ijcai.org/proceedings/1981/178"
pdf: "https://ijcai.org/proceedings/1981/0178.pdf"
venue: "Proceedings of the Seventh International Joint Conference on Artificial Intelligence"
year: 1981
pages: "933-938"
track: "Programming Environments"
keywords:
---

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

Kenneth M. Kahn

*Proceedings of the Seventh International Joint Conference on Artificial Intelligence*, pages 933-938.

## Abstract

UnH'orm is an AI programming language under development based upon augmented unification. It is an attempt to combine, in a simple coherent framework, the most important features of Lisp, actor languages such as Act 1 and SmallTalk, and logic programming languages such as Prolog. Among the unusual abilities of the language is its ability to use the same program as a function, an inverse function, a predicate, a pattern, or a generator. All of these uses can be performed upon concrete, symbolic, and partially instantiated data. Uniform features automatic inheritance from multiple super classes, facilities for manipulation of programs, a limited ability to determine program equivalence, and a unification-oriented database.