Concepedia

AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs.

Piotr Dembiński, Jan Małuszyński

SLP · 1985 · 57 citations · 0 references

Concepts

ComputingComputer ScienceComputer SystemsLogicParallel AlgorithmsProgramming LanguagesAutomated ReasoningData-flow AnalysisLogic ProgrammingParallel Programming ModelsPredicate LogicConcurrent Logic ProgrammingLogic Parallel ProgrammingParallel BacktrackingParallel Logic ProgrammingRecursive Backtracking