Modular Termination Proofs for Prolog with Tabling.
Sofie VerbaetenKonstantinos SagonasDanny De SchreyePublished in: PPDP (1999)
Keyphrases
- logic programming
- logic programming language
- theorem proving
- term rewriting
- logic programs
- constraint logic programming
- programming language
- rewrite systems
- expert systems
- inference rules
- knowledge base
- knowledge representation
- theorem prover
- answer set programming
- artificial intelligence
- formal proofs
- sequent calculus
- formal proof
- modular neural network
- active rules
- multi agent
- databases
- mathematical proofs
- modular neural networks
- real time
- interactive theorem proving
- proof search
- modular architecture
- natural deduction
- constraint solving
- decision procedures
- general purpose