Did you know ...
Search Documentation:
Summary
HOME
DOWNLOAD
SWI-Prolog
Sources/building
Docker images
Add-ons
Browse GIT
DOCUMENTATION
Manual
Packages
FAQ
Command line
PlDoc
Bluffers
▶
Prolog syntax
PceEmacs
HTML generation
License
Publications
Rev 7 Extensions
TUTORIALS
Beginner
▶
Getting started
Learn Prolog Now!
Simply Logical
Debugger
Development tools
Advanced
▶
Modules
Grammars (DCGs)
clp(fd)
Printing messages
PlDoc
Web applications
▶
Web applications
Let's Encrypt!
Pengines
Semantic web
▶
ClioPatria
RDF namespaces
Graphics
▶
XPCE
GUI options
Machine learning
▶
Probabilistic Logic Programming
External collections
▶
Meta level tutorials
For packagers
▶
Linux packages
COMMUNITY
IRC
Forum & mailing list
Blog
News
Report a bug
Submit a patch
Submit an add-on
Roadmap (on GitHub)
External links
Contributing
Code of Conduct
Contributors
SWI-Prolog items
COMMERCIAL
WIKI
Login
View changes
Sandbox
Wiki help
All tags
Documentation
Reference manual
Introduction
Overview
Initialising and Managing a Prolog Project
Built-in Predicates
SWI-Prolog extensions
Modules
Tabled execution (SLG resolution)
Constraint Logic Programming
CHR: Constraint Handling Rules
Multithreaded applications
Coroutining using Prolog engines
Foreign Language Interface
Using SWI-Prolog in your browser (WASM)
Deploying applications
Packs: community add-ons
The SWI-Prolog library
Hackers corner
Compatibility with other Prolog dialects
Glossary of Terms
SWI-Prolog License Conditions and Tools
Summary
Predicates
Library predicates
Arithmetic Functions
Operators
Bibliography
Packages
F
Summary
Section Index
F.1
Predicates
F.2
Library predicates
F.2.1
library(aggregate)
F.2.2
library(ansi_term)
F.2.3
library(apply)
F.2.4
library(assoc)
F.2.5
library(broadcast)
F.2.6
library(charsio)
F.2.7
library(check)
F.2.8
library(clpb)
F.2.9
library(clpfd)
F.2.10
library(clpqr)
F.2.11
library(csv)
F.2.12
library(dcgbasics)
F.2.13
library(dcghighorder)
F.2.14
library(debug)
F.2.15
library(dicts)
F.2.16
library(error)
F.2.17
library(fastrw)
F.2.18
library(explain)
F.2.19
library(help)
F.2.20
library(gensym)
F.2.21
library(heaps)
F.2.22
library(increval)
F.2.23
library(intercept)
F.2.24
library(iostream)
F.2.25
library(listing)
F.2.26
library(lists)
F.2.27
library(macros)
F.2.28
library(main)
F.2.29
library(occurs)
F.2.30
library(option)
F.2.31
library(optparse)
F.2.32
library(ordsets)
F.2.33
library(persistency)
F.2.34
library(portraytext)
F.2.35
library(predicate_options)
F.2.36
library(prologcoverage)
F.2.37
library(prologdebug)
F.2.38
library(prologjiti)
F.2.39
library(prologpack)
F.2.40
library(prologversions)
F.2.41
library(prologtrace)
F.2.42
library(prologxref)
F.2.43
library(pairs)
F.2.44
library(pio)
F.2.44.1
library(pure_input)
F.2.45
library(random)
F.2.46
library(rbtrees)
F.2.47
library(readutil)
F.2.48
library(record)
F.2.49
library(registry)
F.2.50
library(rwlocks)
F.2.51
library(settings)
F.2.52
library(simplex)
F.2.53
library(statistics)
F.2.54
library(terms)
F.2.55
library(ugraphs)
F.2.56
library(url)
F.2.57
library(www_browser)
F.2.58
library(solution_sequences)
F.2.59
library(thread)
F.2.60
library(thread_pool)
F.2.61
library(varnumbers)
F.2.62
library(yall)
F.3
Arithmetic Functions
F.4
Operators