scientific article; zbMATH DE number 1497820

MaRDI QIDQ4499240zbMATH OpenFDO

Authors Dino Pedreschi, Salvatore Ruggieri

Publication date 5 March 2001

zbMATH Keywords

Prolog programs

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• On logic programs that always succeed.
• Proving properties of committed choice logic programs
• Strict and nonstrict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditions
• scientific article; zbMATH DE number 773980
• Transforming floundering into success

Cited in

(8)

• On logic programs that always succeed.
• Faulty Logic: Reasoning about Fault Tolerant Programs
• scientific article; zbMATH DE number 3915612 (Why is no real title available?)
• General failure of logic programs
• Proving properties of committed choice logic programs
• scientific article; zbMATH DE number 732053 (Why is no real title available?)
• A proof theoretic approach to failure in functional logic programming
• Transforming floundering into success

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