- Efficient loop detection in prolog using the tortoise-and-hare technique
1987/03/01 by Allen Van Gelder · 1 citation
Computer Science · Mathematics · #Algorithm #Combinatorics #Computer science #Debugging #Extension (predicate logic) #For loop #Formal Methods in Verification #Interpreter #Logic, programming, and type systems #Loop (graph theory) #Mathematics #Natural Language Processing Techniques #Overhead (engineering) #Programming language #Prolog #Recursion (computer science) #Reduction (mathematics) #Theoretical computer science #Tortoise