A methodology for detecting shared variable dependencies in logic programs

DOI10.1016/S0747-7171(08)80151-4zbMath0767.68013WikidataQ114655734 ScholiaQ114655734MaRDI QIDQ1186710

B. Schend

Publication date: 28 June 1992

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

dependency graphdependency checkingindependent literals

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• PARLOG

Cites Work

• Ordering conjunctive queries
• An execution model for exploiting AND-parallelism in logic programs
• Some global optimizations for a PROLOG compiler
• PARLOG: parallel programming in logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A methodology for detecting shared variable dependencies in logic programs