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
.