An execution model for exploiting AND-parallelism in logic programs

DOI10.1007/BF03037417zbMath0637.68029MaRDI QIDQ1098621

Yow-Jian Lin, Vipin Kumar

Publication date: 1988

Published in: New Generation Computing (Search for Journal in Brave)

zbMATH Keywords

logic programsHorn clauseintelligent backtrackingAND-parallelismAND/OR process

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (3)

A methodology for detecting shared variable dependencies in logic programs ⋮ Forward checking and intelligent backtracking ⋮ Parallel processing for difficult combinatorial optimization problems

Uses Software

• PARLOG
• GHC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• AND parallelism and nondeterminism in logic programs
• Intelligent Backtracking in Plan-Based Deduction
• A data-dependency-based intelligent backtracking scheme for PROLOG
• Deduction Plans: A Basis for Intelligent Backtracking

This page was built for publication: An execution model for exploiting AND-parallelism in logic programs