Pages that link to "Item:Q1390936"

The following pages link to A logical semantics for depth-first Prolog with ground negation (Q1390936):

Displaying 4 items.

• A logical semantics for depth-first Prolog with ground negation (Q1390936) (← links)
• First-order theories for pure Prolog programs with negation (Q1892097) (← links)
• A transformation of propositional Prolog programs into classical logic (Q5101458) (← links)
• A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)