News: New edition of the SWI-Prolog manual as bookSearch Documentation:
SWI-Prolog owl logoRobust, mature, free. Prolog for the real world.
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.
Download SWI-Prolog
Get Started
Is SWI-Prolog Right For My Project?
 
SEARCH DOCUMENTATION: