On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract).
Chandrabose AravindanPeter BaumgartnerJürgen DixUlrich FurbachGerd NeugebauerIlkka NiemeläDorothea SchäferFrieder StolzenburgPublished in: JICSLP (1996)
Keyphrases
- theorem proving
- programming paradigms
- automated reasoning
- proof procedure
- logical inference
- proof search
- automated theorem proving
- predicate calculus
- natural deduction
- programming language
- theorem prover
- inference rules
- first order logic
- decision procedures
- proof planning
- logic programming
- modal logic
- term rewriting
- parallel search
- constraint logic programming
- high level
- search algorithm
- consequence finding
- parallel programming
- bayesian networks
- programming environment
- query language