YAP implements various extensions to the default Prolog search.
One of the most iseful s restricting the maximum search depth