picolisp
|
24.3-1 |
8 |
0.07
|
Fast and tiny 64-bit Lisp interpreter: OO, dynamic and functional (database, prolog, coroutines). |
TwoFinger
|
2024-04-01 02:24 (UTC) |
gprolog
|
1.5.0-2 |
2 |
0.03
|
GNU Prolog |
aarroyoc
|
2023-04-01 08:18 (UTC) |
trealla
|
2.48.6-1 |
1 |
0.00
|
A compact, efficient Prolog interpreter with ISO compliant aspirations. |
aarroyoc
|
2024-03-17 09:59 (UTC) |
yap
|
6.3.3-1 |
2 |
0.00
|
A high-performance Prolog compiler |
orphan
|
2019-03-06 23:21 (UTC) |
teyjus
|
2.1-1 |
1 |
0.00
|
An efficient implementation of the higher-order logic programming language Lambda Prolog |
aspirogrammer
|
2016-04-20 05:43 (UTC) |
swi-prolog-git
|
7.2.2.r0.ge10fe28-1 |
4 |
0.00
|
Prolog environment (latest git stable version) |
orphan
|
2015-10-05 14:46 (UTC) |
swi-prolog-devel
|
9.3.5-1 |
12 |
0.00
|
Prolog environment (development version) |
archery
|
2024-05-01 02:09 (UTC) |
scryer-prolog-git
|
0.9.1.r249.gc5a3ec3b-1 |
0 |
0.00
|
A modern Prolog implementation written mostly in Rust (development version) |
Chewing_Bever
|
2023-05-01 20:18 (UTC) |
scryer-prolog
|
0.9.4-1 |
1 |
0.00
|
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) |
r-rolog
|
0.9.14-1 |
0 |
0.00
|
Query SWI-Prolog from R |
dringsim
|
2023-08-22 03:02 (UTC) |
profetch
|
0.1.7-2 |
0 |
0.00
|
System Information Fetcher Written in GNU/Prolog |
rustemb
|
2021-11-17 19:33 (UTC) |
gog-slender-threads-prologue
|
1.0.49233-1 |
0 |
0.00
|
Point-and-click thriller adventure. GOG version. |
Auerhuhn
|
2023-07-18 13:09 (UTC) |
fleng
|
20-1 |
0 |
0.00
|
A low level concurrent logic programming language descended from Prolog |
aarroyoc
|
2024-03-16 17:08 (UTC) |
ciao-lang
|
1.23.0.m1-1 |
0 |
0.00
|
Ciao is a general purpose, multi-paradigm programming language in the Prolog family |
aarroyoc
|
2024-03-17 10:24 (UTC) |
binprolog
|
0.1.0-1 |
0 |
0.00
|
Fast, simplified WAM-based Prolog system |
aarroyoc
|
2023-03-12 21:50 (UTC) |