An AND-parallel Prolog, with guards and committed choice nondeterminism (don't care nondeterminism). Shallow backtracking only. See also SPM.