Pages that link to "Item:Q920622"

The following pages link to Comparative semantics for prolog with cut (Q920622):

Displaying 3 items.

• Proving completeness of logic programs with the cut (Q511027) (← links)
• Comparative semantics for flow of control in logic programming without logic (Q805247) (← links)
• From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic (Q1194328) (← links)