The SWI-Prolog web-site has been moved to

http://www.swi-prolog.org/

If your browser supports it, you will be redirected to the new home in 5 seconds.

Please update your bookmarks and possibly links from web-pages you manage and inform maintainers of pages with references to the old SWI-Prolog site.

Please wait ...