Logic Programming with External Procedures: Introducing S-Unification.
Jacek LeszczylowskiStaffan BonnierJan MaluszynskiPublished in: Inf. Process. Lett. (1988)
Keyphrases
- logic programming
- logic programs
- function symbols
- deductive databases
- knowledge representation
- nonmonotonic reasoning
- computational logic
- reasoning tasks
- answer set programming
- answer sets
- programming language
- logic programming language
- classical logic
- knowledge base
- probabilistic reasoning
- default logic
- fixpoint
- knowledge representation language
- knowledge representation and reasoning
- constraint logic programming
- procedural semantics
- inductive logic programming
- declarative semantics
- theorem proving
- machine learning
- background knowledge
- normal logic programs
- decision problems
- reasoning about actions
- stable models
- theorem prover
- pseudo boolean constraints