ECLiPSe implements Or-Parallelism. This means that (on parallel hardware) the alternatives of non-deterministic choices can be explored in parallel rather than through sequential backtracking.
Note that this feature is currently not actively supported!