A PROLOG Interpreter for First-Order Intuitionistic Logic.
L. Thorne McCartyLeon A. ShklarPublished in: ILPS (1994)
Keyphrases
- intuitionistic logic
- classical logic
- programming language
- logic programming
- linear logic
- horn clauses
- proof theoretic
- first order logic
- model theoretic
- natural deduction
- knowledge representation
- normal form
- deductive databases
- theorem proving
- constraint logic programming
- expert systems
- knowledge base
- fixpoint
- inductive logic programming
- answer sets
- database
- fixed point
- object oriented
- cut elimination
- high level