Determinacy analysis for efficient execution of logic programs

zbMath0946.68018MaRDI QIDQ1818409

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

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)

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