Now to Traveller.
As you know, there each trader T has a clause
for at(T,S) recording that he is at square S. Write a predicate
moveto(T,Y) which deletes the fact that T is at his old location
(call it X), adds the fact that he is at Y, and writes a message saying
``T has moved
from X to Y''.
.