except that prolog will use a (normally) depth-first search in order to try to exhaust all possible answers that are correct