The Intelligent Systems Laboratory  Home/Search
Context Related
| sics.se/sicstus/docs/late...sicstus.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fi.muni.cz/~hanka/teach/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Machine (WAM) emulator [Warren 83]. Two modes of compilation are available: in-core i.e. incremental, and file-to-file. When compiled, a predicate will run about 8 times faster and use memory more economically. Implementation details can be found in [Carlsson 90] and in several technical reports available from SICS. (Update)
Context of citations to this paper: More
...described above. To implement the set operations, we resorted to the ordsets library for operations over sorted lists of SICStus Prolog [15]. Of all the approaches in this paper, it turns out that this is the most ecient one. This is as expected, since with this approach only...
Cited by: More
Network Support for Logic Programming - Alin Suciu Kalman (2002) (Correct)
Preventing Instantiation Errors and Loops for Logic Programs .. - Smaus, Hill, King (1998) (Correct)
Improving Prolog Programs: Refactoring for Prolog - Schrijvers, Serebrenik (Correct)
Active bibliography (related documents): More All
2.5: Tcl/Tk Interface - Tcltk Library Package (Correct)
0.4: YAP User's Manual - Version No Value (Correct)
0.4: OFAI clp(Q,R) Manual - Holzbaur (1995) (Correct)
Similar documents based on text: More All
1.1: Linux System Administrator's Guide 0.3 - Wirzenius (Correct)
1.1: Scm - Jaffer (1999) (Correct)
1.1: User's Guide for the GNU gperf Utility - Schmidt (1989) (Correct)
Related documents from co-citation: More All
4: Foundations of Logic Programming (context) - Lloyd - 1987
4: Proving termination of logic programs with delay declarations - Marchiori, Teusink - 1995
4: Coroutining and the construction of terminating logic programs - Naish - 1992
BibTeX entry: (Update)
Intelligent Systems Laboratory, SICS, PO Box 1263, S-164 28 Kista, Sweden. SICStus Prolog User's Manual, 1995. http://citeseer.ist.psu.edu/laboratory01sicstus.html More
@misc{ laboratory95sicstus,
author = "I. Laboratory and S. PO and B. S- and K. Sweden",
title = "SICStus Prolog User's Manual",
text = "Intelligent Systems Laboratory, SICS, PO Box 1263, S-164 28 Kista, Sweden.
SICStus Prolog User's Manual, 1995.",
year = "1995",
url = "citeseer.ist.psu.edu/laboratory01sicstus.html" }
Citations (may not include all citations):634 A Machine-Oriented Logic Based on the Resolution Principle (context) - Robinson - 1965
440 The Art of Prolog (context) - Sterling, Shapiro - 1986
395 An Abstract Prolog Instruction Set (context) - Warren - 1983
363 Programming in Prolog (context) - Clocksin, Mellish - 1981
232 Linda in Context (context) - Carreiro, Gelernter - 1989
214 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989
157 How to Write Parallel Programs: A Guide to the Perplexed (context) - Carreiro, Gelernter - 1989
155 Tcl and the Tk Toolkit - Ousterhout - 1994
135 Definite clause grammars for language analysis---a survey of.. (context) - Pereira, Warren - 1980
121 Concurrent Constraint Programming Languages (context) - Saraswat - 1990
97 The Craft of Prolog (context) - O'Keefe - 1990
89 A Minimal Extension of the WAM for clp (context) - Diaz, Codognet - 1993
62 Logic and Objects (context) - McCabe - 1992
61 Extending CHIP in order to Solve Complex Scheduling and Plac.. (context) - Aggoun, Beldiceanu - 1993
61 Introducing Global Constraints in CHIP - Beldiceanu, Contejean - 1994
32 Constraint processing in cc (context) - Van Hentenryck, Saraswat et al. - 1992
31 Attributed Variables in the Context of Extensible Unificatio.. (context) - Holzbaur, vs - 1992
30 Specification of Constraint Based Inference Mechanism throug.. (context) - Holzbaur - 1990
30 Design and Implementation of an OR-Parallel Prolog Engine (context) - Carlsson - 1990
24 implementation and evaluation of the constraint language cc (context) - Van Hentenryck, Saraswat et al. - 1995
18 Methodology and Implementation of a CLP System (context) - Ja, Michaylov - 1987
16 Department of Computer Science (context) - Heintze, Ja et al. - 1987
13 Theory and Practice of Constraint Handling Rules (context) - Fruehwirth - 1998
12 Timing Prolog Programs Without Clocks (context) - Gorlick, Kesselman - 1987
12 Applied Logic---Its Use and Implementation as a Programming .. (context) - Warren - 1977
11 Time Stamps Techniques for the Trailed Data in Constraint Lo.. (context) - Aggoun, Beldiceanu - 1990
11 The Cardinality Operator: a new logical connective and its a.. (context) - Van Hentenryck, Deville - 1991
7 A High-Level Approach to the Realization of CLP Languages (context) - Holzbaur - 1992
7 A filtering algorithm for constraints of di#erence in CSPs (context) - Regin - 1994
6 Groupe d'Intelligence Artificielle (context) - Colmerauer, de Metamorphos et al. - 1975
5 Incremental Solved Form Algorithm for Systems of Linear Ineq.. (context) - Holzbaur, Specialized - 1994
5 Robust Coordinated Reactive Computing in Sandra (context) - Elshiewy - 1990
4 Prolog : Manuel de Reference et d'Utilisation (context) - Roussel - 1975
3 Dept of Artificial Intelligence (context) - Kowalski, Problem et al. - 1974
3 Graph-Based Logarithms for Boolean Function Manipulation (context) - Bryant - 1986
2 Artificial Intelligence: Logic for Problem Solving (context) - Kowalski - 1979
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC