Expert system development in Prolog and Turbo-Prolog - Smith, P. R. (Peter R.) (Sigma Press ; Halsted Press, 1988)