The following pages link to SLDNF-resolution with equality (Q1189731):
Displaying 9 items.
- A geometric interpretation of LD-resolution (Q596040) (← links)
- The homogeneous form of logic programs with equality (Q918967) (← links)
- SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs (Q1350529) (← links)
- Ramification and causality (Q1399132) (← links)
- On logic programs that always succeed. (Q1426033) (← links)
- On the completeness of SLDENF-resolution (Q1815857) (← links)
- Default reasoning by deductive planning (Q1896366) (← links)
- A new definition of SLDNF-resolution (Q4285644) (← links)
- An inference system for horn clause logic with equality (Q5881306) (← links)
