|
scryer-prolog
|
0.9.4-1 |
3 |
0.02
|
An open source industrial strength production environment that is also a testbed for bleeding edge research in logic and constraint programming |
aarroyoc
|
2024-03-17 10:21 (UTC) |
|
scryer-prolog-git
|
0.9.1.r249.gc5a3ec3b-1 |
1 |
0.01
|
A modern Prolog implementation written mostly in Rust (development version) |
Chewing_Bever
|
2023-05-01 20:18 (UTC) |
|
binprolog
|
0.1.0-1 |
1 |
0.01
|
Fast, simplified WAM-based Prolog system |
aarroyoc
|
2023-03-12 21:50 (UTC) |
|
yap
|
7.6.0-1 |
2 |
0.00
|
A high-performance Prolog compiler |
hurufu
|
2024-11-09 13:57 (UTC) |
|
xsb-prolog
|
5.0-1 |
0 |
0.00
|
Logic Programming and Deductive Database system for Unix and Windows |
hurufu
|
2024-11-02 09:31 (UTC) |
|
tuprolog-repl
|
1.0.4-1 |
0 |
0.00
|
A Kotlin Multi-Platform ecosystem for symbolic AI (REPL) |
hurufu
|
2024-10-14 21:13 (UTC) |
|
trealla
|
2.61.23-1 |
1 |
0.00
|
A compact, efficient Prolog interpreter with ISO compliant aspirations. |
aarroyoc
|
2024-12-09 15:29 (UTC) |
|
tau-prolog
|
0.3.3-1 |
0 |
0.00
|
An open source Prolog interpreter in JavaScript |
hurufu
|
2024-10-14 22:02 (UTC) |
|
swi-prolog-git
|
9.3.25.r28.g19f18da1a-1 |
4 |
0.00
|
Comprehensive Prolog environment (latest git development version) |
hurufu
|
2025-07-09 10:48 (UTC) |
|
prologs
|
0.1-3 |
0 |
0.00
|
Test your Prolog program against different engines |
hurufu
|
2024-12-14 18:45 (UTC) |
|
prolog-tags
|
19890305-1 |
0 |
0.00
|
Create tags file for Prolog sources |
hurufu
|
2024-10-30 09:32 (UTC) |
|
projog
|
0.10.0-1 |
0 |
0.00
|
Prolog interpreter for Java |
hurufu
|
2024-10-14 20:01 (UTC) |
|
profetch
|
0.1.7-2 |
0 |
0.00
|
System Information Fetcher Written in GNU/Prolog |
rustemb
|
2021-11-17 19:33 (UTC) |
|
poplog
|
0.2.1-1 |
1 |
0.00
|
poplog development system |
orphan
|
2021-08-04 22:44 (UTC) |
|
fleng
|
20-1 |
0 |
0.00
|
A low level concurrent logic programming language descended from Prolog |
aarroyoc
|
2024-03-16 17:08 (UTC) |
|
eclipse-clp
|
7.0.63-1 |
0 |
0.00
|
Constraint Logic Programming System |
orphan
|
2023-09-10 13:48 (UTC) |
|
dgks-prolog
|
1.0-1 |
0 |
0.00
|
Historical (1998) Prolog implementation written in Java |
hurufu
|
2024-12-14 18:38 (UTC) |
|
cs-prolog
|
4.1-1 |
0 |
0.00
|
A Prolog interpreter written in C# |
hurufu
|
2024-12-14 14:18 (UTC) |
|
bprolog
|
8.1-3 |
0 |
0.00
|
Versatile and efficient constraint logic programming (CLP) system |
hurufu
|
2024-10-14 17:56 (UTC) |
|
aprolog-git
|
0.4.r15.g01ebffa-1 |
0 |
0.00
|
αProlog a prototype nominal logic programming language |
hurufu
|
2025-06-13 21:29 (UTC) |