On termination of functional symbol-free logic programs

MaRDI QIDQ2932848zbMATH OpenFDO

Authors Sh. Khachatryan

Publication date 9 December 2014

zbMATH Keywords

functional symbol-free logic programslogic programmingterminationtransformation

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18)

Recommendations

• On functional symbol-free logic programs
• scientific article; zbMATH DE number 408800
• Termination of logic programs: Transformational methods revisited
• Strong termination of logic programs
• On optimization of monadic logic programs

Cited in

(4)

• On optimization of monadic logic programs
• Termination of grounding is not preserved by strongly equivalent transformations
• Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols
• On functional symbol-free logic programs

This page was built for publication: On termination of functional symbol-free logic programs

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