|
scryer-prolog
|
0.9.4-1 |
3 |
0.16
|
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) |
|
binprolog
|
0.1.0-1 |
1 |
0.14
|
Fast, simplified WAM-based Prolog system |
aarroyoc
|
2023-03-12 21:50 (UTC) |
|
scryer-prolog-git
|
0.9.1.r249.gc5a3ec3b-1 |
1 |
0.14
|
A modern Prolog implementation written mostly in Rust (development version) |
Chewing_Bever
|
2023-05-01 20:18 (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.13.r4.g1a8482417-1 |
4 |
0.00
|
Comprehensive Prolog environment (latest git development version) |
hurufu
|
2024-11-06 21:23 (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) |
|
dogelog-license
|
1.3.0-1 |
0 |
0.00
|
The avant-garde of logic programming (License agreement) |
hurufu
|
2025-02-28 19:51 (UTC) |
|
dogelog-js
|
1.3.0-1 |
0 |
0.00
|
The avant-garde of logic programming (JavaScript backend) |
hurufu
|
2025-02-28 19:51 (UTC) |
|
dogelog-java
|
1.3.0-1 |
0 |
0.00
|
The avant-garde of logic programming (Java backend) |
hurufu
|
2025-02-28 19:51 (UTC) |
|
dogelog
|
1.3.0-1 |
0 |
0.00
|
The avant-garde of logic programming (Shell wrapper) |
hurufu
|
2025-02-28 19:51 (UTC) |
|
dogelog-py
|
1.3.0-1 |
0 |
0.00
|
The avant-garde of logic programming (Python backend) |
hurufu
|
2025-02-28 19:51 (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) |