SWI-Prolog
Did you know ...
Search Documentation:
Robust, mature, free.
Prolog for the real world.
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
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
View changes
Sandbox
Wiki help
All tags
SWI-Prolog offers a comprehensive free Prolog environment.
Since its start in 1987, SWI-Prolog development has been driven
by the needs of real world applications. SWI-Prolog is widely
used in research and education as well as commercial applications.
Join over a million users who have downloaded SWI-Prolog.
more ...
Download SWI-Prolog
Get Started
Try SWI-Prolog online (SWISH)
🔥 Run SWI-Tinker in your browser
Star
Sponsor