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 |