Description:
ISO/Edinburgh-style Prolog interpreter
|
|
Type: Formula
|
Tracked Since: Dec 28, 2025
|
|
Links:
Homepage |
@swiprolog |
formulae.brew.sh
|
|
Category: Developer tools
|
|
Tags:
prolog
logic-programming
ai
compiler
interpreter
swi
|
|
Install:
brew install swi-prolog
|
About:
SWI-Prolog is a robust, mature implementation of the Prolog programming language, adhering to the ISO standard. It offers a powerful environment for logic programming, featuring an efficient incremental compiler, extensive libraries, and strong support for unification and backtracking. Its main value is in solving complex problems in artificial intelligence, natural language processing, and knowledge representation.
|
Key Features:
- ISO-compliant Prolog interpreter with an efficient incremental compiler
- Extensive libraries for networking (HTTP server/client), XML/SGML processing, and graphics
- Foreign language interface (FFI) for seamless integration with C, C++, and Java
- Built-in support for multi-threading and constraints (CLP)
- Portable across major operating systems (Linux, macOS, Windows)
|
Use Cases:
- Developing expert systems and applications requiring symbolic reasoning
- Natural Language Processing (NLP) and computational linguistics research
- Building web servers and REST APIs using its built-in HTTP libraries
- Automated theorem proving and educational purposes in computer science
|
Alternatives:
-
GNU Prolog
– Native code compiler, generally faster for pure Prolog but has a smaller ecosystem of libraries compared to SWI-Prolog.
-
Scryer Prolog
– A modern, Rust-based implementation focused on standards compliance and performance, but less mature in terms of library support.
|
| Detected |
Version |
Rev |
Change |
Commit |
| Nov 10, 2024 3:02pm |
|
0 |
VERSION_BUMP |
705969f8 |
| Oct 23, 2024 6:56pm |
|
0 |
VERSION_BUMP |
c5361cce |
| Sep 10, 2024 8:40pm |
|
0 |
VERSION_BUMP |
e706a1d4 |
| Jul 24, 2024 5:09pm |
|
0 |
VERSION_BUMP |
cc27a988 |
| May 22, 2024 6:40pm |
|
0 |
VERSION_BUMP |
ecaa4736 |
| Apr 5, 2024 12:55pm |
|
0 |
VERSION_BUMP |
f84462a7 |
| Feb 15, 2024 7:55am |
|
0 |
VERSION_BUMP |
f62792f0 |
| Jan 31, 2024 8:52pm |
|
0 |
VERSION_BUMP |
60ea2594 |
|