Prolog programming for artificial Intelligence - Bratko, Ivan (Harlow, 2012)
Keywords: Harlow