PROLOG :programming for artificial intelligence - Bratko, Ivan (Addison - Wesley, 1990)