AThe SWI-Prolog library

This chapter documents the SWI-Prolog library. As SWI-Prolog provides auto-loading, there is little difference between library predicates and built-in predicates. Part of the library is therefore documented in the rest of the manual. Library predicates differ from built-in predicates in the following ways.

The documentation of the library is just started. Material from the standard packages should be moved here, some material from other parts of the manual should be moved too and various libraries are not documented at all.


Section Index


A.1library( lists ): List Manipulation
A.1.1Set Manipulation
A.2library( ordsets ): Ordered Set Manipulation
A.3library( assoc ): Association lists
A.4library( ugraphs ): Unweighted Graphs
A.5library( nbset ): Non-backtrackable set
A.6library( gensym ): Generate unique identifiers
A.7library( check ): Elementary completeness checks
A.8library( debug ): Some reusable code to help debugging applications
A.9library( readutil ): Reading lines, streams and files
A.10library( netscape ): Activating your Web-browser
A.11library( registry ): Manipulating the Windows registry
A.12library( url ): Analysing and constructing URL
A.13library( clp/bounds ): Integer Bounds Constraint Solver
A.13.1Constraints
A.13.2Constraint Implication and Reified Constraints
A.13.3Example 1: Send+More=Money
A.13.4Example 2: Using tuples_in for a train schedule
A.13.5SICStus clp(FD) compatibility
A.14library( clpqr ): Constraint Logic Programming over Rationals and Reals
A.14.1Solver predicates
A.14.2Syntax of the predicate arguments
A.14.3Use of unification
A.14.4Non-linear constraints
A.15library( clp/clp_distinct ): Weak arc consistent `all_distinct' constraint
A.15.1Example 1
A.15.2Example 2
A.15.3Example 3
A.16library( simplex ): Solve linear programming problems
A.16.1Example 1
A.16.2Example 2
A.16.3Example 3
A.17library( prologxref ): Cross-reference data collection library
A.17.1Extending the library