Modular Logic Programming and Generalized Quantifiers

Thomas Eiter, Georg Gottlob, Helmut Veith

Abstract: The research on systems of logic programming with modules has followed two mainstreams, programming-in-the-large, where compositional operators are provided for combining separate and independent modules, and programming-in-the-small, which aims at enhancing logic programming with new logical connectives.