A The 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.1 Library aggregate -- Aggregation operators on backtrackable predicates
A.1.1 Acknowledgements
A.2 Library apply -- Apply predicates on a list
A.3 library( assoc ): Association lists
A.4 library( broadcast ): Broadcast and receive event notifications
A.5 Library charsio -- I/O on Lists of Character Codes
A.6 library( check ): Elementary completeness checks
A.7 Library clpfd -- Constraint Logic Programming over Finite Domains
A.8 library( clpqr ): Constraint Logic Programming over Rationals and Reals
A.8.1 Solver predicates
A.8.2 Syntax of the predicate arguments
A.8.3 Use of unification
A.8.4 Non-linear constraints
A.9 Library csv -- Process CSV (Comman-Separated Values) data
A.10 library( debug ): Some reusable code to help debugging applications
A.11 library( gensym ): Generate unique identifiers
A.12 library( lists ): List Manipulation
A.12.1 Set Manipulation
A.13 library( nbset ): Non-backtrackable set
A.14 library( www_browser ): Activating your Web-browser
A.15 Library option -- Option list processing
A.16 library( ordsets ): Ordered Set Manipulation
A.17 Library pairs -- Operations on key-value lists
A.18 library( pio ): Pure I/O
A.18.1 Library pure_input -- Pure Input from files
A.19 library( prologxref ): Cross-reference data collection library
A.19.1 Extending the library
A.20 library( readutil ): Reading lines, streams and files
A.21 library( record ): Access named fields in a term
A.22 library( registry ): Manipulating the Windows registry
A.23 library( simplex ): Solve linear programming problems
A.23.1 Example 1
A.23.2 Example 2
A.23.3 Example 3
A.24 Library thread_pool -- Resource bounded thread management
A.25 library( ugraphs ): Unweighted Graphs
A.26 Library url -- Analysing and constructing URL