Implementation Technology for Programming Languages based on Logic

Keyphrases

Publications

1998

Donald A. Smith, Mark Utting
Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs. Implementation Technology for Programming Languages based on Logic (1998)
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, UK, Saturday 20th June, 1998 Implementation Technology for Programming Languages based on Logic (1998)
Philippe Refalo
Extension of the Revised Simplex Method for Detecting Implicit Equalities in Constraint Logic Programming. Implementation Technology for Programming Languages based on Logic (1998)
Mutsunori Banbara, Naoyuki Tamura
Compiling Resources in a Linear Logic Programming Language. Implementation Technology for Programming Languages based on Logic (1998)
Pierre-Etienne Moreau
A Choice-Point Library for Backtrack Programming. Implementation Technology for Programming Languages based on Logic (1998)
Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell
Natural Language Multiprocessing: A Case Study. Implementation Technology for Programming Languages based on Logic (1998)
Jesper Eskilson, Mats Carlsson
SICStus MT - Multithreaded Execution Environment for SICStus Prolog. Implementation Technology for Programming Languages based on Logic (1998)
Paul Tarau
Jinni: a Lightweight Java-based Logic Engine for Internet Programming. Implementation Technology for Programming Languages based on Logic (1998)
Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz-Pérez, José J. Ruz
Parallel Arc-Consistency for Functional Constraints. Implementation Technology for Programming Languages based on Logic (1998)
Mireille Ducassé, Jacques Noyé
Tracing Prolog Programs by Source Instrumentation is Efficient Enough. Implementation Technology for Programming Languages based on Logic (1998)