You are here: Home > Scripts > Scientific/Engineering > SWI-Prolog

SWI-Prolog 5.7.12

SWI-Prolog is a Scientific/Engineering tool for Scripts, by SWI-Prolog. It's useful logic programming purposes, artificial intelligence and computational linguistics.

Run on OS:
Probably All
File type:
File size:
Updated on:
Apr 23, 2012
Check Reviews
Softmenu rating: 6/10

SWI-Prolog 5.7.12 Reviews - by Softmenu Editor

It is one of the best Scientific/Engineering software that I have ever used for Scripts.


Software Description - by Publisher

This software description is given by SWI-Prolog - the software publisher/developer, and almost no changes made by softmenu.

Full Description see below:

It's useful logic programming purposes, artificial intelligence and computational linguistics. Key features "SWI-Prolog":UNICODE character set handling internal. Machine-independent saved-states (save on one platform, run using the virtual machine of another platform). Multi-threading support: run multiple pre-emptively scheduled prolog engines on the same database. Portable to many platforms, including almost all Unix/Linux platforms, Windows (NT/2000/XP/Vista, including 64-bit editions), MacOS X (using X11 for graphics) and many more. Both 32-bits and 64-bits hardware is supported. Sources are plain C99, configured automatically using GNU autoconf (configure, make, make install). Unit testing support through PlUnit. Regular binary distributions for most popular platforms (Windows (32/64 bits), Linux (32 bits) and MacOS X (32 bits)). Regular distribution of the full source packages. The sources are also accesible through GIT. Constraint Logic Programming, providing libraries for CHR (Constraint Handling Rules), clp(FD), clp(R,Q) and various others. Bundled with interface libraries for Java (JPL), ODBC, TCP/IP sockets, SSL, CGI form handling, etc. Check the packages. Multi-threaded Web server library with comprehensive libraries to generate HTML, HTTP authorization, session management, exchanging JSON (used by many AJAX widgets), etc. Fast and flexible libraries for parsing SGML/XML (HTML), parsing RDF, store and query the RDF triple model. A graphical editor for RDF/RDFS and OWL models called Triple20 is distributed seperately. Literate programming support through PlDoc. Provides integrated view on manual and application documentation and producing LaTeX documentation for your application. What's New in This Release: Performance improvement on larger programs is between 10 and 40%, depending on the programming style. Notably the constraint solvers profit significantly. Small programs sometimes show much bigger speedups. Since 5.7.4, updated module system Lots of cleanup in naming and modularization of the codebase.

Supported Operating System:

Probably All

Running requirements

Need not extra requirement except the OS environments mentioned above.


Please check the license above, if this is a freeware, it will be no limitation, else it may have the days or times limitation, please read the specifications attached with the download file carefully.

Tested virus free - SWI-Prolog has been tested to be a safe software on Apr 23, 2012.

Softwares Searches Related to SWI-Prolog

Bookmark or share this page to your friends

copy bookmark
copy bookmark
copy bookmark

SWI-Prolog Related Softwares

Scala 2.8.1

Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented ...

X360 Tiff Image & Fax Viewer ActiveX Control

X360 Tiff Image & Fax Viewer ActiveX Control allows application developers and programmers create applications with image viewing capabilities. The ActiveX works on most of the Windows ...

The Squirrel programming language 3.0 Al

It was designed to be a powerful scripting language for small applications like games, due to its small size, reduced memory bandwidth and little real-time requirements.Squirrlel has ...


Logtalk is an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler. As a multi-paradigm language, it includes support for both ...


BlitzMax is the new, next generation game programming language from Blitz Research. BlitzMax retains the BASIC roots of Blitz3D and BlitzPlus, but adds a ton of cool new features and abilities.


haXe (pronounced as hex) is an open source programming language. While most other languages are bound to their own platform (Java to the JVM, C# to .Net, ActionScript to the Flash Player), ...

Latest Software Topic