SWI-Prolog download

SWI-Prolog 7.6.4

Download 1 Screenshots

No reviews

No Video
SWI-Prolog - Free Prolog environment

SWI-Prolog is a free tool that offers a robust Prolog environment. With over 25 years of active development, SWI-Prolog is highly appreciated and frequently used for educational, research and commercial purposes.

SWI-Prolog has an extremely fast compiler that loads most applications (even large ones) in just a few seconds. You’ll probably appreciate the clean and effective command line environment. The tool has features like autocompletion, history, tracer that works on single keystrokes and the “Do What I Mean” feature.

You can treat the compiled code of SWI-Prolog exactly like interpreted code which means you can perform all the regular operations like listing, tracing..etc. Through the source level debugger you’ll have a general overview of where you currently are in the search tree as well as open choice points and the source code.

The built-in execution profiler provides textual and graphical output. SWI-Prolog can be easily integrated into C, and/or embedded into third-party applications. It includes various extension packages that offer solid interfaces to encryption, graphics, processes, TCP/IP, ODBC, TIPC, SGML/XML/HTML, HTTP, RDF…etc.

Software Specifications

  • License:
  • Platform:
  • Publisher:
  • File size:
    22.30 Mb
  • Updated:
    Feb 07, 2018
  • User Rating:
    0 / 5 (0 votes)
  • Editors' Review:
    Not yet reviewed
  • Downloads:
Similar Software
Basic4android 9.30
Intuitive development environment for Android apps
8 / 2,990
Closure Compiler 20190819
A useful compiler for optimizing JavaScript code by removing dead code areas, verifying the syntax and the variable references
4 / 1,058
SuperCollider 3.10.2
Audio synthesis programming language for specialists.
9 / 3,749
Scala 2.13.0
A general purpose programming language
2 / 855
Haxe 3.4.2
A feature-rich toolkit designed for building applications, tools, games or frameworks
4 / 806
R for Windows 3.6.1
A software environment for statistical computing and graphics.
10 / 2,783