scientific article; zbMATH DE number 813263

MaRDI QIDQ4854006zbMATH OpenFDO

Authors Roland N. Bol

Publication date 7 November 1995

zbMATH Keywords

logic programsloop-checking algorithmsSLD-resolution

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic in computer science (03B70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17) Parallel algorithms in computer science (68W10)

Recommendations

• An analysis of loop checking mechanisms for logic programs
• Loop checking in partial deduction
• Loop checks for logic programs with functions
• scientific article; zbMATH DE number 549972
• Redundancy elimination and loop checks for logic programs
• Loop checking and the well-founded semantics
• Generalizing completeness results for loop checks in logic programming
• scientific article; zbMATH DE number 4182856
• Loop detection by logically constrained term rewriting
• Proof checking and logic programming

Cited in

(13)

• An analysis of loop checking mechanisms for logic programs
• Generalizing completeness results for loop checks in logic programming
• Loop checking in SLD-derivations by well-quasi-ordering of goals
• Redundancy elimination and loop checks for logic programs
• More on looping vs. repeating in dynamic logic
• Computing Preconditions and Postconditions of While Loops
• scientific article; zbMATH DE number 549972 (Why is no real title available?)
• scientific article; zbMATH DE number 1508927 (Why is no real title available?)
• A new approach to non-termination analysis of logic programs
• Loop checking and the well-founded semantics
• Loop checking in partial deduction
• scientific article; zbMATH DE number 4182856 (Why is no real title available?)
• Loop checks for logic programs with functions

This page was built for publication:

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