Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

DISJ2_TAC : tactic

SYNOPSIS

Selects the right disjunct of a disjunctive goal.

DESCRIPTION

    A ?- t1 \/ t2
   ===============  DISJ2_TAC
       A ?- t2

FAILURE CONDITIONS

Fails if the goal is not a disjunction.

SEE ALSO

DISJ1, DISJ1_TAC, DISJ2.