Pages that link to "Item:Q1390936"

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

Displayed 2 items.

• A logical semantics for depth-first Prolog with ground negation (Q1390936) ‎ (← links)
• First-order theories for pure Prolog programs with negation (Q1892097) ‎ (← links)