PROLOG und PROLOG Anwendungen (Univ., 1986)