scientific article
From MaRDI portal
Publication:3732946
zbMath0598.68020MaRDI QIDQ3732946
R. I. Nasr, Manuel V. Hermenegildo
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
PROLOGHorn clausesparallel processinglogic programmingintelligent backtrackingbackward executionWarren abstract machine
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 (6)
Bounded quantifications for iteration and concurrency in logic programming ⋮ An execution model for exploiting AND-parallelism in logic programs ⋮ A backtracking algorithm for the stream AND-parallel execution of logic programs ⋮ Parallel Logic Programming: A Sequel ⋮ Unnamed Item ⋮ A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
This page was built for publication:
