% From The Art of EyeProlog, Chapter 17 — Same meaning, different computation.
adult(Person) :- person(Person), age(Person, Age), (Age >= 18).

adult(Person) :- (Age >= 18), age(Person, Age), person(Person).