Implementation Results in Classical Constructive Negation

  • Susana Muñoz-Hernández
  • Juan José Moreno-Navarro
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3132)


Logic Programming has been advocated as a language for system specification, especially for those involving logical behaviours, rules and knowledge. However, modeling problems involving negation, which is quite natural in many cases, is somewhat limited if Prolog is used as the specification / implementation language. These restrictions are not related to theory viewpoint, where users can find many different models with their respective semantics; they concern practical implementation issues. The negation capabilities supported by current Prolog systems are rather constrained, and there is no a correct and complete implementation available. In this paper, we refine and propose some extensions to the classical method of constructive negation, providing the complete theoretical algorithm. Furthermore, we also discuss implementation issues providing a preliminary implementation and also an optimized one to negate predicates with a finite number of solutions.


Constructive Negation Negation in Logic Programming Constraint Logic Programming Implementations of Logic Programming Optimization 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alferes, J.J., Damásio, C.V., Pereira, L.M.: A logic programming system for nonmonotonic reasoning. In: Journal of Automated Reasoning, volume 14(1), pp. 93–147 (1995)Google Scholar
  2. 2.
    Alvez, J., Lucio, P., Orejas, F., Pasarella, E., Pino, E.: Constructive negation by bottom-up computation of literal answers. In: Proceedings of the 2004 ACM Symposium on Applied Computing, Nicosia (Cyprus). ACM, vol. 2, pp. 1468–1475 (2004)Google Scholar
  3. 3.
    Barbuti, R., Mancarella, D., Pedreschi, D., Turini, F.: Intensional negation of logic programs. In: Ehrig, H., Levi, G., Montanari, U. (eds.) TAPSOFT 1987 and CFLP 1987. LNCS, vol. 250, pp. 96–110. Springer, Heidelberg (1987)Google Scholar
  4. 4.
    Barbuti, R., Mancarella, D., Pedreschi, D., Turini, F.: A transformational approach to negation in logic programming. JLP 8(3), 201–228 (1990)zbMATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Barták, R.: Constructive negation in clp(h). Tech. Report 98/6, Department of Theoretical Computer Science, Charles University, Prague (July 1998)Google Scholar
  6. 6.
    Bruscoli, P., Levi, F., Levi, G., Meo, M.C.: Compilative Constructive Negation in Constraint Logic Programs. In: Tison, S. (ed.) CAAP 1994. LNCS, vol. 787, pp. 52–67. Springer, Heidelberg (1994)CrossRefGoogle Scholar
  7. 7.
    Cabeza, D., Hermenegildo, M.: A New Module System for Prolog. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 131–148. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  8. 8.
    Chan, D.: Constructive negation based on the complete database. In: Proc. Int. Conference on LP 1988, pp. 111–125. MIT Press, Cambridge (1988)Google Scholar
  9. 9.
    Chan, D.: An extension of constructive negation and its application in coroutining. In: Proc. NACLP 1989, pp. 477–493. MIT Press, Cambridge (1989)Google Scholar
  10. 10.
    Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, New York, NY, pp. 293–322. Plenum Press, New York (1978)Google Scholar
  11. 11.
    Drabent, W.: What is a failure? An approach to constructive negation. Acta Informatica 33, 27–59 (1995)CrossRefMathSciNetGoogle Scholar
  12. 12.
    Hermenegildo, M., Bueno, F., Puebla, G., López-García, P.: Program Analysis, Debugging and Optimization Using the Ciao System Preprocessor. In: 1999 ICLP, Cambridge, MA, November 1999, pp. 52–66. MIT Press, Cambridge (1999)Google Scholar
  13. 13.
    Kunen, K.: Negation in logic programming. JLP 4, 289–308 (1987)zbMATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    López-García, P., Hermenegildo, M., Debray, S., Lin, N.W.: Lower bound cost estimation for logic programs. In: 1997 International Logic Programming Symposium, MIT Press, Cambridge (1997)Google Scholar
  15. 15.
    Moreno-Navarro, J.J.: Extending constructive negation for partial functions in lazy narrowing-based languages. ELP (1996)Google Scholar
  16. 16.
    Muñoz, S., Mariño, J., Moreno-Navarro, J.J.: Constructive intensional negation. In: Kameyama, Y., Stuckey, P.J. (eds.) FLOPS 2004. LNCS, vol. 2998, pp. 39–54. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  17. 17.
    Muñoz, S., Moreno-Navarro, J.J.: How to incorporate negation in a prolog compiler. In: Pontelli, E., Santos Costa, V. (eds.) PADL 2000. LNCS, vol. 1753, pp. 124–140. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  18. 18.
    Muñoz, S., Moreno-Navarro, J.J., Hermenegildo, M.: Efficient negation using abstract interpretation. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol. 2250, pp. 485–494. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  19. 19.
    Naish, L.: Negation and Control in Prolog. LNCS, vol. 238. Springer, Heidelberg (1986)zbMATHGoogle Scholar
  20. 20.
    Di Pierro, A., Drabent, W.: On negation as instantiation. In: Hanus, M., Rodríguez-Artalejo, M. (eds.) ALP 1996. LNCS, vol. 1139, Springer, Heidelberg (1996)Google Scholar
  21. 21.
    Shoenfield, J.R.: Mathematical Logic. Association for Symbolic Logic (1967)Google Scholar
  22. 22.
    Stuckey, P.: Constructive negation for constraint logic programming. In: Proc. IEEE Symp. on Logic in Computer Science, vol. 660, IEEE Comp. Soc. Press, Los Alamitos (1991)Google Scholar
  23. 23.
    Stuckey, P.: Negation and constraint logic programming. In: Information and Computation, vol. 118(1), pp. 12–33 (1995)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Susana Muñoz-Hernández
    • 1
  • Juan José Moreno-Navarro
    • 1
  1. 1.LSIIS, Facultad de InformáticaUniversidad Politécnica de MadridMadridSpain

Personalised recommendations