Grazie, la guida da te riportata è utile, ma povera, ovvero mancano parecchie pagine, ancora non scritte. Il poco che c'è però, come ho già detto è spiegato abbastanza bene. Purtroppo devo farci un'esame ed è abbastanza imminente. In compenso ho trovato questo:
http://www.doc.gold.ac.uk/~mas02gw/prolog_tutorial/prologpages/index.html#menu
Anche qui non è riportato tutto il programma che necessito ed è in inglese ma mi è stato di aiuto. Magari può servire a qualcun'altro.
Mi sono stati passati anche dei libri in pdf, solo uno tradotto in italiano, abbastanza lunghi ma non so quanto sia legale postarli quindi non lo faccio.
Se possibile lasciate aperto nella speranza di ulteriori soluzioni, perchè non so dove sbattere la testa.