Publication:3732946
From MaRDI portal
zbMath0598.68020MaRDI QIDQ3732946
Manuel V. Hermenegildo, R. I. Nasr
Publication date: 1986
PROLOG; Horn clauses; parallel processing; logic programming; intelligent backtracking; backward execution; Warren abstract machine
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
Unnamed Item, A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism, An execution model for exploiting AND-parallelism in logic programs, A backtracking algorithm for the stream AND-parallel execution of logic programs, Bounded quantifications for iteration and concurrency in logic programming