This is info/sicstus.info, produced by makeinfo version 4.13 from sicstus.texi. INFO-DIR-SECTION SICStus Prolog START-INFO-DIR-ENTRY * SICStus Prolog Manual: (sicstus). SICStus Prolog User's Manual. END-INFO-DIR-ENTRY Generated 1 February 2012.  Indirect: sicstus.info-1: 252 sicstus.info-2: 298483 sicstus.info-3: 596549 sicstus.info-4: 884436 sicstus.info-5: 1183426 sicstus.info-6: 1479238 sicstus.info-7: 1775109 sicstus.info-8: 2074815 sicstus.info-9: 2373169 sicstus.info-10: 2550931  Tag Table: (Indirect) Node: Top252 Node: Intro1819 Node: Acknowledgments3799 Node: Notation5382 Node: Keyboard Characters5747 Node: Mode Spec6496 Node: Development and Runtime Systems7540 Node: Function Prototypes8052 Node: ISO Compliance8389 Node: Glossary8923 Node: Run Intro42391 Node: Start43588 Node: Reading In45402 Node: Inserting Clauses47014 Node: Queries and Directives47700 Node: Queries48241 Node: Directives51623 Node: Syntax Errors53272 Node: Undefined Predicates54494 Node: Execution55923 Node: Exiting57353 Node: Nested57693 Node: Saving58597 Node: SPIDER62069 Node: Emacs Interface64555 Node: Installation66343 Node: Quick-Start66974 Node: Customizing Emacs68198 Node: Enabling Emacs Support for SICStus68833 Node: Enabling Emacs Support for SICStus Documentation70945 Node: Basic Configuration72211 Node: Usage73069 Node: Mode Line79402 Node: Configuration80257 Node: Tips87015 Node: Font-locking87398 Node: Auto-fill Mode87887 Node: Speed88398 Node: Changing Colors89942 Node: Prolog Intro91953 Node: ref-syn93443 Node: ref-syn-ove94005 Node: ref-syn-trm94166 Node: ref-syn-trm-ove94608 Node: ref-syn-trm-int95241 Node: ref-syn-trm-flo96305 Node: ref-syn-trm-ato96898 Node: ref-syn-trm-var98719 Node: ref-syn-trm-fte99383 Node: ref-syn-cpt99589 Node: ref-syn-cpt-lis101752 Node: ref-syn-cpt-sli103159 Node: ref-syn-ces104713 Node: ref-syn-ops105550 Node: ref-syn-ops-ove105995 Node: ref-syn-ops-ops110744 Node: ref-syn-ops-res111275 Node: ref-syn-ops-bop113675 Node: ref-syn-com115040 Node: ref-syn-syn115534 Node: ref-syn-syn-ove116095 Node: ref-syn-syn-not117640 Node: ref-syn-syn-sen119107 Node: ref-syn-syn-trm122540 Node: ref-syn-syn-tok125486 Ref: ref-syn-syn-tok-Footnote-1135182 Ref: ref-syn-syn-tok-Footnote-2135323 Node: ref-syn-syn-esc135473 Node: ref-syn-syn-nte136605 Node: ref-syn-sum138106 Node: ref-sem138472 Node: ref-sem-pro139209 Node: ref-sem-typ143066 Node: ref-sem-typ-hok143721 Node: ref-sem-typ-rpr144866 Node: ref-sem-ctr145196 Node: ref-sem-ctr-cut146996 Node: ref-sem-ctr-dis151631 Node: ref-sem-ctr-ite152878 Node: ref-sem-ctr-naf154586 Node: ref-sem-ctr-dol154964 Node: ref-sem-ctr-oth164401 Node: ref-sem-sec165048 Node: ref-sem-cal172228 Node: ref-sem-exc173168 Node: ref-sem-occ173839 Node: ref-sem-con175603 Node: ref-lod177412 Node: ref-lod-ove178006 Node: ref-lod-lod179215 Node: ref-lod-rpx185598 Node: ref-lod-dcl186772 Node: Multifile Declarations188401 Node: Dynamic Declarations189915 Node: Volatile Declarations190693 Node: Discontiguous Declarations191580 Node: Block Declarations192145 Node: Meta-Predicate Declarations193902 Node: Module Declarations194634 Node: Public Declarations195168 Node: Mode Declarations195762 Node: Include Declarations196230 Node: Initializations197537 Node: ref-lod-exp198263 Node: ref-lod-cnd200795 Node: ref-lod-lis205391 Node: ref-sls208148 Node: ref-sls-ove208584 Node: ref-sls-sst209822 Node: ref-sls-ssl211656 Node: ref-sls-lis213858 Node: ref-fdi214760 Node: ref-fdi-fsp215102 Node: ref-fdi-fsp-def218826 Node: ref-fdi-fsp-ffs222163 Node: ref-fdi-fsp-pre222979 Node: ref-fdi-syn225046 Node: ref-fdi-pre231281 Node: ref-iou231836 Node: ref-iou-bas232599 Node: ref-iou-str233088 Ref: ref-iou-str-Footnote-1234262 Node: ref-iou-str-not234370 Node: ref-iou-str-sca234864 Node: ref-iou-tin235622 Node: ref-iou-tin-trm236013 Node: ref-iou-tin-cpr237702 Node: ref-iou-tou238222 Node: ref-iou-tou-wrt239111 Node: ref-iou-tou-cha239639 Node: ref-iou-tou-dis240409 Node: ref-iou-tou-dsp242334 Node: ref-iou-tou-por242904 Node: ref-iou-tou-pcl244452 Node: ref-iou-cin245205 Node: ref-iou-cin-ove245669 Node: ref-iou-cin-cha246003 Node: ref-iou-cin-pee246611 Node: ref-iou-cin-ski247335 Node: ref-iou-cin-elf248371 Node: ref-iou-cou248960 Node: ref-iou-cou-cha249482 Node: ref-iou-cou-nln250142 Node: ref-iou-cou-fou250406 Node: ref-iou-sfh251480 Node: ref-iou-sfh-sob252824 Node: ref-iou-sfh-est254422 Node: ref-iou-sfh-sem255301 Node: ref-iou-sfh-opn255652 Node: ref-iou-sfh-enc259204 Node: ref-iou-sfh-cis261337 Node: ref-iou-sfh-cos262658 Node: ref-iou-sfh-bos264002 Node: ref-iou-sfh-cst264853 Node: ref-iou-sfh-flu265682 Node: ref-iou-sos266165 Node: ref-iou-sos-spt267340 Node: ref-iou-raf267957 Node: ref-iou-sum268912 Node: ref-ari274256 Node: ref-ari-ove274765 Node: ref-ari-eae275776 Node: ref-ari-exc276218 Node: ref-ari-acm276973 Node: ref-ari-aex278560 Node: ref-ari-sum286045 Node: ref-lte287090 Node: ref-lte-met287871 Node: ref-lte-met-typ288401 Node: ref-lte-met-usu289528 Node: ref-lte-act290569 Node: ref-lte-acl291255 Node: ref-lte-c2t292244 Node: ref-lte-atm293886 Node: ref-lte-anv294624 Node: ref-lte-cpt295084 Node: ref-lte-cte297666 Node: ref-lte-cte-bas297988 Node: ref-lte-cte-sot298483 Node: ref-lte-cte-sor300507 Node: ref-lte-mut300874 Node: ref-lte-sum302782 Node: ref-lps306895 Node: ref-lps-ove307433 Node: ref-lps-app307960 Node: ref-lps-apf309482 Node: ref-lps-flg309969 Node: ref-lps-lco325929 Node: ref-lps-sum327105 Node: ref-mgc328466 Node: ref-mgc-ove329229 Node: ref-mgc-ove-rsp333395 Node: ref-mgc-ove-sta334706 Node: ref-mgc-gcp343386 Node: ref-mgc-egc347175 Node: ref-mgc-mgc348109 Node: ref-mgc-gch348874 Node: ref-mgc-gcd352242 Node: ref-mgc-ago353298 Node: ref-mgc-ago-agc356152 Node: ref-mgc-ago-pat358841 Node: ref-mgc-ago-prm362819 Node: ref-mgc-ago-are363893 Node: ref-mgc-sum365755 Node: ref-mod366193 Node: ref-mod-ove367473 Node: ref-mod-bas369096 Node: ref-mod-def370975 Node: ref-mod-n2m372583 Node: ref-mod-lod373555 Node: ref-mod-vis376387 Node: ref-mod-som377906 Node: ref-mod-tyi380863 Node: ref-mod-dmo382638 Node: ref-mod-mpc383559 Node: ref-mod-mpc-cmo385689 Node: ref-mod-cim385928 Node: ref-mod-ncl386753 Node: ref-mod-ilm389011 Node: ref-mod-ilm-def389656 Node: ref-mod-ilm-vis390236 Node: ref-mod-idp391521 Node: ref-mod-mne392601 Node: ref-mod-met393535 Node: ref-mod-sem397953 Node: ref-mod-sum401115 Node: ref-mdb402023 Node: ref-mdb-bas402836 Node: ref-mdb-dsp405559 Node: ref-mdb-dre409587 Node: ref-mdb-acd410202 Node: ref-mdb-rcd411458 Node: ref-mdb-rcd-efu412550 Node: ref-mdb-acl415311 Node: ref-mdb-exa415760 Node: ref-mdb-exa-asz416777 Node: ref-mdb-exa-rtr418078 Node: ref-mdb-exa-abo418952 Node: ref-mdb-idb419516 Node: ref-mdb-bbd421387 Node: ref-mdb-sum424343 Node: ref-all426085 Node: ref-all-bas426535 Node: ref-all-cse427845 Node: ref-all-cse-equ429683 Node: ref-all-cba430775 Node: ref-all-cba-cal431225 Node: ref-all-sum431892 Node: ref-gru432442 Node: ref-gru-dcg433094 Node: ref-gru-gru437536 Node: ref-gru-exa438399 Node: ref-gru-tra439627 Node: ref-gru-sum446863 Node: ref-ere447488 Node: ref-ere-ove448040 Ref: ref-ere-ove-Footnote-1449355 Node: ref-ere-rex449655 Node: ref-ere-hex451007 Node: ref-ere-hex-pgo451715 Node: ref-ere-hex-hup454628 Node: ref-ere-err455414 Node: ref-ere-err-ins461402 Node: ref-ere-err-typ462246 Node: ref-ere-err-dom464107 Node: ref-ere-err-eva465854 Node: ref-ere-err-rep466324 Node: ref-ere-err-exi467080 Node: ref-ere-err-per468659 Node: ref-ere-err-con469898 Node: ref-ere-err-cns470620 Node: ref-ere-err-syn471317 Node: ref-ere-err-res473388 Node: ref-ere-err-sys474448 Node: ref-ere-exa474987 Node: ref-ere-int477163 Node: ref-ere-sum477965 Node: ref-msg478967 Node: Message Processing479507 Node: Message Phases481199 Node: Message Generation Phase484910 Node: Message Printing Phase486716 Node: Message Handling Predicates487793 Node: Query Processing489294 Node: Query Classes490485 Node: Query Phases493638 Node: Query Hooks499520 Node: Default Input Methods501967 Node: Default Map Methods502931 Node: Default Query Classes504470 Node: Query Handling Predicates505318 Node: Message Summary507739 Node: ref-oth510743 Node: System Properties and Environment Variables511013 Node: Debug Intro521287 Node: Procedure Box523801 Node: Basic Debug529919 Node: Plain Spypoint533805 Node: Debug Format535826 Node: Debug Commands539597 Node: Advanced Debugging557381 Node: Creating Breakpoints558976 Node: Processing Breakpoints561686 Node: Breakpoint Tests563319 Node: Specific and Generic Breakpoints579477 Node: Breakpoint Actions583176 Node: Advice-points596549 Node: Built-in Predicates for Breakpoint Handling603322 Node: Accessing Past Debugger States608044 Node: Storing User Information in the Backtrace614554 Node: Hooks Related to Breakpoints620052 Node: Programming Breakpoints624813 Node: Breakpoint Predicates632903 Node: Breakpoint Processing639014 Node: Breakpoint Conditions645362 Node: Goal Tests647436 Node: Source Tests650767 Node: Port Tests652331 Node: Break Tests655615 Node: Other Tests656655 Node: Action Conditions657905 Node: Past States658734 Node: Condition Macros659607 Node: Action Variables660804 Node: Consult665700 Node: Exceptions Debug666282 Node: Debug Summary667645 Node: Mixing C and Prolog670634 Node: CPL Notes673543 Node: Calling C from Prolog676108 Node: Foreign Resources677943 Node: Conversion Declarations680607 Node: Conversions between Prolog Arguments and C Types683389 Node: Interface Predicates688166 Node: The Foreign Resource Linker690121 Node: Customizing splfr691330 Node: Manual splfr691850 Node: Windows-specific splfr issues692669 Node: Init and Deinit Functions693141 Node: Creating the Linked Foreign Resource695409 Node: Foreign Code Examples696942 Node: Calling C++ from Prolog699330 Node: Support Functions700086 Node: Creating and Manipulating SP_term_refs700903 Node: Atoms in C702963 Node: Creating Prolog Terms704845 Node: Accessing Prolog Terms706226 Node: Testing Prolog Terms707357 Node: Unifying and Comparing Terms708192 Node: Operating System Services708501 Node: OS Memory Management708790 Node: OS File System709640 Node: OS Threads710198 Node: Calling Prolog from C711294 Node: Finding One Solution of a Call712572 Node: Finding Multiple Solutions of a Call713313 Node: Calling Prolog Asynchronously715202 Node: Signal Handling716957 Node: Exception Handling in C718385 Node: Reading a goal from a string719861 Node: SICStus Streams721018 Node: Prolog Streams721842 Node: Defining a New Stream724110 Node: Low Level I/O Functions728727 Node: Hookable Standard Streams730246 Node: Writing User-stream Hooks730966 Node: Writing User-stream Post-hooks732114 Node: Stand-Alone Executables732906 Node: Runtime Systems733703 Node: Runtime Systems on Target Machines735512 Node: Runtime Systems on UNIX Target Machines737468 Node: Runtime Systems on Windows Target Machines740518 Node: The Application Builder743337 Node: Customizing spld744281 Node: All-in-one Executables746131 Node: Setting up the C compiler on Windows754043 Node: Extended Runtime Systems755589 Node: spld Examples756230 Node: User-defined Main Programs760002 Node: Initializing the Prolog Engine760779 Node: Loading Prolog Code762276 Node: Generic Runtime Systems762725 Node: Mixing C and Prolog Examples763975 Node: Train Example764387 Node: Building for a Target Machine768500 Node: Exceptions from C776279 Node: Stream Example778771 Node: Debugging Runtime Systems779510 Node: Locating the License Information781364 Node: Customizing the Debugged Runtime System783427 Node: Examples of Debugging Runtime Systems785619 Node: Interfacing .NET and Java787534 Node: Multiple SICStus Runtimes789554 Node: Multiple SICStus Runtimes in Java790569 Node: Multiple SICStus Runtimes in C791281 Node: MT Single792531 Node: MT Multiple793835 Node: Foreign Resources and Multiple SICStus Runtimes797659 Node: MT Foreign Single798662 Node: MT Foreign Multiple800582 Node: MT Foreign Multiple Full801761 Node: Threads805426 Node: Writing Efficient Programs806083 Node: Eff Overview806826 Node: Execution Profiling809105 Node: Coverage Analysis811204 Node: The Cut813051 Node: Cut Overview813398 Node: Making Predicates Determinate814338 Node: Placement of Cuts817573 Node: Terminating a Backtracking Loop818467 Node: Indexing820272 Node: Indexing Overview820546 Node: Data Tables821546 Node: Determinacy Detection823437 Node: Last Clause Determinacy Detection825428 Node: The Determinacy Checker827406 Node: Using the Determinacy Checker828483 Node: Declaring Nondeterminacy829546 Node: Checker Output831170 Node: Det Example833808 Node: Det Options835106 Node: What is Detected837311 Node: Last Call Optimization840919 Node: Accumulating Parameters842323 Node: Accumulating Lists844011 Node: Building and Dismantling Terms846059 Node: Conditionals and Disjunction851422 Node: Programming Examples853745 Node: Simple List854409 Node: Family Example855209 Node: Association Lists855961 Node: Derivative856891 Node: Use Of Meta857516 Node: Interpreter858401 Node: Translate859541 Node: The Cross-Referencer861094 Node: Xref Introduction861362 Node: Xref Practice and Experience862243 Node: The Prolog Library864008 Node: lib-aggregate871378 Node: lib-assoc878091 Node: lib-atts884436 Node: lib-avl898483 Node: lib-bags906421 Node: lib-bdb915662 Node: BDB Basics916447 Node: Current Limitations917568 Node: Berkeley DB918532 Node: The DB-Spec Informal Description919241 Node: Predicates921053 Node: Conventions921351 Node: The Environment923019 Node: Memory Leaks923800 Node: The Predicates924481 Node: An Example Session933062 Node: The DB-Spec934027 Node: Exporting and importing a database935789 Node: lib-between936641 Node: lib-codesio938507 Node: lib-file_systems941227 Node: lib-heaps954440 Node: lib-lists958876 Node: lib-logarr993576 Node: lib-objects994879 Node: obj-bas995719 Node: obj-bas-uobj996579 Node: obj-bas-def1001042 Node: obj-bas-ucl1003152 Node: obj-bas-la1004769 Node: obj-scl1005500 Node: obj-scl-scp1006359 Node: obj-scl-slt1007326 Node: obj-scl-meth1014098 Node: obj-inh1031551 Node: obj-inh-sih1032115 Node: obj-inh-mih1038146 Node: obj-inh-ask1045305 Node: obj-tcl1050961 Node: obj-tcl-stcl1052167 Node: obj-tcl-rtrm1053646 Node: obj-tcl-tce1055379 Node: obj-tech1058807 Node: obj-tech-syn1059264 Node: obj-tech-lim1061696 Node: obj-exp1063524 Node: obj-exp-send1065188 Node: obj-exp-put1066417 Node: obj-exp-get1067803 Node: obj-exp-class1069170 Node: obj-exp-class_ancestor1073633 Node: obj-exp-class_method1074030 Node: obj-exp-class_superclass1074947 Node: obj-exp-class_of1075354 Node: obj-exp-create1075828 Node: obj-exp-current_class1077570 Node: obj-exp-debug_message1077909 Node: obj-exp-define_method1078595 Node: obj-exp-descendant_of1079636 Node: obj-exp-destroy1080199 Node: obj-exp-direct_message1080876 Node: obj-exp-end_class1081845 Node: obj-exp-fetch_slot1082763 Node: obj-exp-inherit1083572 Node: obj-exp-instance_method1085018 Node: obj-exp-message1086220 Node: obj-exp-nodebug_message1086876 Node: obj-exp-pointer_object1087289 Node: obj-exp-store_slot1087894 Node: obj-exp-undefine_method1088814 Node: obj-exp-uninherit1089846 Node: obj-glo1091052 Node: lib-odbc1098650 Node: ODBC Overview1099232 Node: ODBC Examples1100007 Node: ODBC Example 11100308 Node: ODBC Example 21102058 Node: ODBC Example 31103094 Node: ODBC Datatypes1104105 Node: ODBC Reading1104342 Node: ODBC Writing1105167 Node: ODBC Exceptions1106113 Node: ODBC Predicates1108183 Node: lib-ordsets1117866 Node: lib-process1123246 Node: lib-queues1133672 Node: lib-random1140412 Node: lib-rem1143898 Node: lib-samsort1144910 Node: lib-sets1146814 Node: lib-sockets1154613 Node: lib-structs1163159 Node: str-fty1166122 Node: str-fty-dty1169482 Node: str-cft1170546 Node: str-cdf1170887 Node: str-afd1171757 Node: str-cas1173541 Node: str-nul1174469 Node: str-ifc1174978 Node: str-etr1176663 Node: str-tip1178962 Node: str-exa1180352 Node: lib-system1183426 Node: lib-terms1185527 Node: lib-timeout1197850 Node: lib-trees1199147 Node: lib-types1201559 Node: lib-ugraphs1205311 Node: lib-varnumbers1211286 Node: lib-wgraphs1213448 Node: lib-xml1219670 Node: lib-linda1223901 Node: lib-linda-server1226149 Node: lib-linda-client1228783 Node: lib-chr1232969 Node: CHR Introduction1233777 Node: CHR Syntax and Semantics1235275 Node: CHR Syntax1235502 Node: CHR Semantics1237337 Node: CHR in Prolog Programs1241541 Node: CHR Embedding in Prolog Programs1241824 Node: CHR Constraint Declaration1242210 Node: CHR Compilation1245936 Node: CHR Debugging1246606 Node: CHR Ports1247135 Node: CHR Tracing1248307 Node: CHR Debugging Predicates1249503 Node: CHR Examples1251368 Node: CHR Guidelines1253099 Node: lib-clpfd1254499 Node: CLPFD Intro1255356 Node: Referencing CLPFD1257990 Node: Acknowledgments CLPFD1258439 Node: CLPFD Interface1259306 Node: Posting Constraints1262756 Node: A Constraint Satisfaction Problem1263388 Node: Reified Constraints1265839 Node: Available Constraints1267239 Node: Arithmetic Constraints1268031 Node: Membership Constraints1271323 Node: Propositional Constraints1272434 Node: Combinatorial Constraints1273842 Node: User-Defined Constraints1338253 Node: Enumeration Predicates1339139 Node: Statistics Predicates1346755 Node: Answer Constraints1348217 Node: CLPFD Debugging1349476 Node: The Constraint System1350270 Node: Definitions1350563 Node: Pitfalls of Interval Reasoning1352337 Node: Defining Global Constraints1353268 Node: The Global Constraint Programming Interface1353734 Node: Reflection Predicates1359541 Node: FD Set Operations1361999 Node: A Global Constraint Example1365595 Node: Defining Primitive Constraints1368843 Node: Indexicals1370093 Node: Range Expressions1370965 Node: Term Expressions1373336 Node: Monotonicity of Indexicals1374622 Node: FD Predicates1375754 Node: Execution of Propagating Indexicals1382402 Node: Execution of Checking Indexicals1384367 Node: Goal Expanded Constraints1386311 Node: CLPFD Coexisting1387807 Node: CLPFD Example Programs1388516 Node: Send More Money1389053 Node: N Queens1389691 Node: Cumulative Scheduling1392964 Node: Syntax Summary1394653 Node: Syntax of Indexicals1394968 Node: Syntax of Arithmetic Expressions1400055 Node: Operator Declarations1401348 Node: lib-clpb1401942 Node: CLPB Introduction1402283 Node: CLPB Interface1404499 Node: CLPB Examples1405663 Node: CLPB Example 11405984 Node: CLPB Example 21406942 Node: CLPB Example 31407904 Node: CLPB Example 41409086 Node: lib-clpqr1410849 Node: CLPQR Introduction1411674 Node: CLPQR Referencing1412612 Node: CLPQR Acknowledging1413043 Node: CLPQR Interface1413702 Node: CLPQR Notational Conventions1414776 Node: CLPQR Solver Predicates1415704 Node: CLPQR Unification1424496 Node: CLPQR Feedback1426023 Node: CLPQR Linearity1426741 Node: CLPQR How Nonlinear Residues Are Made to Disappear1429117 Node: CLPQR Isolation Axioms1429781 Node: CLPQR Numerical Precision1431198 Node: CLPQR Projection1438790 Node: CLPQR Variable Ordering1440906 Node: CLPQR Turning Answers into Terms1442667 Node: CLPQR Projecting Inequalities1443255 Node: CLPQR Why Disequations1448464 Node: CLPQR Monash Examples1450775 Node: CLPQR MIP1451651 Node: CLPQR Implementation Architecture1454942 Node: CLPQR Fragments and Bits1455439 Node: CLPQR Bugs1456938 Node: lib-fdbg1457471 Node: FDBG Introduction1457819 Node: FDBG Concepts1458321 Node: FDBG Events1458945 Node: FDBG Labeling Levels1460181 Node: FDBG Visualizers1461599 Node: FDBG Names of Terms1462837 Node: FDBG Selectors1464091 Node: FDBG Name Auto-Generation1464645 Node: FDBG Legend1466017 Node: FDBG The fdbg_output Stream1467332 Node: FDBG Basics1467709 Node: FDBG Options1468558 Node: FDBG Naming Terms1471083 Node: FDBG Built-In Visualizers1471935 Node: FDBG Debugger Commands1475877 Node: FDBG Annotation1477267 Node: FDBG An Example Session1479238 Node: FDBG Advanced Usage1483759 Node: FDBG Customizing Output1484786 Node: FDBG Writing Visualizers1486819 Node: FDBG Writing Legend Printers1490513 Node: FDBG Showing Selected Constraints (simple version)1492654 Node: FDBG Showing Selected Constraints (advanced version)1494715 Node: FDBG Debugging Global Constraints1500454 Node: FDBG Code of the Built-In Visualizers1508429 Node: lib-zinc1510586 Node: Zinc Notes1511558 Node: FlatZinc1514289 Node: FlatZinc Exported Predicates1517568 Node: MiniZinc1531270 Node: MiniZinc Prerequisites1531877 Node: MiniZinc Exported Predicates1533227 Node: Zinc Errors1545805 Node: lib-pillow1548621 Node: lib-tcltk1550080 Node: Introduction (Tcl)1550501 Node: What Is Tcl/Tk?1551377 Node: What Is Tcl/Tk Good For?1552099 Node: What Is Tcl/Tks Relationship to SICStus Prolog?1554248 Node: A Quick Example of Tcl/Tk in Action1554740 Node: Outline of This Tutorial1559626 Node: Tcl1561800 Node: Syntax (Tcl)1562443 Node: Variables (Tcl)1568997 Node: Commands1570411 Node: What We Have Left Out (Tcl)1597363 Node: Tk1598217 Node: Widgets1599080 Node: Types of Widget1600168 Node: Widgets Hierarchies1601862 Node: Widget Creation1605170 Node: Geometry Managers1624374 Node: Event Handling1641739 Node: Miscellaneous1646908 Node: What We Have Left Out (Tk)1648513 Node: Queens Display1649098 Node: The Tcl/Tk Prolog Library1655901 Node: How it Works - An Overview1656730 Node: Basic Functions1659806 Node: Evaluation Functions1662864 Node: Event Functions1672933 Node: Servicing Tk Events1680047 Node: Passing Control to Tk1684473 Node: Housekeeping1684900 Node: Summary1686369 Node: Putting It All Together1689890 Node: Tcl The Master1692424 Node: Prolog The Master1701812 Node: Prolog And Tcl Interact through Prolog Event Queue1704993 Node: The Whole 8-Queens Example1710117 Node: Quick Reference1717553 Node: Command Format Summary1718179 Node: Predicates for Prolog to Interact with Tcl Interpreters1720539 Node: Predicates for Prolog to Interact with Tcl Interpreters with Tk Extensions1721700 Node: Commands for Tcl Interpreters to Interact with The Prolog System1725091 Node: Resources1725580 Node: Web Sites1726068 Node: Books1726307 Node: TclTk Manual Pages1727255 Node: Usenet News Groups1727586 Node: lib-gauge1727801 Node: lib-jasper1730257 Node: Jasper Overview1730815 Node: Getting Started1733076 Node: Calling Prolog from Java1733574 Node: Single Threaded Example1734616 Node: Multi Threaded Example1738071 Node: Another Multi Threaded Example (Prolog Top-Level)1741776 Node: Jasper Package Class Reference1747622 Node: Java Exception Handling1753881 Node: SPTerm and Memory1754885 Node: Lifetime of SPTerms and Prolog Memory1755656 Node: Preventing SPTerm Memory Leaks1758227 Node: Java Threads1760152 Node: The Jasper Library1762032 Node: Jasper Method Call Example1763640 Node: Jasper Library Predicates1766974 Node: Conversion between Prolog Arguments and Java Types1775109 Node: Global vs. Local References1782485 Node: Handling Java Exceptions1784710 Node: Deprecated Jasper API1788167 Node: Deprecated Argument Conversions1789033 Node: Deprecated Jasper Predicates1790571 Node: lib-prologbeans1791780 Node: PB Intro1792322 Node: PB Features1793542 Node: PB First Example1794711 Node: PB Prolog Server Interface1800112 Node: PB Java Client Interface1807466 Node: PB Java Examples1809159 Node: PB Ex Embedding1809718 Node: PB Ex Servers1810826 Node: PB Ex Tomcat1814775 Node: PB .NET Client Interface1817201 Node: PB .NET Examples1818708 Node: PB C# Examples1819166 Node: PB VB Example1820944 Node: lib-comclient1821700 Node: Preliminaries1822475 Node: Terminology1822835 Node: COM Client Predicates1825660 Node: COM Client Examples1830680 Node: lib-plunit1832759 Node: PlUnit Introduction1833148 Node: PlUnit A Unit Test Box1834313 Node: PlUnit Determinate Tests1840810 Node: PlUnit Nondeterminate Tests1841953 Node: PlUnit Tests Expected to Fail1842528 Node: PlUnit Tests Expected to Raise Exceptions1842996 Node: PlUnit Running the Test-Suite1843975 Node: PlUnit Tests and Production Systems1845904 Node: Prolog Reference Pages1847143 Node: mpg-ref1847523 Node: mpg-ref-ove1848010 Node: mpg-ref-mod1849309 Node: mpg-ref-cat1851151 Node: mpg-ref-aty1854476 Node: mpg-ref-aty-sim1855511 Node: mpg-ref-aty-ety1855904 Node: mpg-ref-exc1857887 Node: mpg-ref-oth1858791 Node: mpg-top1859267 Node: mpg-top-all1860848 Node: mpg-top-ari1861390 Node: mpg-top-cio1862443 Node: mpg-top-con1864299 Node: mpg-top-dat1866086 Node: mpg-top-deb1867820 Node: mpg-top-est1870806 Node: mpg-top-fnm1871828 Node: mpg-top-fsh1872338 Node: mpg-top-fin1874353 Node: mpg-top-gru1874908 Node: mpg-top-hok1875539 Node: mpg-top-lis1878624 Node: mpg-top-lod1879222 Node: mpg-top-mem1881934 Node: mpg-top-msg1882364 Node: mpg-top-mod1885378 Node: mpg-top-sta1886286 Node: mpg-top-eqs1887663 Node: mpg-top-tcm1888518 Node: mpg-top-tha1889208 Node: mpg-top-tio1891515 Node: mpg-top-typ1893165 Node: mpg-bpr1894094 Node: mpg-ref-abolish1903897 Node: mpg-ref-abort1907782 Node: mpg-ref-absolute_file_name1908812 Ref: mpg-ref-absolute_file_name-Footnote-11924886 Node: mpg-ref-add_breakpoint1924998 Node: mpg-ref-and1925553 Node: mpg-ref-append1926199 Node: mpg-ref-arg1928669 Node: mpg-ref-ask_query1929382 Node: mpg-ref-assert1932755 Node: mpg-ref-asserta1935113 Node: mpg-ref-assertz1937463 Node: mpg-ref-at_end_of_line1940053 Node: mpg-ref-at_end_of_stream1941072 Node: mpg-ref-atom1942805 Node: mpg-ref-atom_chars1943299 Node: mpg-ref-atom_codes1944434 Node: mpg-ref-atom_concat1945587 Node: mpg-ref-atom_length1946703 Node: mpg-ref-atomic1947284 Node: mpg-ref-bagof1947808 Node: mpg-ref-bb_delete1948625 Node: mpg-ref-bb_get1949218 Node: mpg-ref-bb_put1949775 Node: mpg-ref-bb_update1950542 Node: mpg-ref-block1951428 Node: mpg-ref-break1953449 Node: mpg-ref-breakpoint_expansion1954865 Node: mpg-ref-byte_count1955450 Node: mpg-ref-call1956406 Node: mpg-ref-call_cleanup1957446 Node: mpg-ref-call_residue_vars1959547 Node: mpg-ref-callable1960503 Node: mpg-ref-catch1961029 Node: mpg-ref-char_code1961622 Node: mpg-ref-char_conversion1962431 Node: mpg-ref-character_count1963577 Node: mpg-ref-clause1964844 Node: mpg-ref-close1968307 Node: mpg-ref-compare1970566 Node: mpg-ref-compile1971631 Node: mpg-ref-compound1972306 Node: mpg-ref-consult1972817 Node: mpg-ref-copy_term1973494 Node: mpg-ref-coverage_data1976381 Node: mpg-ref-create_mutable1977681 Node: mpg-ref-current_atom1978173 Node: mpg-ref-current_breakpoint1978913 Node: mpg-ref-current_char_conversion1979849 Node: mpg-ref-current_input1980353 Node: mpg-ref-current_key1980893 Node: mpg-ref-current_module1981738 Node: mpg-ref-current_op1983509 Node: mpg-ref-current_output1984528 Node: mpg-ref-current_predicate1985069 Node: mpg-ref-current_prolog_flag1987061 Node: mpg-ref-current_stream1987681 Node: mpg-ref-cut1988785 Node: mpg-ref-db_reference1989232 Node: mpg-ref-debug1989836 Node: mpg-ref-debugger_command_hook1990472 Node: mpg-ref-debugging1991044 Node: mpg-ref-dif1993173 Node: mpg-ref-disable_breakpoints1993734 Node: mpg-ref-discontiguous1994324 Node: mpg-ref-display1995132 Node: mpg-ref-do1995873 Node: mpg-ref-dynamic1998400 Node: mpg-ref-enable_breakpoints1999246 Node: mpg-ref-ensure_loaded1999835 Node: mpg-ref-equal_to2000739 Node: mpg-ref-erase2001403 Node: mpg-ref-error_exception2002384 Node: mpg-ref-execution_state2002872 Node: mpg-ref-exists2003515 Node: mpg-ref-expand_term2004485 Node: mpg-ref-fail2005987 Node: mpg-ref-false2006229 Node: mpg-ref-file_search_path2006480 Node: mpg-ref-findall2009617 Node: mpg-ref-float2012131 Node: mpg-ref-flush_output2012548 Node: mpg-ref-foreign2013430 Node: mpg-ref-foreign_resource2015271 Node: mpg-ref-format2016829 Node: mpg-ref-freeze2027808 Node: mpg-ref-frozen2028410 Node: mpg-ref-functor2029160 Node: mpg-ref-garbage_collect2030937 Node: mpg-ref-garbage_collect_atoms2031958 Node: mpg-ref-generate_message2032596 Node: mpg-ref-generate_message_hook2035656 Node: mpg-ref-get_byte2037975 Node: mpg-ref-get_char2038705 Node: mpg-ref-get_code2039415 Node: mpg-ref-get_mutable2040094 Node: mpg-ref-goal_expansion2040636 Node: mpg-ref-goal_source_info2043578 Node: mpg-ref-greater_than2045215 Node: mpg-ref-ground2045909 Node: mpg-ref-halt2046647 Node: mpg-ref-if2047517 Node: mpg-ref-if_then2048606 Node: mpg-ref-include2049820 Node: mpg-ref-initialization2051224 Node: mpg-ref-instance2052871 Node: mpg-ref-integer2054109 Node: mpg-ref-is2054530 Node: mpg-ref-keysort2055890 Node: mpg-ref-leash2057166 Node: mpg-ref-length2058974 Node: mpg-ref-less_than2060315 Node: mpg-ref-library_directory2061080 Node: mpg-ref-line_count2062426 Node: mpg-ref-line_position2063626 Node: mpg-ref-listing2064712 Node: mpg-ref-load_files2065954 Node: mpg-ref-load_foreign_resource2071018 Node: mpg-ref-member2073836 Node: mpg-ref-memberchk2074815 Node: mpg-ref-message_hook2075610 Node: mpg-ref-meta_predicate2077113 Node: mpg-ref-mode2080005 Node: mpg-ref-module2080345 Node: mpg-ref-multifile2082312 Node: mpg-ref-mutable2084594 Node: mpg-ref-name2084952 Node: mpg-ref-nl2086752 Node: mpg-ref-nodebug2087480 Node: mpg-ref-nonmember2087761 Node: mpg-ref-nonvar2088557 Node: mpg-ref-nospy2089086 Node: mpg-ref-nospyall2089616 Node: mpg-ref-not_equal_to2089953 Node: mpg-ref-not_greater_than2090625 Node: mpg-ref-not_less_than2091611 Node: mpg-ref-not_provable2092308 Node: mpg-ref-not_unifiable2093506 Node: mpg-ref-notrace2093938 Node: mpg-ref-nozip2094221 Node: mpg-ref-number2094496 Node: mpg-ref-number_chars2094917 Node: mpg-ref-number_codes2096141 Node: mpg-ref-numbervars2097847 Node: mpg-ref-on_exception2099342 Node: mpg-ref-once2100308 Node: mpg-ref-op2100780 Node: mpg-ref-open2102450 Node: mpg-ref-open_null_stream2113025 Node: mpg-ref-or2113739 Node: mpg-ref-otherwise2115157 Node: mpg-ref-peek_byte2115500 Node: mpg-ref-peek_char2116549 Node: mpg-ref-peek_code2117785 Node: mpg-ref-phrase2119023 Node: mpg-ref-portray2121613 Node: mpg-ref-portray_clause2123094 Node: mpg-ref-portray_message2125151 Node: mpg-ref-predicate_property2125975 Node: mpg-ref-print2129556 Node: mpg-ref-print_coverage2130324 Node: mpg-ref-print_message2132448 Node: mpg-ref-print_message_lines2135387 Node: mpg-ref-print_profile2137037 Node: mpg-ref-profile_data2139217 Node: mpg-ref-profile_reset2140863 Node: mpg-ref-prolog_flag2141191 Node: mpg-ref-prolog_load_context2143524 Node: mpg-ref-prompt2144220 Node: mpg-ref-public2145937 Node: mpg-ref-put_byte2146281 Node: mpg-ref-put_char2147024 Node: mpg-ref-put_code2147750 Node: mpg-ref-query_abbreviation2148521 Node: mpg-ref-query_class2150275 Node: mpg-ref-query_class_hook2151690 Node: mpg-ref-query_hook2152626 Node: mpg-ref-query_input2154193 Node: mpg-ref-query_input_hook2154907 Node: mpg-ref-query_map2155648 Node: mpg-ref-query_map_hook2156487 Node: mpg-ref-raise_exception2157369 Node: mpg-ref-read2157840 Node: mpg-ref-read_line2159529 Node: mpg-ref-read_term2160282 Node: mpg-ref-reconsult2164183 Node: mpg-ref-recorda2164677 Node: mpg-ref-recorded2165586 Node: mpg-ref-recordz2166564 Node: mpg-ref-remove_breakpoints2167481 Node: mpg-ref-repeat2168065 Node: mpg-ref-restore2170778 Node: mpg-ref-retract2172188 Node: mpg-ref-retractall2174204 Node: mpg-ref-save_files2175870 Node: mpg-ref-save_modules2177369 Node: mpg-ref-save_predicates2178842 Node: mpg-ref-save_program2180329 Node: mpg-ref-see2182357 Node: mpg-ref-seeing2183873 Node: mpg-ref-seek2185805 Node: mpg-ref-seen2188783 Node: mpg-ref-set_input2189238 Node: mpg-ref-set_module2189706 Node: mpg-ref-set_output2190624 Node: mpg-ref-set_prolog_flag2191110 Node: mpg-ref-set_stream_position2191886 Node: mpg-ref-setof2193210 Node: mpg-ref-simple2195442 Node: mpg-ref-skip_byte2195884 Node: mpg-ref-skip_char2196683 Node: mpg-ref-skip_code2197396 Node: mpg-ref-skip_line2198147 Node: mpg-ref-sort2198775 Node: mpg-ref-source_file2199565 Node: mpg-ref-spy2201070 Node: mpg-ref-statistics2202349 Node: mpg-ref-stream_code2204048 Node: mpg-ref-stream_position2205257 Node: mpg-ref-stream_position_data2206580 Node: mpg-ref-stream_property2207395 Node: mpg-ref-sub_atom2211674 Node: mpg-ref-tell2213127 Node: mpg-ref-telling2214659 Node: mpg-ref-term_equal_to2216631 Node: mpg-ref-term_expansion2217249 Node: mpg-ref-term_greater_than2220117 Node: mpg-ref-term_less_than2220512 Node: mpg-ref-term_not_equal_to2220905 Node: mpg-ref-term_not_greater_than2221280 Node: mpg-ref-term_not_less_than2221678 Node: mpg-ref-term_unify_decided2222072 Node: mpg-ref-throw2222559 Node: mpg-ref-told2222981 Node: mpg-ref-trace2223438 Node: mpg-ref-trimcore2224159 Node: mpg-ref-true2225254 Node: mpg-ref-unify2225516 Node: mpg-ref-unify_with_occurs_check2226000 Node: mpg-ref-univ2226481 Node: mpg-ref-unknown2227904 Node: mpg-ref-unknown_predicate_handler2228986 Node: mpg-ref-unload_foreign_resource2230810 Node: mpg-ref-update_mutable2231635 Node: mpg-ref-use_module2232226 Node: mpg-ref-var2236885 Node: mpg-ref-volatile2237373 Node: mpg-ref-when2238027 Node: mpg-ref-write2238915 Node: mpg-ref-write_canonical2239588 Node: mpg-ref-write_term2240821 Node: mpg-ref-writeq2245370 Node: mpg-ref-zip2246048 Node: C Reference Pages2246814 Node: cpg-rve2247173 Node: cpg-top2248343 Node: cpg-top-err2249045 Node: cpg-top-cio2249269 Node: cpg-top-exc2249932 Node: cpg-top-fst2250379 Node: cpg-top-fin2250961 Node: cpg-top-main2254630 Node: cpg-top-mem2255438 Node: cpg-top-sig2256475 Node: cpg-top-tic2256785 Node: cpg-top-typ2257137 Node: cpg-bif2257958 Node: cpg-ref-SP_atom_from_string2262929 Node: cpg-ref-SP_atom_length2263510 Node: cpg-ref-SP_calloc2264151 Node: cpg-ref-SP_close_query2264767 Node: cpg-ref-SP_compare2265660 Node: cpg-ref-SP_cons_functor2266228 Node: cpg-ref-SP_cons_functor_array2267246 Node: cpg-ref-SP_cons_list2268256 Node: cpg-ref-SP_create_stream2269030 Node: cpg-ref-SP_cut_query2272559 Node: cpg-ref-SP_define_c_predicate2273508 Node: cpg-ref-SP_deinitialize2276603 Node: cpg-ref-SP_error_message2277354 Node: cpg-ref-SP_event2277890 Node: cpg-ref-SP_exception_term2282002 Node: cpg-ref-SP_expand_file_name2282594 Node: cpg-ref-SP_fail2285308 Node: cpg-ref-SP_fclose2285910 Node: cpg-ref-SP_flush_output2288771 Node: cpg-ref-SP_fopen2290355 Node: cpg-ref-SP_foreign_stash2293168 Node: cpg-ref-SP_fprintf2295134 Node: cpg-ref-SP_free2296557 Node: cpg-ref-SP_get_address2297105 Node: cpg-ref-SP_get_arg2297751 Node: cpg-ref-SP_get_atom2298502 Node: cpg-ref-SP_get_byte2299136 Node: cpg-ref-SP_get_code2300035 Node: cpg-ref-SP_get_current_dir2300952 Node: cpg-ref-SP_get_dispatch2301594 Node: cpg-ref-SP_get_float2302610 Node: cpg-ref-SP_get_functor2303257 Node: cpg-ref-SP_get_integer2304335 Node: cpg-ref-SP_get_integer_bytes2305060 Node: cpg-ref-SP_get_list2307627 Node: cpg-ref-SP_get_list_codes2308391 Node: cpg-ref-SP_get_list_n_bytes2309282 Node: cpg-ref-SP_get_list_n_codes2310529 Node: cpg-ref-SP_get_number_codes2311925 Node: cpg-ref-SP_get_stream_counts2312846 Node: cpg-ref-SP_get_stream_user_data2316758 Node: cpg-ref-SP_get_string2319617 Node: cpg-ref-SP_getenv2320363 Node: cpg-ref-SP_initialize2321221 Node: cpg-ref-SP_is_atom2324095 Node: cpg-ref-SP_is_atomic2324598 Node: cpg-ref-SP_is_compound2325123 Node: cpg-ref-SP_is_float2325658 Node: cpg-ref-SP_is_integer2326169 Node: cpg-ref-SP_is_list2326893 Node: cpg-ref-SP_is_number2327442 Node: cpg-ref-SP_is_variable2327956 Node: cpg-ref-SP_load2328477 Node: cpg-ref-SP_load_sicstus_run_time2328963 Node: cpg-ref-SP_malloc2331023 Node: cpg-ref-SP_mutex_lock2331521 Node: cpg-ref-SP_mutex_unlock2332607 Node: cpg-ref-SP_new_term_ref2333283 Node: cpg-ref-SP_next_solution2333754 Node: cpg-ref-SP_next_stream2334820 Node: cpg-ref-SP_open_query2335999 Node: cpg-ref-SP_pred2336887 Node: cpg-ref-SP_predicate2337575 Node: cpg-ref-SP_printf2338450 Node: cpg-ref-SP_put_address2338842 Node: cpg-ref-SP_put_atom2339496 Node: cpg-ref-SP_put_byte2340107 Node: cpg-ref-SP_put_bytes2341084 Node: cpg-ref-SP_put_code2342281 Node: cpg-ref-SP_put_codes2343270 Node: cpg-ref-SP_put_encoded_string2344562 Node: cpg-ref-SP_put_float2345767 Node: cpg-ref-SP_put_functor2346381 Node: cpg-ref-SP_put_integer2347372 Node: cpg-ref-SP_put_integer_bytes2347998 Node: cpg-ref-SP_put_list2349169 Node: cpg-ref-SP_put_list_codes2349788 Node: cpg-ref-SP_put_list_n_bytes2350585 Node: cpg-ref-SP_put_list_n_codes2351511 Node: cpg-ref-SP_put_number_codes2352569 Node: cpg-ref-SP_put_string2353262 Node: cpg-ref-SP_put_term2353924 Node: cpg-ref-SP_put_variable2354558 Node: cpg-ref-SP_query2355144 Node: cpg-ref-SP_query_cut_fail2356160 Node: cpg-ref-SP_raise_exception2357169 Node: cpg-ref-SP_read_from_string2357900 Node: cpg-ref-SP_realloc2360116 Node: cpg-ref-SP_register_atom2361016 Node: cpg-ref-SP_restore2361584 Node: cpg-ref-SP_set_argv2362068 Node: cpg-ref-SP_set_current_dir2364202 Node: cpg-ref-SP_set_memalloc_hooks2364970 Node: cpg-ref-SP_set_user_stream_hook2370538 Node: cpg-ref-SP_set_user_stream_post_hook2371751 Node: cpg-ref-SP_signal2373169 Node: cpg-ref-SP_strdup2375842 Node: cpg-ref-SP_string_from_atom2376416 Node: cpg-ref-SP_term_type2377055 Node: cpg-ref-SP_unget_byte2377704 Node: cpg-ref-SP_unget_code2378728 Node: cpg-ref-SP_unify2379767 Node: cpg-ref-SP_unregister_atom2380479 Node: cpg-ref-SU_initialize2381062 Node: cpg-ref-user_close2381982 Node: cpg-ref-user_flush_output2385096 Node: cpg-ref-user_read2386931 Node: cpg-ref-user_write2389763 Node: Command Reference Pages2392635 Node: too-sicstus2393638 Node: too-spdet2397657 Node: too-spld2398476 Node: too-splfr2415013 Node: too-splm2421628 Node: too-spxref2422662 Node: References2424247 Node: Predicate Index2431858 Node: Keystroke Index2543428 Node: Book Index2550931  End Tag Table