Expert System Development in Prolog and Turbo-Prolog - Smith, Peter (Sigma Press ; Halsted Press, 1988)