Portal de Periódicos da CAPES

Compiling bottom-up and mixed derivations into top-down executable logic programs

1991; Springer Science+Business Media; Volume: 7; Issue: 3 Linguagem: Inglês

10.1007/bf00249018

1573-0670

Danny De Schreye, Bern Martens, Gunther Sablon, Maurice Bruynooghe,

Software Engineering Research

We present a technique for the compilation of bottom-up and mixed logic derivations into PROLOG-programs. It is obtained as an extension of a program transformation technique called Compiling Control. We illustrate its applications in three different domains: solving numerical problems, integrity checking in deductive databases and theorem proving. The aim is to obtain efficient PROLOG programs for problems in which a non-top-down control is most appropriate.