scientific article
From MaRDI portal
Publication:3735066
zbMath0599.68024MaRDI QIDQ3735066
Vipin Kumar, Yow-Jian Lin, Clement H. C. Leung
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
PROLOGparallel processinglogic programmingintelligent backtrackingbacktracking algorithmAND-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 (5)
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 ⋮ Intelligent backtracking in \(\text{CLP}(\Re)\) ⋮ Yet another efficient backward execution algorithm in the AND/OR process model
This page was built for publication:
