Planning using situation calculus, prolog and a mobile robot. - Pilar Pozos Parra; Edgardo Yescas; Jacob Vásquez (LA-NMR, 2007)