scientific article; zbMATH DE number 52709

MaRDI QIDQ4002997zbMATH OpenFDO

Authors Karl Stroetmann

Publication date 18 September 1992

zbMATH Keywords

complete resolution calculifirst-order predicate logicHorn formulaenegation-as-failurenegative informationPROLOG programsSLDNF- resolution

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 3999251
• Negation as inconsistency. I
• scientific article; zbMATH DE number 4045228
• scientific article; zbMATH DE number 4058910
• scientific article; zbMATH DE number 1531964

Cited in

(18)

• Horn programming with built-in predicates
• IDNAF Prolog
• First-order theories for pure Prolog programs with negation
• scientific article; zbMATH DE number 1678375 (Why is no real title available?)
• On SLDNF-resolution in logic programming with negation
• Heterogeneous SLD resolution
• Making prolog more expressive
• scientific article; zbMATH DE number 3980533 (Why is no real title available?)
• scientific article; zbMATH DE number 4045228 (Why is no real title available?)
• scientific article; zbMATH DE number 4047185 (Why is no real title available?)
• scientific article; zbMATH DE number 4058910 (Why is no real title available?)
• Computation with run time skolemisation (N-Prolog part 3)
• scientific article; zbMATH DE number 2079036 (Why is no real title available?)
• scientific article; zbMATH DE number 1531964 (Why is no real title available?)
• scientific article; zbMATH DE number 219937 (Why is no real title available?)
• scientific article; zbMATH DE number 3999251 (Why is no real title available?)
• Resultant semantics for prolog
• Logic Programming

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