In: Y. Guo and T. Ida (editors), JICSLP '96 Workshop on multi-paradigm logic programming, Report 96-28, Technische Universitaet Berlin, 1996, pp. 115-127

Authors: Richard McPhee and Oege de Moor
>

Abstract

We augment logic programming with a very limited form of higher-order features, which is just enough to write logic programs in a compositional style. To safely execute such compositional programs, it is necessary to employ a fair selection rule.

(PS)

BIBTEX:

           @inproceedings{jicslp96mcphee, 
           author = "Richard McPhee and Oege de Moor",
           title = "Compositional Logic Programming", 
           booktitle = "JICSLP '96 Workshop on multi-paradigm logic programming", 
           editor = "Y. Guo and T. Ida", 
           year = "1996", 
           note = "Report 96-28, Technische Universitaet Berlin",
           pages = "115-127"}