Skip to main content
  • Conference proceedings
  • © 2001

Logic Programming

17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings

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

Buy it now

Buying options

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

Other ways to access

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

Table of contents (31 papers)

  1. Front Matter

    Pages I-XI
  2. Tutorials

    1. Natural Language Tabular Parsing

      • Éric Villemonte de la Clergerie
      Pages 8-8
    2. Probabilistic Databases and Logic Programming

      • V. S. Subrahmanian
      Pages 10-10
  3. Conference Papers

    1. Understanding Memory Management in Prolog Systems

      • Luís Fernando Castro, Vítor Santos Costa
      Pages 11-26
    2. PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures

      • K. Villaverde, E. Pontelli, H. Guo, G. Gupta2
      Pages 27-42
    3. On a Tabling Engine That Can Exploit Or-Parallelism

      • Ricardo Rocha, Fernando Silva, Vítor Santos Costa
      Pages 43-58
    4. Optimizing Compilation of Constraint Handling Rules

      • Christian Holzbaur, María García de la Banda, David Jeffery, Peter J. Stuckey
      Pages 74-89
    5. Building Constraint Solvers with HAL

      • María García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur
      Pages 90-104
    6. Practical Aspects for a Working Compile Time Garbage Collection System for Mercury

      • Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe
      Pages 105-119
    7. Positive Boolean Functions as Multiheaded Clauses

      • Jacob M. Howe, Andy King
      Pages 120-134
    8. Higher-Precision Groundness Analysis

      • Michael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey
      Pages 135-149
    9. Speculative Beats Conservative Justification

      • Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan
      Pages 150-165
    10. Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming

      • Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh Verma
      Pages 166-180

Editors and Affiliations

  • LIP6, case 169, University of Paris 6, Paris, France

    Philippe Codognet

Bibliographic Information

Buy it now

Buying options

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

Other ways to access