Jun 19, 2019. SWI-Prolog extensions and incompatibilities wrt. Traditional Prolog are described in extensions. SWI-Prolog 8.2 notably brings much of the advanced tabling support of XSB to SWI-Prolog: Well Founded Semantics, restraints (bounded rationality), incremental tabling and shared tabling. It also makes rational numbers primary citizens. SWI-Prolog offers a comprehensive Free Software Prolog environment, which features fast compilation, robust and free of memory leaks, unbounded integer and rational number arithmetic based on GMP.
- Download
The program can not be downloaded: the download link is not available.External download links have become invalid for an unknown reason.Sorry, but we cannot ensure safeness of third party websites.
Often downloaded with
- ProLogsA training log can be a powerful tool in helping to attain personal or athletic...$29.95DOWNLOAD
- Prolog.NET WorkbenchProlog.NET Workbench is a .NET-base implementation of Prolog based on the...DOWNLOAD
- Prolog Digital EditionProlog Digital Edition is a cross-platform application that enables you to...DOWNLOAD
- Wine LibraryWine Library is a wine cellar management program designed to help you manage...$35DOWNLOAD
- Win PDF EditorWin PDF Editor is a Windows PDF editing software product that lets you modify...$29.95DOWNLOAD
Swi Prolog Tutorial
Swi Prolog Online
IDE