More Prolog - Villanova University

... nl, assert, retract, consult Do tests before you do undoable actions: take(Thing) :- holding(Thing), write('You\'re already holding it!'), nl.