Pages that link to "Item:Q1892097"

The following pages link to First-order theories for pure Prolog programs with negation (Q1892097):

Displaying 1 item.

• A transformation of propositional Prolog programs into classical logic (Q5101458) (← links)