Virtual space exploration in Prolog.