UNIFORM - A LANGUAGE BASED UPON UNIFICATION WHICH UNIFIES (MUCH OF) LISP, PROLOG, AND ACT 1

摘要

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 3uper classes, facilities for manipulation of programs, a limited ability to determine program equivalence, and a unification-oriented database.