Determinacy analysis for efficient execution of logic programs

MaRDI QIDQ1818409zbMATH OpenFDO

Authors R. Bahgat, A. S. Sabbah, M. Q. Gharraf, O. A. El-Sayed

Publication date 17 October 2000

Published in Journal of the Egyptian Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

Andorra Modelconstrained Herbrand variable

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 3942996
• Determinacy Analysis for Logic Programs Using Mode and Type Information
• A design and implementation of the extended Andorra model
• scientific article; zbMATH DE number 4045121
• An execution model for exploiting AND-parallelism in logic programs

Cited in

(9)

• scientific article; zbMATH DE number 3942996 (Why is no real title available?)
• Determinacy Analysis for Logic Programs Using Mode and Type Information
• Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses
• A design and implementation of the extended Andorra model
• Efficient dataflow analysis of logic programs
• scientific article; zbMATH DE number 1696779 (Why is no real title available?)
• scientific article; zbMATH DE number 5840258 (Why is no real title available?)
• Logic Programming
• Determination of the class of validity of logical formulas by directed exhaustive search

This page was built for publication: Determinacy analysis for efficient execution of logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1818409)