Uniform: a language based upon unification which unifies (much of) LISP, Prolog, and Act 1

Authors:
Kenneth M. Kahn
Affiliations:
UPMAIL, Uppsala Programming Methodology and Artificial Intelligence Laboratory, Department of Computing Science, University of Uppsala, Uppsala, Sweden
Venue:
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
Year:
1981

Citing 4
Cited 0

A Machine-Oriented Logic Based on the Resolution Principle

Journal of the ACM (JACM)
Algorithm = logic + control

Communications of the ACM
Reasoning Modeled As A Society Of Communicating Experts

Reasoning Modeled As A Society Of Communicating Experts
The Definition and Implementation of a Computer Programming Language Based on Constraints

The Definition and Implementation of a Computer Programming Language Based on Constraints

Quantified Score

Hi-index	0.00

Visualization

Abstract

Uniform 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.