Abstract is missing.
- The Implementation of Mercury, an Efficient Purely Declarative Logic Programming LanguageZoltan Somogyi, Fergus Henderson, Thomas Conway. [doi]
- Design and Implementation of a Prolog-to-C CompilerAnatholy F. Dedkov, Douglas J. Eadline. [doi]
- LI-Engine: a New Sequential Control Model for PrologXining Li, Y. Y. Yao. [doi]
- Mode Analysis of Arrays and Array ComprehensionsBarton C. Massey, Evan Tick. [doi]
- Backtrackable UpdatesJacques Noyé. [doi]
- The Architecture of an Implementation of Lambda-Prolog: Prolog/MaliPascal Brisset, Olivier Ridoux. [doi]
- Analysis and Compilation of Constraint Solving Algorithms: A Case StudyPanagiotis Tsarchopoulos. [doi]
- A Progress Report on Incremental Global Compilation of PrologThomas Berger, Andreas Krall. [doi]
- Performance of a Data-Parallel Concurrent Constraint Programming SystemBo-Ming Tong, Ho-Fung Leung. [doi]
- Using Constraint Logic Programming in Services: A Few Short TalesYannick Cras. 3-16
- Penny, a Parallel Implementation of AKLJohan Montelius. 4-8
- A Framework for Using Control-Flow and Dataflow Dependencies in And-Or Tree Rewriting SystemsSalvador Abreu, Luís Moniz Pereira. 9-16
- Abstract Interpretation and Partial Evaluation in Functional and Logic ProgrammingNeil D. Jones. 17-22
- Parallelizing Tabled Evaluations (Extended Abstract)Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren. 18-31
- Complexity and Expressive Power of Disjunctive Logic ProgrammingGeorg Gottlob. 23-42
- Aurora, Andorra-I and Friends on the SunVítor Santos Costa, Manuel Eduardo Correia, Fernando M. A. Silva. 32-41
- Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming SystemsManuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro. 42-53
- Combining Functional and Logic Programming LanguagesJohn W. Lloyd. 43-57
- Signed Logic ProgramsHudson Turner. 61-75
- Preliminary Evaluation of a Distributed Implementation of KLICAkihiko Nakase, Kazuaki Rokusawa, Tetsuro Fujise, Takashi Chikayama. 74-82
- A Syntactic Stratification Condition Using ConstraintsKenneth A. Ross. 76-90
- Distributed Pool for Efficient Data Distribution in KL1Masahiko Yamauchi, Masa-aki Sato, Takashi Chikayama. 83-92
- Characterization of Some Semantics for Logic Programs with Negation and Applications to Program ValidationBernard Malfon. 91-105
- Quiescence Detection in a Distributed KLIC ImplementationKazuaki Rokusawa, Akihiko Nakase, Takashi Chikayama. 93-102
- Implementation of Parallel Database Management System on KLICMoto Kawamura, Toru Kawamura. 103-107
- Towards Practical Interval Constraint Solving in Logic ProgrammingC. K. Chiu, Jimmy Ho-Man Lee. 109-123
- On Using Logic Programming in Real-Time SystemsAntonio Mendes da Silva Filho. 110-119
- Distributed Programming and Disjunctive ProgrammingDavid M. Arnow, Ken McAloon, Carol Tretkoff. 120-129
- CLP(Intervals) RevisitedFrédéric Benhamou, David A. McAllester, Pascal Van Hentenryck. 124-138
- Implementing Prolog on Distributed Systems: N-parallel PrologDouglas Eadline. 130-140
- Redundancy, Variable Elimination and Linear DisequationsJean-Louis Imbert. 139-153
- An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the CutBaudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck. 157-171
- An Algebraic Theory of ObservablesMarco Comini, Giorgio Levi. 172-186
- Datalog with Integer Periodicity ConstraintsDavid Toman, Jan Chomicki, David S. Rogers. 189-203
- Efficient Incremental Evaluation of Queries with AggregationRaghu Ramakrishnan, Kenneth A. Ross, Divesh Srivastava, S. Sudarshan. 204-218
- Analysis of SLG-WAM Evaluation of Definite ProgramsTerrance Swift, David Scott Warren. 219-235
- Tractable Argumentation Semantics via Iterative Belief RevisionJia-Huai You, Robert Cartwright. 239-253
- Probabilistic Deductive DatabasesLaks V. S. Lakshmanan, Fereidoon Sadri. 254-268
- Combinatory Logic Programming: Computing in Relation CalculiPaul Broome, James Lipton. 269-285
- Strategies for Scheduling And- and Or-Parallel Work in Parallel Logic Programming SystemsInês de Castro Dutra. 289-304
- A Simple Program Transformation for ParallelismSaumya K. Debray, Mudita Jain. 305-319
- Effectiveness of Global Analysis in Strict Independence-Based Automatic ParallelizationFrancisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo. 320-336
- Conjunto: Constraint Logic Programming with Finite Set DomainsCarmen Gervet. 339-358
- The Beauty and the Beast Algorithm: Quasi-Linear Incremental Tests of Entailment and Disentailment over TreesAndreas Podelski, Peter Van Roy. 359-374
- Abductive Analysis of Modular Logic ProgramsRoberto Giacobazzi. 377-391
- Intuitionistic Implication and ResolutionAlain Hui-Bon-Hoa. 409-423
- SLX - A Top-down Derivation Procedure for Programs with Explicit NegationJosé Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira. 424-438
- LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR ParsingDavid A. Rosenblueth, Julio C. Peralta. 439-453
- Cardinality Analysis of PrologC. Braem, Baudouin Le Charlier, S. Modart, Pascal Van Hentenryck. 457-471
- Mutally Exclusive Rules in Logic ProgrammingKjell Post. 472-486
- Detection and Optimization of Suspension-free Logic ProgramsSaumya K. Debray, David Gudeman, Peter A. Bigot. 487-501
- Encapsulated Search for Higher-order Concurrent Constraint ProgrammingChristian Schulte, Gert Smolka. 505-520
- AKL(FD) - A Concurrent Language for FD ProgrammingBjörn Carlson, Seif Haridi, Sverker Janson. 521-535
- The Situation Calculus and Event Calculus ComparedRobert A. Kowalski, Fariba Sadri. 539-553
- SLD - Resolution with ReflectionJonas Barklund, Pierangelo Dell Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone. 554-568
- Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic ProgramsSpiro Michaylov, Bill Pippin. 586-600
- A Continuation-Passing Style for PrologThomas Lindgren. 603-617
- A Portable Method of Integrating SLG Resolution into Prolog SystemsR. Ramesh, Weidong Chen. 618-632
- An Abstract Machine for SLG Resolution: Definite ProgramsTerrance Swift, David Scott Warren. 633-652
- Improving Abstract Interpretations by Systematic Lifting to the PowersetGilberto Filé, Francesco Ranzato. 655-669
- Declarative Error Diagnosis as Consistency-Based DiagnosisGregory W. Bond, Bernie Pagurek. 673
- Avoiding Dynamic Type Checking in a Polymorphic Logic Programming LanguagePascal Brisset. 674
- Parsing with PTNAndrew Davison, Elizabeth Haywood. 676
- On Stable Behaviour of Dynamic Deductive Data BasesMichael I. Dekhtyar, Alexander Ja. Dikovsky. 677
- Data Alignment and Task Scheduling On Parallel Machines Using Concurrent Constraint Model-based ProgrammingJean Jourdan, François Fages, Didier Rozzonelli, Alain Demeure. 678
- Constraint Logic Programming for PlanningJonathan M. Lever. 679
- Inferring Inheritance from Datalog ProgramsMiguel-Angel Oros, Paul Y. Gloess. 680
- Constraint Logic Programming on Strings: Theory and ApplicationsArcot Rajasekar. 681
- A Portable Compiler for Integrating HiLog into Prolog SystemsKonstantinos F. Sagonas, David Scott Warren. 682
- Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming SystemsDongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro. 683-684
- A PROLOG Interpreter for First-Order Intuitionistic LogicL. Thorne McCarty, Leon A. Shklar. 685