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.
D. H. D. Warren. An Abstract Prolog Instruction Set. Technical report, SRI International, 1983.