Sicstus Prolog User Manual in progress

Introduction acknowledgment 1. symbol conventions 1.1 keyboard character 1.2 mode specification 1.3 Development and operation system 1.4 function prototype 1.5 compliant with ISO Standard 2. Vocabulary 3. How to Run prolog3.1 getting started 3.2 read Program 3.3 insert 3.4 query and command 3.5 syntax error 3.6 undefined predicate 3.7 program execution and interrupt 3.8 exit from top layer 3.9 nested execution rest 3.10 save and restore program status 3.11 sicstus Prolog ide3.12 emacs interface 4. PROLOG Language 4.1 syntax 4.2 semantics 4.3 loader 4.4 save and load the prolog database 4.5 files and directories 4.6 Input and Output 4.7 arithmetic 4.8 Note Terms 4.9 program status outlook 4.10 use memory and garbage collection 4.11 module 4.12 modify Database 4.13 settings and bag one goal: collect solution 4.14 syntax rule 4.15 errors and exceptions 4.16 messages and query 4.17 other topics 5. debugging 5.1 process box Control Flow Model 5.2 Basic Debugging predicate 5.3 plain spypoints5.4 debugging information format 5.5 commands during debugging 5.6 advanced debugging-Introduction 5.7 breakpoint processing predicate 5.8 breakpoint processing 5.9 Breakpoint condition 5.10 consultation during debugging 5.11 capture exceptions 5.12 predicate summary 6. Mixed use of C/C ++ and prolog6.1 note ?? Purpose 6.2 call c6.3 from Prolog call C ++ 6.4 support function 6.5 call prolog6.6 sicstus stream 6.7 independent Executable File 6.8 mixed use of C and Prolog example 6.9 debug run system 7. net and Java interfaces 8. in a process, a multiple of 8 sicstus run time of 8.1 in Java 8.1 multi sicstus run time of 8.2 multi sicstus run time of 8.3 foreign resources and multiple sicstus run time of more than 8.4 run time and topic 9. compile efficient program 9.1 overview 9.2 execution analysis 9.3 coverage analysis 9.4 "cut" 9.5 index 9.6 items deterministic detection 9.7 deterministic check 9.8 final call optimization 9.9 building and demolition clause 9.10 conditions and separation 9.11 programming example 9.12 cross reference 10. prolog library 10.1 an aggregate operator (aggregate Library) for database style queries 10.2 Association list (assoc Library) 10.3 attributes variables (ATTS Library) 10.4 AVL Tree (AVL Library) 10.5 package and multi-replica set (bags database) 10.6 terms external store (Berkeley dB) (bdb database) 10.7 generate INTEGER (between database) 10.8 I/O charactersCode List (codesio Library) 10.9 access file and directory Library (file_systems Library) 10.10 heaps database 10.11 List Operation (lists Library) 10.12 Array Operation (logarr Library) 10.13 object package (Objects library) 10.14 ODBC interface library (ODBC Library) 10.15 ordered set operation (ordsets Library) 10.16 process tool (process Library) 10.17 queue operation (queues Library) 10.18 random number generator (random library) 10.19 Rem Algorithm (REM Library) 10.20 General sorting library (samsort Library) 10.21 unordered set operations (sets Library) 10.22 socket I/O (Sockets Library) 10.23 structure package (structs Library) 10.24 Operating System Tool (System Database) 10.25 entry tool (terms database) 10.26 Finite Element call of execution time (timeout database) 10.27 updatable binary tree (trees database) 10.28 type check (types Library) 10.29 unweighted graph operation (ugraphs Library) 10.30 inverse numbervars/3 (varnumbers Library) 10.31 Weighted Graph operation Library (wgraphs Library) 10.32 parse and generate XML library (XML library) 10.33 Process Communication (Linda/[server, client]) 10.34 constraint processing rules (CHR Library) 10.35 constraint logic programming for Finite Fields (clpfd Library) 10.36 constraint logic programming through a Boolean database (clpb database) 10.37 rational number or real number constraint logic programming ([clpq, clpr] database) 10.38 finite field constraint debugger (fdbg database) 10.39 zinc interface (zinc Library) 10.40 pillow web programming library (pillow Library) 10.41 Tcl/tk interface (tcktk Library) 10.42 gauge Analysis Tool (gauge Library) 10.43 Jasper interface (Jasper Library) 10.44 prologbeans interface (prologbeans Library) 10.45 COM Client (comclient Library) 10.46 plunit interface (plunit Library) 11 Prolog reference page 11.1 read reference page 11.2 Local List Prolog built-in plug-in 11.3 built-in predicate 12 C reference page 12.1 return values and error information 12.2 Local List of C functions 12.3 API function 13 command reference page 13.1 sicstus-sicstus PROLOG Language Development System 13.2 spdet-deterministic check 13.3 spld-sicstus Prolog Application Builder 13.4 splfr-sicstus Prolog external resource linker 13.5 SPLM-sicstus Prolog License Manager 13.6 spxref-cross-reference index of the predicate