zlacker

It's possible that new execution models can be found. Tabling is one such execution strategy that many prolog implementationsc already provide.