I/O Mode Analysis in Concurrent Logic Programming.
Kazunori UedaPublished in: Theory and Practice of Parallel Programming (1994)
Keyphrases
- logic programming
- logic programs
- programming language
- nonmonotonic reasoning
- deductive databases
- constraint logic programming
- knowledge representation
- knowledge base
- logic programming language
- knowledge representation and reasoning
- probabilistic reasoning
- answer set programming
- default logic
- stable models
- background knowledge
- domain knowledge
- database
- disjunctive logic programming