Pages that link to "Item:Q3747702"
From MaRDI portal
The following pages link to Efficient loop detection in prolog using the tortoise-and-hare technique (Q3747702):
Displaying 4 items.
- On the existence of nonterminating queries for a restricted class of PROLOG-clauses (Q582150) (← links)
- An analysis of loop checking mechanisms for logic programs (Q1177923) (← links)
- Generalizing completeness results for loop checks in logic programming (Q1199926) (← links)
- Loop checking in SLD-derivations by well-quasi-ordering of goals (Q1575249) (← links)
