Tsp




% Travelling salesman: fluents: unvisited.
in(C) requires city(C).

visited(C) requires city(C).
% actions: travel(X,Y) requires conn(X,Y,C) costs C.

actions: travel(X,Y) requires conn(X,Y,_) costs C
where weekday(time,W), cost(X,Y,W,C).
always: executable travel(X,Y) if in(X). nonexecutable travel(X,Y) if visited(Y).

caused unvisited if city(C), not visited(C). caused in(Y) after travel(X,Y). caused visited(C) if in(C). inertial visited(C).

noConcurrency.

initially: in(vie).

goal: not unvisited? (8)