Grammar-related transformations of logic programs

DOI10.1007/BF03037639zbMath0722.68019OpenAlexW2076100169MaRDI QIDQ756406

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

program transformationabductionforward reasoningprolog

Mathematics Subject Classification ID

Related Items (3)

Running programs backwards: The logical inversion of imperative computation ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Generating Specialized Rules and Programs for Demand-Driven Analysis

Cites Work

• Compiling associativity into logic programs
• A syntax improving program
• Formal parsing systems
• Unnamed Item
• Unnamed Item

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