Prolog: Programming for artificial intelliance - Bratko, Ivan (Singapore Addison-Wesley, 2001)