A prolog primer - Rogers, Jean B. (Addison Wesley & Sons, 1986)