SWI-Prolog 5.10.0

Operating systemsOS : Windows / Linux / Mac OS
Program licensingScript Licensing : LGPL - GNU Lesser General Public License
CreatedCreated : Jul 4, 2010
Size downloadDownloads : 4
Program licensing
Thank you for voting...

It's useful logic programming purposes, artificial ...

It's useful logic programming purposes, artificial intelligence and computational linguistics.
Most important functions of SWI-Prolog by Jan Wielemaker:
• 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.
News in the current SWI-Prolog 5.10.0 version:
• All platforms now use consistent naming. The swi-prolog [swiprolog5.10.0.exe] executable is called swipl, the linker swipl-ld and the resouce-file manager swipl-rc.
• New stack memory-management that is based on stack-shifting rather than allocating the stacks sparsely in the virtual address-space. This change allows for much better scalability in the number of threads, so we also removed the old thread-count limit of 100. The stack-limits can now be raised and reduced at runtime using set_prolog_stack/2.
• The default stack-size-limits are now 128Mb per stack on 32-bit and 256Mb on 64-bit hardware.
• Extensive leak and stress-testing have fixed a number of leaks and race conditions, making the system much more robust in 24x7 server setup.
• A start has been made to avoid using the C-stack for recursing into terms. This allows processing much more deeply nested terms and provides a clean exception if there are insufficient resources to traverse the term. There is still much to do in this area.
• SWI-Prolog - 0MB 5. 10. 0 introduces safe references to database terms (assertz/2, recordz/3) and streams (open/3).
• The number of variables in clauses is now limited to 1, 000, 000, 000; this was 65535. In addition, the system provides graceful exceptions when encountering resource-errors or trying to assert illegal terms such as cyclic terms.
• Compatibility to both YAP and SICStus is enhanced.

SWI-Prolog 5.10.0 scripting tags: prolog implementation, terms, intelligence, swiprolog, swi-prolog, bits, artificial, platforms, artificial intelligence, programming language. What is new in SWI-Prolog 5.10.0 software script? - Unable to find SWI-Prolog 5.10.0 news. What is improvements are expecting? Newly-made SWI-Prolog 5.11 will be downloaded from here. You may download directly. Please write the reviews of the SWI-Prolog. License limitations are unspecified.