HyperDEBU: A Multiwindow Debugger for Parallel Logic Programs.
Jun'ichi TatemuraHanpei KoikeHidehiko TanakaPublished in: Programming Environments for Parallel Computing (1992)
Keyphrases
- logic programs
- logic programming
- fixpoint
- stable models
- answer sets
- computational properties
- partial deduction
- answer set programming
- prolog programs
- background knowledge
- inductive logic programming
- stable model semantics
- horn clauses
- term rewriting systems
- deductive databases
- programming language
- normal logic programs
- expert systems
- nonmonotonic reasoning
- existentially quantified
- recursive programs