An Algorithm for Local Variable Elimination in Normal Logic Programs

DOI10.1007/11680093_5MaRDI QIDQ5302880zbMATH OpenOpenAlexFDO

Authors Javier Álvez, P. Lucio

Publication date 15 January 2009

Published in Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Elimination of local variables from definite logic programs
• A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs
• Eliminating negation from normal logic programs
• A folding rule for eliminating existential variables from constraint logic programs
• scientific article; zbMATH DE number 1538058
• Proving Properties of Constraint Logic Programs by Eliminating Existential Variables
• A Local Algorithm for Incremental Evaluation of Tabled Logic Programs
• Extra variables can be eliminated from functional logic programs
• scientific article; zbMATH DE number 1453054

Cited in

(3)

• A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs
• Extra variables can be eliminated from functional logic programs
• Elimination of local variables from definite logic programs

This page was built for publication: An Algorithm for Local Variable Elimination in Normal Logic Programs

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