Book:Applications of Prolog