Skip to main content
SpringerLink
Log in

Using a Logic Programming Language with Persistence and Contexts

  • Conference paper
Declarative Programming for Knowledge Management (INAP 2005)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4369))

Abstract

This article merges two approaches: one dealing with persistence for logic programs, as provided by a relational database back-end and another which addresses the issues of logic program structuring, by way of the parametric context. We claim that these two can be effectively combined to obtain a language which offers significant gains in expressiveness over previous work. This claim is experimentally backed by the applications that have been developed using these tools.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abreu, S.P.: A Logic-Based Information System. In: Pontelli, E., Santos Costa, V. (eds.) PADL 2000. LNCS, vol. 1753, pp. 141–153. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  2. Abreu, S.: Isco: A practical language for heterogeneous information system construction. In: Proceedings of INAP 2001, Tokyo, Japan. Prolog Association of Japan (October 2001)

    Google Scholar 

  3. Abreu, S.P., Díaz, D.: Objective: in Minimum Context. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol. 2916, pp. 128–147. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  4. Draxler, C.: A Powerful Prolog to SQL Compiler. Technical Report 92–61, Centre for Information and Language Processing, LudwigsMaximillians-Universität München (1992)

    Google Scholar 

  5. Jaffar, J., Maher, M.: Constraint Logic Programming: a Survey. The Journal of Logic Programming 19/20 (May/July 1994)

    Google Scholar 

  6. Miller, D.: A logical analysis of modules in logic programming. The Journal of Logic Programming 6(1-2), 79–108 (1989)

    Article  MATH  Google Scholar 

  7. Monteiro, L., Porto, A.: Contextual logic programming. In: Levi, G., Martelli, M. (eds.) Proceedings of the Sixth International Conference on Logic Programming, Lisbon, pp. 284–299. The MIT Press, Cambridge (1989)

    Google Scholar 

  8. Nogueira, V., Abreu, S., David, G.: Towards Temporal Reasoning in Constraint Contextual Logic Programming. In: Hofstedt, P. (ed.) Proceedings of the 3rd International Workshop on Multiparadigm Constraint Programming Languages MultiCPL 2004, TU Berlin, pp. 119–131 (September 2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Universidade de Évora and CENTRIA FCT/UNL, Portugal

    Salvador Abreu & Vitor Nogueira

Authors
  1. Salvador Abreu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Vitor Nogueira
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Graduate School of Computer Science and Systems Engineering, Kyushu Institute of Technology, Iizuka, Fukuoka, Japan

    Masanobu Umeda

  2. Fraunhofer FIRST, Kekuléstr. 7, D-12489, Berlin, Germany

    Armin Wolf

  3. IF Computer Japan, 5-28-2 Sendagi, Bunkyo-ku, 113-0022, Tokyo, Japan

    Oskar Bartenstein

  4. Fraunhofer FIRST, Berlin,  

    Ulrich Geske

  5. Universität Würzburg, Am Hubland, 97074, Würzburg, Germany

    Dietmar Seipel

  6. Graduate School of Computer Science and Systems Engineering,, Kyushu Institute of Technology, Iizuka, Fukuoka, Japan

    Osamu Takata

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Abreu, S., Nogueira, V. (2006). Using a Logic Programming Language with Persistence and Contexts. In: Umeda, M., Wolf, A., Bartenstein, O., Geske, U., Seipel, D., Takata, O. (eds) Declarative Programming for Knowledge Management. INAP 2005. Lecture Notes in Computer Science(), vol 4369. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11963578_4

Download citation

  • DOI: https://doi.org/10.1007/11963578_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-69233-1

  • Online ISBN: 978-3-540-69234-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation