Some Control Engineering Applications of Prolog. - Phil W. Grant; C. P. Jobling; C. Rezvani (ALPUK, 1990)