:- consult(initial1).

goal(eventually(and(at(person1, city2), next(eventually(and(at(person1, city3), next(eventually(at(person1, city4))))))))).