Introduction to Turbo prolog - Townswnd Carl (BPB publications, 1987)