Most specific logic programs

DOI10.1007/BF01531082MaRDI QIDQ1356224zbMATH OpenOpenAlexFDO

Authors Kim Marriott, Jean-Louis Lassez, Lee Naish

Publication date 4 June 1997

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01531082

zbMATH Keywords

definite logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Programs and logics
• scientific article; zbMATH DE number 4072431
• scientific article; zbMATH DE number 194376
• Program logics and their applications
• scientific article; zbMATH DE number 86272
• scientific article; zbMATH DE number 49478
• Deducing Logic Programs
• Relevant logic programming
• scientific article; zbMATH DE number 4058910

Cites work

• Automating control for logic programs
• Controlling recursive inference
• Enumeration of success patterns in logic programs
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3947593 (Why is no real title available?)
• scientific article; zbMATH DE number 3978352 (Why is no real title available?)
• scientific article; zbMATH DE number 4026804 (Why is no real title available?)
• scientific article; zbMATH DE number 4053011 (Why is no real title available?)
• scientific article; zbMATH DE number 3349328 (Why is no real title available?)
• Most specific logic programs
• Partial evaluation of computation process -- an approach to a compiler-compiler

Cited in

(8)

• Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation
• Most specific logic programs
• Steadfast logic programs
• scientific article; zbMATH DE number 7453190 (Why is no real title available?)
• The applicability of logic program analysis and transformation to theorem proving
• Super logic programs
• A note on the parallel complexity of anti-unification
• Efficient parallel term matching and anti-unification

This page was built for publication: Most specific logic programs

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