Publication:3732947
From MaRDI portal
zbMath0598.68021MaRDI QIDQ3732947
Publication date: 1986
parallel processing; logic programming; Warren Abstract Machine; PROLOG implementation; restricted 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
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism, Non-strict independence-based program parallelization using sharing and freeness information, An execution model for exploiting AND-parallelism in logic programs, A methodology for detecting shared variable dependencies in logic programs, Performance of Muse on switch-based multiprocessor machines, Bounded quantifications for iteration and concurrency in logic programming, PAN: A portable, parallel Prolog: Its design, realisation and performance.