Everything, you heard the joke about those who don't know Lisp end up reinventing it, well, the same can be said for Prolog.
One doesn’t simply create a Warren Abstract Machine by accident
One doesn’t simply create a Warren Abstract Machine by accident