Controlled Prolog: A Front-End to Prolog Incorporating Meta Knowledge. - Thomas Rose 003; Hans-Jürgen Appelrath; Hermann Bense (GWAI, 1986)