1eligible(Who) :- citizen(Who), not criminal(Who).
    2
    3citizen(alice).
    4criminal(bob).
    5
    6?- eligible(Who).