"Some Control Engineering Applications of Prolog."

Phil W. Grant, C. P. Jobling, C. Rezvani (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics