The following pages link to Controlling recursive inference (Q1097714):
Displaying 11 items.
- On the existence of nonterminating queries for a restricted class of PROLOG-clauses (Q582150) (← links)
- Acquiring search-control knowledge via static analysis (Q685544) (← links)
- Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques (Q805270) (← links)
- Controlling backward inference (Q1123001) (← links)
- An analysis of loop checking mechanisms for logic programs (Q1177923) (← links)
- Generalizing completeness results for loop checks in logic programming (Q1199926) (← links)
- Most specific logic programs (Q1356224) (← links)
- Default reasoning by deductive planning (Q1896366) (← links)
- Satisfiability of the smallest binary program (Q2366070) (← links)
- Detecting non-provable goals (Q5210774) (← links)
- Loop checks for logic programs with functions (Q5958765) (← links)
