Swi-prolog

38,695 downloadsUpdated: August 4, 2021BSD License
  1. SWI-Prolog package for access to Perl Regular Expressions Prolog 3 2 0 1 Updated Jul 13, 2021. Packages-paxos SWI-Prolog replicating key-value store.
  2. % Output is based on SWI-prolog 7.2.3. Different Prologs may behave% differently.% Prolog is based on the ideal of logic programming.% A subprogram (called a predicate) represents a state of the world.% A command (called a goal) tells Prolog to make that state of the world% come true, if possible.

A comprehensive Prolog environment that comes with advanced debugging features, code tracing and a set of specialized instructions that you can use

Languageserver(+Options:list) is semidet. Starts a Prolog language server using Options. The server is normally started automatically by a library built for a particular programming language such as the swiplserver Python library, but starting manually can be useful when debugging Prolog code in some scenarios. 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.

What's new in SWI-Prolog 8.3.28-1 Development:

  • DOC: absolute_file_name/2. Issue#871
  • MODIFIED: absolute_file_name/3 to return directories if the requested access is none and no file type is specified as regular or directory.
Read the full changelog

SWI-Prolog provides you with a comprehensive and robust development environment for the Prolog logic programming language, which is intended for computational linguistics and artificial intelligence applications.

Relying on a Prolog virtual machine to define instructions, SWI-Prolog features a faster compiler and the debugging mode only reduces the system speed by a bit.

Swi-prolog

The application comes with a flexible and intuitive interface that enables you to work with C / C++ code, providing support for large applications and unlimited integer values without lowering performance.

Both static and dynamic code can be easily indexed on any argument, while the source-level debugger supports graphics through XPCE.

SWI-Prolog bundles a Prolog cross-referencer, an execution profiler to output instruction statistics, as well as an error checking tool. The package also includes a collection of libraries that programmers can find useful, namely components for constraint handling rules, interface libraries, HTML, RDF and XML parsers, a web server library for session management, HTML and HTTP authorization endeavors and so on.

The advanced debugging feature set comprises a spy point editor, an exception debugger, a thread monitor and a dependency management tool.

The program provides support for unicode character sets, which makes it suitable for creating web-based and multilingual applications.

Multi-threading support (run multiple prolog engines on the same database), compiled code tracing, a set of specialized instructions and built-in predicates, attributed and global variables, unit testing using PiDoc, support for creating LaTeX documentation are other advantages that this application brings you.

Featuring high compilation speed, SWI-Prolog can be of great use for Prolog programmers. Its array of features are enough to please the experienced users, since advanced programming knowledge is required in order to use it.

Filed under

SWI-Prolog was reviewed by Mihaela Teodorovici
4.0/5
Load comments
This enables Disqus, Inc. to process some of your data. Disqus privacy policy

SWI-Prolog 8.2.4-1 / 8.3.28-1 Development

add to watchlist

Swi-prolog Pdf Documentation

send us an update
6 screenshots:

Swi-prolog For Linux

runs on:
Windows 10 32/64 bit
Windows 8 32/64 bit
Windows 7 32/64 bit
Windows Vista 32/64 bit
Windows XP 32/64 bit
file size:
10.9 MB
filename:
swipl-8.2.4-1.x86.exe
main category:
Programming
developer:
visit homepage

Swi-prolog Download

top alternatives FREE

Swi-prolog Setup

top alternatives PAID