Grammar-related transformations of logic programs

DOI10.1007/BF03037639MaRDI QIDQ756406zbMATH OpenOpenAlexFDO

Authors D. R. Brough, Christopher J. Hogger

Publication date 1991

Published in New Generation Computing (Search for Journal in Brave)

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

zbMATH Keywords

abductionforward reasoningprogram transformationprolog

Mathematics Subject Classification ID

Logic programming (68N17) Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Transformations of logic programs
• Transformations of logic programs
• scientific article; zbMATH DE number 1534593
• Transformations of logic programs with goals as arguments
• scientific article; zbMATH DE number 1615258

Cites work

• A syntax improving program
• Compiling associativity into logic programs
• Formal parsing systems
• scientific article; zbMATH DE number 3466489 (Why is no real title available?)
• scientific article; zbMATH DE number 3621158 (Why is no real title available?)

Cited in

(11)

• Running programs backwards: The logical inversion of imperative computation
• Lambek calculus for transformational grammar
• scientific article; zbMATH DE number 1615258 (Why is no real title available?)
• scientific article; zbMATH DE number 4180778 (Why is no real title available?)
• scientific article; zbMATH DE number 1973217 (Why is no real title available?)
• scientific article; zbMATH DE number 936828 (Why is no real title available?)
• Magically constraining the inverse method using dynamic polarity assignment
• Generating Specialized Rules and Programs for Demand-Driven Analysis
• Transformations of logic programs
• Analysis and Transformation of Constrained Horn Clauses for Program Verification
• Transformations of logic programs

This page was built for publication: Grammar-related transformations of logic programs

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