Redundancy elimination and loop checks for logic programs

DOI10.1006/inco.1995.1082zbMath0834.68009OpenAlexW2023204491MaRDI QIDQ1893733

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

zbMATH Keywords

SLD-resolutionredundant atoms

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Loop checks for logic programs with functions ⋮ Loop checking in SLD-derivations by well-quasi-ordering of goals

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