Equational Logic as a Programming Language.
Michael J. O'DonnellPublished in: Logic of Programs (1985)
Keyphrases
- programming language
- logic programming
- lambda calculus
- object oriented
- general purpose
- database language
- software engineering
- concurrent programming
- programming environment
- object oriented programming
- high level
- theorem proving
- horn clauses
- denotational semantics
- modal logic
- database languages
- specification language
- programming tool
- strongly typed
- open source
- theorem prover
- deductive databases
- abstract data types
- proof search
- databases