wizard(harry).
wizard(ron) :- !.
wizard(hermione).