Transforming generate-and-test programs to execute under committed-choice AND-parallelism

DOI10.1007/BF01379187zbMath0701.68017MaRDI QIDQ914360

Arvind Bansal, Leon S. Sterling

Publication date: 1989

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

zbMATH Keywords

parallelismprogram transformationlogic programmingcommitted-choice

Mathematics Subject Classification ID

Artificial intelligence (68T99) Logic programming (68N17) General topics in the theory of software (68N01)

Uses Software

• PARLOG
• GHC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• AND parallelism and nondeterminism in logic programs
• OR-parallel execution of Prolog on a multi-sequential machine
• Notes on the implementation of PARLOG
• PARLOG: parallel programming in logic
• Guarded commands, nondeterminacy and formal derivation of programs

This page was built for publication: Transforming generate-and-test programs to execute under committed-choice AND-parallelism