Parametric composable modules in a logic programming language

Abstract

The addition of module constructs to a logic programming language is discussed. It is argued that dynamic module composition and parametric module instantiation are important features of a module facility in a logic language. In particular, a logic language which provides the user with constructs for parametic module declaration and module composition via (either static or dynamic) context extension is presented. Such features can be advantageously exploited in a number of different applications, ranging from hypothetical reasoning to structured programming and object-oriented programming.