Parallelism in logic programs

DOI10.1007/BF01530928zbMath0875.68238MaRDI QIDQ1360680

Raghu Ramakrishnan

Publication date: 26 October 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

magic templates algorithmsideways information propagation graphs

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• SYGRAF
• PARLOG

Cites Work

• Unnamed Item
• Recursive query processing: The power of logic
• The Alexander Method - a technique for the processing of recursive axioms in deductive databases
• On the power of magic
• PARLOG: parallel programming in logic
• Microwave absorption and plasma heating due to microwave breakdown in the atmosphere
• Parallel bottom-up processing of datalog queries
• The Semantics of Predicate Logic as a Programming Language

This page was built for publication: Parallelism in logic programs