Determinacy analysis for efficient execution of logic programs

zbMATH Open0946.68018MaRDI QIDQ1818409FDOQ1818409

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)

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

zbMATH Keywords

Andorra Modelconstrained Herbrand variable

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (9)

• Title not available (Why is that?)
• Determinacy Analysis for Logic Programs Using Mode and Type Information
• A design and implementation of the extended Andorra model
• Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses
• Efficient dataflow analysis of logic programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)