scientific article; zbMATH DE number 1497821

MaRDI QIDQ4499241zbMATH OpenFDO

Authors Pascal Hitzler, Anthony Karel Seda

Publication date 5 March 2001

zbMATH Keywords

Prolog programs

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Proving termination of general Prolog programs
• Reasoning about termination of pure Prolog programs
• On modular termination proofs of general logic programs
• scientific article; zbMATH DE number 1926607

Cited in

(7)

• Generalized metrics and uniquely determined logic programs.
• scientific article; zbMATH DE number 2061709 (Why is no real title available?)
• scientific article; zbMATH DE number 1926607 (Why is no real title available?)
• On the coincidence of semantics for uniquely determined programs
• Acceptable propositional normal logic programs checking procedure implementation
• A geometric interpretation of LD-resolution
• Generalized ultrametric spaces in quantitative domain theory

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 Q4499241)