Lee Naish: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, July 8-11, 1997, Leuven, Belgium. MIT Press, 1997, ISBN 0-262-64035-X

Opening Session

• 
  Yves Caseau, François Laburthe: Solving Small TSPs with Constraints. 316-330
• 
  Juliana Freire, Terrance Swift, David Scott Warren: Taking I/O Seriously: Resolution Reconsidered for Disk. 198-212
• 
  Jia-Huai You, Xianchang Wang, Li-Yan Yuan: Disjunctive Logic Programming as Constrained Inferences. 361-375

Analysis I

• 
  Peter Schachte: Global Variables in Logic Programming. 3-17
• 
  Andreas Kågedal, Saumya K. Debray: A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages. 18-32
• 
  Maurice Bruynooghe, Gerda Janssens, Andreas Kågedal: Live-Structure Analysis for Logic Programming Languages with Declarations. 33-47

Analysis II

• 
  Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo: Non-Failure Analysis for Logic Programs. 48-62
• 
  Naomi Lindenstrauss, Yehoshua Sagiv: Automatic Termination Analysis of Logic Programs. 63-77
• 
  Stefaan Decorte, Danny De Schreye: Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs. 78-92
• 
  Germán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey: Optimization of Logic Programs with Dynamic Scheduling. 93-107

Parallelism

• 
  Enrico Pontelli, Gopal Gupta, Francesco Pulvirenti, Alfredo Ferro: Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism. 108-122
• 
  Enrico Pontelli, Gopal Gupta: Implementation Mechanisms for Dependent And-Parallelism. 123-137
• 
  Sergio Antoy, Rachid Echahed, Michael Hanus: Parallel Evaluation Strategies for Functional Logic Languages. 138-152

Rewriting and Functional Programming

• 
  Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo: A Higher Order Rewriting Logic for Functional Logic Programming. 153-167
• 
  Femke van Raamsdonk: Translating Logic Programs into Conditional Rewriting Systems. 168-182
• 
  Juan M. Molina-Bravo, Ernesto Pimentel: Modularity in Functional-Logic Programming. 183-197

Databases

• 
  Ismail H. Toroslu, Fahri Kocabas: Effective Maintenance of Recursive Views: Improvements to the DRed Algorithm. 213-225
• 
  Carl-Alexander Wichert, Burkhard Freitag: Capturing Database Dynamics by Deferred Updates. 226-240
• 
  Michael I. Dekhtyar, Alexander Ja. Dikovsky: Total Homeostaticity and Integrity Constraints Restorability Recognition. 241-255

Visualisation/Natural Language Processing

• 
  Verónica Dahl, Paul Tarau, Renwei Li: Assumption Grammars for Processing Natural Language. 256-270
• 
  Rick Vaupel, Enrico Pontelli, Gopal Gupta: Visualization of And/Or-Parallel Execution of Logic Programs. 271-285
• 
  Christian Schulte: Oz Explorer: A Visual Constraint Programming Tool. 286-300

Constraints

• 
  Peter J. Stuckey: Constraint Search Tree. 301-315
• 
  Farid Ajili, Claude Kirchner: A Modular Framework for the Combination of Unification and Built-In Constraints. 331-345

Foundations

• 
  Kristof Van Belleghem, Marc Denecker, Danny De Schreye: A Strong Correspondence between Description Logics and Open Logic Programming. 346-360
• 
  Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh: Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP. 376-390
• 
  Alex Dekhtyar, V. S. Subrahmanian: Hybrid Probabilistic Programs. 391-405

Posters

• 
  Peter Baumgartner, Ulrich Furbach: Calculi for Disjunctive Logic Programming. 409
• 
  Zhiyi Huang, Chengzheng Sun, Abdul Sattar: Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models. 410
• 
  Sameer Mahajan, S. Ramesh: Concurrent Logic Programming and pi Calculus. 411
• 
  Tobias Müller, Jörg Würtz: Connecting Propagators with a Concurrent Constraint Language. 412
• 
  Evelina Lamma, Michela Milano, Paola Mello: Reasoning on Constraints in Constraint Logic Programming. 413
• 
  Kensei Tsuchida, Yoshihiro Adachi, Takanori Imaki, Takeo Yaku: Tree Drawing Using Constraint Logic Programming. 414
• 
  Mengchi Liu: Supporting Partial and Complete Sets and Tuples in Deductive Databases. 415
• 
  Michael Codish, Bart Demoen, Konstantinos F. Sagonas: XSB as the Natural Habitat for General Purpose Program Analysis. 416
• 
  Francisco Bueno, Michael Codish, Vitaly Lagoon: Sharing Analysis Using Set Logic Programs. 417
• 
  Jan-Georg Smaus, Patricia M. Hill, Andy King: Domain Construction for Mode Analysis of Typed Logic Programs. 418
• 
  Iliano Cervesato, Massimo Franceschet, Angelo Montanari: The Complexity of Model Checking in Modal Event Calculi. 419
• 
  Vyacheslav Petukhin: Embedded Implications as a Generalization of Negation as Failure. 420
• 
  Ulrich Zukowski, Burkhard Freitag, Stefan Brass: Differential Bottom-Up Computation of the Well-Founded Semantics. 421
• 
  Michael Codish: Efficient Goal Directed Bottom-up Evaluation of Logic Programs. 422