7 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
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)
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)
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 aarroyoc 2023-09-10 13:48 (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)

7 packages found. Page 1 of 1.