Parametric composable modules in a logic programming language

Kowalski, 1974, Predicate logic as programming language, 569 Colmerauer, 1979, Etude et realisation d'un systeme Prolog Clocksin, 1987 Gougen, 1984, Parametrized programming, 5, 528 Bowen, 1985, Meta-level programming and knowledge representation, New Generation Comput., 3, 359, 10.1007/BF03037077 Chomicki, 1985, Towards a programming environment for large Prolog programs, 230 Miller, 1986, A theory of modules for logic programming, 106 Giordano, 1984, Local definitions with static scope rules in Logic Languages, 389 Monteiro, 1989, Contextual logic programming, 284 1985 Sanella, 1987, A calculus for the construction of modular Prolog programs, 368 Chen, 1987, Theory of modules based on second order logic, 24 McCarty, 1988, Clausal Intuitionistic Logic. 1. Fixed-Point semantics, 5, 1 Mello, 1989, Logic programming in a software engineering perspective, 441 Lamma, 1989, The design of an abstract machine for efficient implementation of contexts in logic programming, 303 Civera, 1991, Executing contextual logic programming on a dedicated VLSI coprocessor, 31 1989 Brogi, 1989, A general framework for structuring logic programs, C.N.R. Technical Report “Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo”, N. 4/1 Giordano, 1990, Extending Horn clause logic with module constructs 1984 van Emden, 1976, The semantics of predicate logic as a programming language, Journal of the ACM, 23, 733, 10.1145/321978.321991 1986 1988 Berghel, 1988, MS-DOS Prolog implementations revisited, SIGPLAN Not., 23, 127, 10.1145/44304.44316 O'Keefe, 1985, Towards an algebra for constructing logic programs, 152 Mancarella, 1988, An algebra of logic programs, 1006 Bowen, 1982, Amalgamating language and metalanguage in logic programming Brogi, 1990, Composition operators for logic theories, 117 Brogi, 1991, Metalogic for knowledge representation, 100 Miller, 1989, Lexical scoping as universal quantification, 268 Gabbay, 1984, N_Prolog: an extension of Prolog with hypothetical implications. I, 1, 319 Brogi, 1990, Inheritance and Hypothetical reasoning in logic programming, 105 Monteiro, 1990, Inheritance in logic programming, 481 Nait Abdallah, 1986, Procedures in Horn clause programming, 433 Chen, 1989, A first-order semantics for higher-order logic programming constructs, 1090 Harper, 1986, Standard ML Gougen, 1985, EQLOG: Equality, types and generic modules for logic programming Hodas, 1990, Representing objects in a logic programming language with scoping constructs, 511 McCabe, 1988, Logic and objects: language, application and implementation Fukunaga, 1986, An experience with a Prolog-based object-oriented language Furukawa, 1984, Mandala: A logic based knowledge programming system, 613 H. Gallaire, 1986, Merging objects and logic programming: relational semantics, 754 Mello, 1987, Objects as communicating Prolog units, 276 Wegner, 1988, Inheritance as incremental modification mechanism or what like is and isn't like Chikayama, 1984, ESP reference manual Misogushi, 1984, LOOKS: knowledge representation system for designing expert systems in a logic programming framework Nakashima, 1984, Knowledge representation in Prolog/KR, 225, 433 Warren, 1983, An abstract Prolog instruction set Lamma, E., Mello, P. and Natali, A. An extended Warren abstract machine for execution of structured logic programming. J. of Logic Progrm., North-Holland, Forthcoming. Bugliesi, 1990, Partial evaluation for hierarchies of logic theories, 359