A prolog primer - Rogers, Jean B. (Addison-Wesley Publishing Company, 1986)