Heterogeneous SLD resolution

DOI10.1016/0743-1066(84)90027-XzbMATH Open0571.68080OpenAlexW2087497715MaRDI QIDQ3687752FDOQ3687752

Lee Naish

Publication date: 1984

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(84)90027-x

Recommendations

• scientific article
• scientific article; zbMATH DE number 823595
• Tabled evaluation with delaying for general logic programs
• On the completeness of SLDENF-resolution
• scientific article; zbMATH DE number 549963

zbMATH Keywords

logic programmingPROLOGsearch spaceintelligent backtrackingnondeterminism of computation rules

Mathematics Subject Classification ID

This page was built for publication: Heterogeneous SLD resolution

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