John Lloyd and others have produced MU- Prolog at the University of Melbourne in an attempt, inter alia, to replace the standard Prolog left-right execution strategy for subgoals with a strategy which can reorder the execution sequence depending on which subgoals have enough information to proceed with their execution. Their new implementation is called NU- Prolog.