Redundancy elimination and loop checks for logic programs

DOI10.1006/INCO.1995.1082zbMATH Open0834.68009OpenAlexW2023204491MaRDI QIDQ1893733FDOQ1893733

Authors: Filomena Ferrucci, Maria I. Sessa, Giuliano Pacini 

Publication date: 2 August 1995

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1995.1082

Recommendations

• An analysis of loop checking mechanisms for logic programs
• Generalizing completeness results for loop checks in logic programming
• scientific article; zbMATH DE number 813263

zbMATH Keywords

SLD-resolutionredundant atoms

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (5)

• Title not available (Why is that?)
• Loop checks for logic programs with functions
• Generalizing completeness results for loop checks in logic programming
• Loop checking in SLD-derivations by well-quasi-ordering of goals
• Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving

This page was built for publication: Redundancy elimination and loop checks for logic programs

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