And so do the internals of its VM, being based on Warren's Abstract Machine. They did some internal experimentation and found that Prolog was nearly ideal for

And so do the internals of its VM, being based on Warren's Abstract Machine. They did some internal experimentation and found that Prolog was nearly ideal for their use case, but the backtracking made it too easy to accidentally write O(N*N) algorithms.