15. ICLP 1998: Manchester, U.K. - Workshop on Implementation Technology for Programming Languages based on Logic

Konstantinos F. Sagonas (Ed.): Proceedings of the International Workshop on Implementation Technology for Programming Languages based on Logic, held in conjunction with the Joint International Conference and Symposium on Logic Programming, Manchester, U.K., Saturday 20th June, 1998.
Workshop Home Page
Full proceedings of the workshop

Invited Paper

Paul Tarau: Jinni: a Lightweight Java-based Logic Engine for Internet Programming. 1-15 BibTeX

Regular Papers

Pierre-Etienne Moreau: A Choice-Point Library for Backtrack Programming. 16-31 BibTeX
Mutsunori Banbara, Naoyuki Tamura: Compiling Resources in a Linear Logic Programming Language. 32-45 BibTeX
Mireille Ducassé, Jacques Noyé: Tracing Prolog Programs by Source Instrumentation is Efficient Enough. 46-58 BibTeX
Jesper Eskilson, Mats Carlsson: SICStus MT - Multithreaded Execution Environment for SICStus Prolog. 59-71 BibTeX
Philippe Refalo: Extension of the Revised Simplex Method for Detecting Implicit Equalities in Constraint Logic Programming. 72-85 BibTeX
Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz, José J. Ruz: Parallel Arc-Consistency for Functional Constraints. 86-100 BibTeX
Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell: Natural Language Multiprocessing: A Case Study. 101-112 BibTeX
Donald A. Smith, Mark Utting: Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs. 113-126 BibTeX