A PROLOG PRIMER - Rogers, Jean B. (Addison-Wesley Publishing, 1986)