A semantics of logic programs without searching

MaRDI QIDQ3365575zbMATH OpenFDO

Authors V. Baleva

Publication date 23 January 2006

zbMATH Keywords

abstract structureslogic programmingsemantics

Mathematics Subject Classification ID

Abstract and axiomatic computability and recursion theory (03D75) Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 2237358
• A kripke-kleene semantics for logic programs*
• scientific article; zbMATH DE number 4125378
• scientific article; zbMATH DE number 10085
• scientific article; zbMATH DE number 1531964

Cited in

(5)

• A fixpoint semantics of Horn sentences based on substitution sets
• Non-Horn clause logic programming without contrapositives
• scientific article; zbMATH DE number 4026801 (Why is no real title available?)
• scientific article; zbMATH DE number 10085 (Why is no real title available?)
• Program generic set: Semantics of medium logic program described by forcing

This page was built for publication: A semantics of logic programs without searching

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