UNIFORM: A Language Based upon Unification which Unifies (Much of) LISP, PROLOG, and ACT I.
Kenneth M. KahnPublished in: IJCAI (1981)
Keyphrases
- programming language
- logic programming language
- abstract machine
- programming environment
- logic programming
- specification language
- object oriented
- knowledge representation
- programs written
- object oriented programming
- computer programs
- theorem proving
- dependency directed backtracking
- general purpose
- natural language
- learning theory
- constraint logic programming
- programming paradigms
- software engineering
- relational databases
- expert systems
- functional programming
- high level
- information systems
- data sets
- database systems
- linear array
- learning algorithm
- computational linguistics
- website
- information technology
- language processing
- higher order
- database