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: (file:line): Undefined procedure: pce_begin_class/2
ERROR: I/O error in write on stream XXX (Encoding cannot represent character)
FATAL ERROR: Could not find system resources
Library not loaded: /usr/X11/lib/libX11.6.dylib
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
GnuEmacs.txt
Using PceEmacs
How to ...
Make a log of the session?
Read Prolog case data from a file?
Can I make an executable?
Using SWI-Prolog for web services
Can I replace a LAMP stack with SWI-Prolog
Using SWI-Prolog on MS-Windows
Cut/copy/paste from the plwin.exe console
Visual C runtime issues
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?
Can I compile my whole project inc. kernel to C?
Using SWI-Prolog with Java
Is there a Java interface to Prolog?
About datatypes
Representation and printing of floating point numbers
Learn more about Prolog
Books and Web Material on Prolog