Control and Data Flow Visualization for Parallel Logic Programs on a Multi-window Debugger HyperDEBU.
Jun'ichi TatemuraHanpei KoikeHidehiko TanakaPublished in: PARLE (1993)
Keyphrases
- logic programs
- data flow
- logic programming
- control flow
- answer set programming
- systolic array
- database machine
- fixpoint
- answer sets
- prolog programs
- background knowledge
- partial deduction
- stable models
- inductive logic programming
- normal logic programs
- computational properties
- stable model semantics
- functional programs
- strong equivalence
- recursive programs
- term rewriting systems
- logic program updates