Skip to main content
SpringerLink
Log in
SpringerLink
Log in

A Real Implementation for Constructive Negation

  • Conference paper
Logic Programming (ICLP 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2916))

Included in the following conference series:

  • 392 Accesses

Abstract

Logic Programming has been advocated as a language for system specification, especially for logical behaviours, rules and knowledge. However, modeling problems involving negation, which is quite natural in many cases, is somewhat restricted if Prolog is used as the specification/implementation language. These constraints 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 limited, and a correct and complete implementation there is not available. Of all the proposals, constructive negation [1,2] is probably the most promising because it has been proven to be sound and complete [4], and its semantics is fully compatible with Prolog’s.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 99.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 129.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Chan, D.: Constructive negation based on the complete database. In: ICLP 1988, pp. 111–125. MIT Press, Cambridge (1988)

    Google Scholar 

  2. 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 

  3. 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)

    Chapter  Google Scholar 

  4. Stuckey, P.: Negation and constraint logic programming. In: Information and Computation, vol. 118(1), pp. 12–33 (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LSIIS, Facultad de Informática, Universidad Politécnica de Madrid, Campus de Montegancedo s/n Boadilla del Monte, 28660, Madrid, Spain

    Susana Muñoz & Juan José Moreno-Navarro

Authors
  1. Susana Muñoz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Juan José Moreno-Navarro
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Ecole Polytechnique, Rue de Saclay, 91128, Palaiseau Cedex, France

    Catuscia Palamidessi

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Muñoz, S., Moreno-Navarro, J.J. (2003). A Real Implementation for Constructive Negation. In: Palamidessi, C. (eds) Logic Programming. ICLP 2003. Lecture Notes in Computer Science, vol 2916. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24599-5_40

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24599-5_40

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20642-2

  • Online ISBN: 978-3-540-24599-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation