TOEST, a Prolog benchmark - Tich, Evan; Susaki, Kasumi (1988)