scientific article; zbMATH DE number 549961

zbMATH Open0789.68019MaRDI QIDQ4287480FDOQ4287480

Authors: Maurizio Proietti, Alberto Pettorossi 

Publication date: 6 May 1994

Title of this publication is not available (Why is that?)

Recommendations

• Unfolding--definition--folding, in this order, for avoiding unnecessary variables in logic programs
• scientific article; zbMATH DE number 440117
• Unfolding-based improvements on fuzzy logic programs
• Unfold/fold transformations of logic programs

zbMATH Keywords

data structuresprogram transformationunfold/fold transformationeureka definitionsperformances of logic programs

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (7)

• Title not available (Why is that?)
• Title not available (Why is that?)
• A folding rule for eliminating existential variables from constraint logic programs
• Title not available (Why is that?)
• Logic program synthesis from first-order logic specifications
• Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation
• Elimination of local variables from definite logic programs

This page was built for publication:

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