Ciao sto cercando il seguente: Prolog programming for artificial intelligence Ivan Bratko Addison Wesley 1990 (3^ ed.)