Prolog - problema Prolog

hola buenos tardes desde Funchal (Madeira).¡¡
Como vais compañeros programadores, soy un estudiante erasmus que esta pasando unos meses en la universidad de Madeira.
Me gustaria saber si alguien me podria ayudar en encontrar solucion a este problema en prolog.
Es el problema de los canivales y los exploradores.
Hay dos exploradores y tres canivales y un rio que tienen que cruzar..
Para cruzar el rio existe una barca, pero claro si hay dos canibales con un explorador se lo "..ñam,ñam..", entonces claro hay que pasar a todos al otro lado del rio.
¿Como lo hago? , mi problema es que nunca he programado en prolog y aqui te dan pocas facilidades y entre el idioma y que me quedan aki tres meses, pues como que no sé poco tiempo y mucha tela.
Poq luego este programa se lo tengo que cargar a un robot que tengo que montar. En fin un mundo de dudas me invade en estos momentos.
Alguien me puede ayudar por favor.
Un saludo, Jose Luis