7 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
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-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)
profetch 0.1.7-2 0 0.00 System Information Fetcher Written in GNU/Prolog rustemb 2021-11-17 19:33 (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)
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.