:- consult(initial1).

goal(until(at(plane1, city0), and(at(plane1, city2), until(at(plane1, city2), and(at(plane1, city3), until(at(plane1, city3), at(plane1, city0))))))).