Search Tree Unification: Paradigm for Process-based Logic Programs.
Szabolcs FerencziPublished in: ICLP Workshop: Process-Based Parallel Logic Programming (1994)
Keyphrases
- logic programs
- search tree
- logic programming
- fixpoint
- answer set programming
- answer sets
- normal logic programs
- branch and bound algorithm
- computational properties
- prolog programs
- partial deduction
- term rewriting systems
- inductive logic programming
- belief revision
- search algorithm
- constraint satisfaction problems
- stable model semantics
- monotonicity constraints