15 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
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)

15 packages found. Page 1 of 1.