ISSN:
1573-0670
Keywords:
Control rules
;
transformation
;
logic programming
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract 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.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF00249018
Permalink