GLUE is a sys­tem to com­bine he­te­ro­ge­ne­ous and dis­tri­bu­ted sources of in­for­ma­tion with a de­duc­tive ker­nel. For this pur­pose ac­cess me­thods for ex­ter­nal sources of in­for­ma­tion, like data­bases, can be spe­ci­fied. Pieces of a pro­gram are ge­ne­ra­ted from such a spe­ci­fi­ca­tion which can be used al­so in other pro­grams. This tech­nique has been de­ve­loped with an app­li­ca­ti­on to theo­rem pro­vers in mind. We will show how GLUE can be used either stand-alone or to­ge­ther with a theo­rem pro­ver like PROTEIN to solve real world prob­lems. Some examples of prob­lems uti­li­zing such a com­bi­na­tion are pre­sen­ted.