DISJ1_TAC
Tactic.DISJ1_TAC : tactic
Selects the left disjunct of a disjunctive goal.
A ?- t1 \/ t2
=============== DISJ1_TAC
A ?- t1
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