A backtracking algorithm for the stream AND-parallel execution of logic programs

DOI10.1007/BF02427851zbMath0668.68024MaRDI QIDQ1118390

Kotagiri Ramamohanarao, Jayen Vaghani, Zoltan Somogyi

Publication date: 1988

Published in: International Journal of Parallel Programming (Search for Journal in Brave)

zbMATH Keywords

intelligent backtrackingdon't-know nondeterminismstream AND-parallelismstrong and precise modes

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Data structures (68P05) Theory of operating systems (68N25)

Uses Software

• PARLOG

Cites Work

• AND parallelism and nondeterminism in logic programs
• Some global optimizations for a PROLOG compiler
• Automating control for logic programs
• Making prolog more expressive
• PARLOG: parallel programming in logic
• A data-dependency-based intelligent backtracking scheme for PROLOG
• Deduction Plans: A Basis for Intelligent Backtracking
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A backtracking algorithm for the stream AND-parallel execution of logic programs