GLUE is a system to combine heterogeneous and distributed sources of information with a deductive kernel. For this purpose access methods for external sources of information, like databases, can be specified. Pieces of a program are generated from such a specification which can be used also in other programs. This technique has been developed with an application to theorem provers in mind. We will show how GLUE can be used either stand-alone or together with a theorem prover hke PROTEIN to solve real world problems. Some examples of problems utilizing such a combination are presented.
CITATION STYLE
Neugebauer, G., & Schäfer, D. (1997). GLUE: Opening the world to theorem provers. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1265, pp. 410–419). Springer Verlag. https://doi.org/10.1007/3-540-63255-7_31
Mendeley helps you to discover research relevant for your work.