Warren abstract machine

The Warren abstract machine is an abstract machine for logic programming.

It appears to rely on a search strategy that is a highly-tuned DFS.

References

• The Warren abstract machine was introduced in