% File 'airport-problem' :- include 'airport-domain'. :- query maxstep :: 2; 0: at(i,desk), at(desk,home), at(car,home), at(home,county), at(airport,county), -at(desk,car), disjoint(home,airport); maxstep: at(i,airport).