scientific article
From MaRDI portal
Publication:3732947
zbMath0598.68021MaRDI QIDQ3732947
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
parallel processinglogic programmingWarren Abstract MachinePROLOG implementationrestricted AND-parallelism
Symbolic computation and algebraic computation (68W30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theory of operating systems (68N25)
Related Items (9)
Bounded quantifications for iteration and concurrency in logic programming ⋮ An execution model for exploiting AND-parallelism in logic programs ⋮ Fifty Years of Prolog and Beyond ⋮ Parallel Logic Programming: A Sequel ⋮ A methodology for detecting shared variable dependencies in logic programs ⋮ Performance of Muse on switch-based multiprocessor machines ⋮ Non-strict independence-based program parallelization using sharing and freeness information ⋮ A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism ⋮ PAN: A portable, parallel Prolog: Its design, realisation and performance.
This page was built for publication:
