Did you know ...
Search Documentation:
The SWI-Prolog FAQ
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
Edit this page
View changes
Sandbox
Wiki help
All tags
Getting started
Getting started quickly (from the manual)
Initialising and Managing a Prolog project (from the manual)
How do I load a program?
How do I load a file from the library?
Help ...
Prolog writes [x, y, z|...], I want the whole answer
Where is the reconsult/1 predicate?
Graphical tracer does not show the correct location of calls
Common error messages and what to do
ERROR: No permission to modify static_procedure
ERROR: Undefined procedure: name/arity
ERROR: Undefined procedure: (:-)/1|(:-)/2|(?-)/1
Warning: Clauses of (-)/2 are not together in the source-file
Warning: (file:line) Redefined static procedure: name/arity
Warning: (file:line) Singleton variables: List
ERROR: I/O error in write on stream XXX (Encoding cannot represent character)
FATAL ERROR: Could not find system resources
Customising SWI-Prolog
Site and personal initialisation
How do I enlarge the default stacks?
Controlling colored output on the terminal
How do I change the fonts in PceEmacs and the debugger?
I want normal ^X, ^C, ^V, ^S, ^P, etc.
What else can be customised?
Editing
Select an editor
Using SWI-Prolog with GNU Emacs
Using PceEmacs
How to ...
Make a log of the session?
Read Prolog case data from a file?
Create an executable from my Prolog source?
Create a
swipl
command line extension (
app
)
Deal with modules
Using SWI-Prolog for web services
Implementation a REST API
Can I replace a LAMP stack with SWI-Prolog?
Using SWI-Prolog on MS-Windows
Cut/copy/paste from the plwin.exe console
Using SWI-Prolog with C/C++
Where are SWI-Prolog.h, libswipl.{lib,dll,a,so}?
Is there a true C++ binding?
Where do I find examples mixing C and Prolog?
Other language interfaces
JPL: the interface to Java
SWI-Prolog Python interfaces
SWI-Prolog Rust interface
Learn more about Prolog
Books and Web Material on Prolog