Algebraic framework for the definition of compositional semantics of normal logic programs

Journal of Logic Programming

Volumn 40, Issue 1, 1999, Pages 89-123

  Lucio, Paqui ^a   Orejas, Fernando ^a   Pino, Elvira ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; SET THEORY;

COMPOSITIONAL SEMANTICS; MODEL-THEORETIC SEMANTICS; MONOTONIC SEMANTICS; NORMAL LOGIC PROGRAMS;

LOGIC PROGRAMMING;

EID: 0032635013     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0743-1066(98)10039-0     Document Type: Article

References (36)

1. K.R. Apt, Logic programming, in: Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics, Ch. 10, Elsevier, Amsterdam, 1990.
2. K.R. Apt, H. Blair, A. Walker, Towards a theory of declarative Knowledge, in: J. Minker (Ed.), Foundations of Deductive Databases and Logic Programs, Morgan Kaufmann, Los Altos, CA, 1988.
3. K.R. Apt, R.N. Bol, Logic programming and negation: a survey, Journal of Logic Programming 19 (1994) 9-71.
4. A. Asperti, G. Longo, Categories, Types and Structures, MIT Press, Cambridge, MA, 1991.
5. M. Barr, C. Wells, Category Theory for Computing Science, Prentice-Hall, Englewood Cliffs, NJ, 1990.
6. A.J. Bonner, L.T. McCarty, Adding negation-as-failure to intuitionistic logic programming, in: Proc. of NACLP'90, 1990.
7. A. Bossi, M. Bugliesi, M. Gabbrielli, G. Levi, M.C. Meo, Differential logic programming, in: Proc. ACM SIGPLAN-SIGACT Symp. on Princ. of Programming Languages POPL'93, ACM, 1993.
8. A. Bossi, M. Gabrielli, G. Levi, M.C. Meo, Contributions to the semantics of open logics programs, in: Proc. Fifth Gen. Comp. Systems, 1992.
9. A. Brogi, S. Contiero, F. Turini, Programming by combining general logic programs, Technical Report 97/02, Dept. of Comp. Science, Univ. of Pisa, 1997.
10. R.M. Burstall, J.A. Goguen, The semantics of Clear, a specification language, in: Proc. Copenhagen Winter School on Abstract Software Specification, Springer LNCS 86, 1980, pp. 292-332.
11. D. Chang, Constructive negation based on the completed database, in: R.A. Kowalski, K.A. Bowen (Eds.), Proc. Fifth Int. Conf. and Symp. on Logic Programmming, MIT Press, Cambridge, MA, 1988.
12. K.L. Clark, Negation as failure, in: H. Gallaire, J. Minker (Eds.), Logic and Databases, Plenum Press, New York, 1978.
13. W. Drabent, What is failure? An approach to constructive negation, Acta Informatica 32 (1995) 27-59.
14. H. Ehrig, M. Baldamus, F. Orejas, New concepts for amalgamation and extension in the framework of specification logics, in: G. Rozenberg, A. Salomaa (Eds.), Current Trends in Theoretical Computer Science, World Scientific, Singapore, 1993.
15. H. Ehrig, B. Mahr, Fundamentals of Algebraic Specification 1, Springer, Berlin, 1985.
16. H. Ehrig, P. Pepper, F. Orejas, On recent trends in algebraic specifications, in: Proc. ICALP'89, LNCS 372, Springer, Berlin, 1989.
17. S. Etalle, F. Teusink, A compositional semantics for normal open programs, in: Proc. Int. Conf. and Symp. on Logic Programming'96, MIT Press, Cambridge, MA, 1996.
18. F. Fages, Constructive negation by pruning, Journal of Logic Programming 32 (1997) 11-85.
19. G. Ferrand, A. Lallouet, A compositional proof method of partial correctness for normal logic programs, in: J. Lloyd (Ed.), Proc. Int. Logic Programming Symp., 1995.
20. M. Fitting, A Kripke-Kleene semantics for logic programs, Journal of Logic Programming 4 (1985) 295-312.
21. H. Gaifman, E. Shapiro, Fully abstract compositional semantics for logic programs, in: Proc. 16th Annual ACM Symp. on Principles of Programming Languages, 1989.
22. J.A. Goguen, R.M. Burstall, Introducing institutions, in: Proc. Logics of Programming Workshop, Carnegie-Mellon University, LNCS 164, Springer, Berlin, 1984.
23. J.A. Goguen, R.M. Burstall, Institution: abstract model theory for specification and programming, Journal of the ACM 39 (1992) 95-146.
24. S.C. Kleene, Introduction to Metamathematics, North-Holland, Amsterdam, 1952.
25. K. Kunen, Negation in logic programming, Journal of Logic Programming 4 (1987) 289-308.
26. J.W. Lloyd, Foundations of Logic Programming, Springer, Berlin, 1987.
27. M. Maher, A logic programming view of CLP, in: D.S. Warren (Ed.), Proc. Tenth Int. Conf. on Logic Programming, 1993.
28. D. Miller, A logical analysis of modules in logic programming, Journal of Logic Programming 6 (1989) 79-108.
29. F. Orejas, E. Pino, H. Ehrig, Institutions for logic programmming, Theoretical Computer Science 173 (1997) 485-511.
30. T.C. Przymusinski, On the declarative semantics of deductive databases and logic programs, in: J. Minker (Ed.), Foundations of Deductive Databases and Logic Programs, Morgan Kaufmann, Los Altos, CA, 1988.
31. J.C. Shepherdson, Negation in logic programming, in: J. Minker (Ed.), Foundations of Deductive Databases and Logic Programs, Morgan Kaufmann, Los Altos, CA, 1988.
32. P.J. Stuckey, Negation and constraint logic programmming, Information and Computation 118 (1995) 12-23.
33. D. van Dalen, A.S. Troelstra, Constructivism in Mathematics: An Introduction, vols. 1 and 2, Elsevier, Amsterdam, 1988.
34. A. van Gelder, Negation as failure using tight derivations for general logic programs, in: J. Minker (Ed.), Foundations of Deductive Databases and Logic Programs, Morgan Kaufmann, Los Altos, CA, 1988.
35. S. Verbaeten, M. Denecker, D. De Schreye, Compositionality of normal open logic programs, to appear in Proc. of ILPS'97.
36. M. Wirsing, Algebraic specification, in: Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics, Elsevier, Amsterdam, 1990.