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
USERS
Semantic web
Students
Researchers
Commercial users
Dog food
Is SWIPL right for me?
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