W dniu czwartek, 22 maja 2014 21:48:04 UTC+2 użytkownik Sebastian Biały napisał:
[...]
> Pytanie: jaką literaturę mam przeczytać, aby rzucić światło na
> rozwiązania tego typu problemów w Prologu?

Oczywiście, "Struktura i interpretacja programów komputerowych". Jest w niej
rozdział w całości poświęcony programowaniu w logice, wraz z przykładową
implementacją systemu do programowania w logice (tyle że odbiega od
klasycznej składni prologu). W wersji anglojęzycznej wisi tutaj:
http://mitpress.mit.edu/sicp/full-text/book/book-Z-H
-29.html#%_sec_4.4

Również możesz zajrzeć do rozdziałów 11-12 książki "Paradigms of Artificial
Intelligence Programming" Petera Norviga oraz do książki Mordechaia Ben-Ariego
"Logika matematyczna w informatyce".