A turbo prolog primer - Rogers, Jean B.