DISJ2_TAC
Tactic.DISJ2_TAC : tactic
Selects the right disjunct of a disjunctive goal.
A ?- t1 \/ t2
=============== DISJ2_TAC
A ?- t2
Failure
Fails if the goal is not a disjunction.
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help