Prolog Programming For Artificial Intelligence - Bratko Ivan (2001)
15