Controlled Prolog: A Front-End to Prolog Incorporating Meta Knowledge

Thomas Rose, Hans-Jürgen Appelrath, Hermann Bense. Controlled Prolog: A Front-End to Prolog Incorporating Meta Knowledge. In Claus-Rainer Rollinger, Werner Horn, editors, GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings. Volume 124 of Informatik-Fachberichte, pages 301-311, Springer, 1986.

Abstract

Abstract is missing.