Publication:3735066
From MaRDI portal
zbMath0599.68024MaRDI QIDQ3735066
Vipin Kumar, Yow-Jian Lin, Clement H. C. Leung
Publication date: 1986
PROLOG; parallel processing; logic programming; intelligent backtracking; backtracking algorithm; AND-parallelism
68W30: Symbolic computation and algebraic computation
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68N25: Theory of operating systems
Related Items
An execution model for exploiting AND-parallelism in logic programs, Efficient backward execution in AND/OR process model, A backtracking algorithm for the stream AND-parallel execution of logic programs, Yet another efficient backward execution algorithm in the AND/OR process model, Intelligent backtracking in \(\text{CLP}(\Re)\)