Expert System Develpment in Prolog and Turbo - Prolog TM - Smith, Peter (Sigma Press, 1988)