Two sleepwalkers on a tight-rope
Prolog