Expert system development in Prolog and Turbo-prolog - Smith, Peter