Pages that link to "Item:Q1101250"

The following pages link to Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions (Q1101250):

Displaying 1 item.

• Strict completion of logic programs (Q751309) (← links)