Program of the Workshop

Time Title Speaker
8:00 - 9:00 Registration   
9:00 - 9:05 Welcome and Introduction Konstantinos Sagonas 
   Section I: Compilation and Implementation    
9:05 - 9:35 A Choice-Point Library for Backtrack Programming Pierre-Etienne Moreau
9:35 - 10:05 Compiling Resources in Linear Logic Programming Languages Mutsunori Banbara and Naoyuki Tamura
10:05 - 10:35 Tracing Prolog Programs by Source Instrumentation is Efficient Enough Mireille Ducasse and Jacques Noye
Coffee/Tea Break
   Section II: Multi-Threaded Implementations               
11:00 - 12:00 Jinni: a Lightweight Java-based Logic Engine for Internet Programming Paul Tarau
12:00 - 12:30 SICStus MT - Multi-threaded Execution Environment for SICStus Prolog Jesper Eskilson and Mats Carlsson
Buffet Lunch
   Section III: Constraints and Applications   
14:00 - 14:30 Extension of the Revised Simplex Method for Detecting Implicit Equalities in Constraint Logic Programming Philippe Refalo
14:30 - 15:00 Parallel Arc-Consistency for Functional Constraints A. Ruiz-Andino, L. Araujo, F. Saenz and J. Ruz
15:00 - 15:30 Natural Language Multiprocessing: a case study E. Pontelli, G. Gupta, J. Wiebe, and D. Farwell
15:30 - 16:00 Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs Donald A. Smith and Mark Utting