Programming in Equational Logic: Beyond Strong Sequentiality
R. C. SekarI. V. RamakrishnanPublished in: Inf. Comput. (1993)
Keyphrases
- horn clauses
- programming language
- logic programming
- classical logic
- modal logic
- lattice theory
- theorem proving
- development environment
- programming environment
- data sets
- sound and complete axiomatization
- asynchronous circuits
- epistemic logic
- computational properties
- logical framework
- database
- digital circuits
- multi valued
- default logic
- general purpose