Heterogeneous SLD resolution

DOI10.1016/0743-1066(84)90027-XMaRDI QIDQ3687752zbMATHOpenAlexFDO

Authors 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

zbMATH Keywords

logic programmingPROLOGsearch spaceintelligent backtrackingnondeterminism of computation rules

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 52709
• 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

Cited in

(1)

• A framework for computing finite SLD trees

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)