UNIFORM: A Language Based upon Unification which Unifies (Much of) LISP, PROLOG, and ACT I
Proceedings of the Seventh International Joint Conference on Artificial Intelligence. Programming Environments. 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.
@inproceedings{ijcai1981p178,
title = {UNIFORM: A Language Based upon Unification which Unifies (Much of) LISP, PROLOG, and ACT I},
author = {Kahn, Kenneth M.},
booktitle = {Proceedings of the Seventh International Joint Conference on
Artificial Intelligence, {IJCAI-81}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Roger C. Schank},
pages = {933--938},
year = {1981},
month = {8},
note = {Programming Environments},
url = {https://ijcai.org/proceedings/1981/178},
}
TY - CPAPER TI - UNIFORM: A Language Based upon Unification which Unifies (Much of) LISP, PROLOG, and ACT I AU - Kahn, Kenneth M. T2 - Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81 PB - International Joint Conferences on Artificial Intelligence PY - 1981 SP - 933 EP - 938 UR - https://ijcai.org/proceedings/1981/178 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
