On functional symbol-free logic programs

MaRDI QIDQ4982472zbMATH OpenFDO

Authors L. A. Haykazyan

Publication date 9 April 2015

zbMATH Keywords

algorithmic problemsfunctional symbol-free programslogic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• On termination of functional symbol-free logic programs
• scientific article; zbMATH DE number 6387492
• scientific article; zbMATH DE number 6742170
• Monadic logic programs and functional complexity
• On the termination of logic programs with function symbols

Cited in

(8)

• Monadic logic programs and functional complexity
• Extra variables can be eliminated from functional logic programs
• On termination of functional symbol-free logic programs
• $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
• Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols
• scientific article; zbMATH DE number 218508 (Why is no real title available?)
• scientific article; zbMATH DE number 1867306 (Why is no real title available?)
• Logic-Free Reasoning in Isabelle/Isar

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

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