Some Control Engineering Applications of Prolog