Prolog Programming In Depth Prolog