Prolog and expert systems. - Peter Leslie Davies (1987)