Bug 286124
| Summary: | [NEW PORT] lang/scryer-prolog: A modern ISO Prolog implementation | ||||||
|---|---|---|---|---|---|---|---|
| Product: | Ports & Packages | Reporter: | Siva Mahadevan <siva> | ||||
| Component: | Individual Port(s) | Assignee: | Wen Heping <wen> | ||||
| Status: | Closed FIXED | ||||||
| Severity: | Affects Only Me | CC: | alven, wen | ||||
| Priority: | --- | ||||||
| Version: | Latest | ||||||
| Hardware: | Any | ||||||
| OS: | Any | ||||||
| Attachments: |
|
||||||
A commit in branch main references this bug: URL: https://cgit.FreeBSD.org/ports/commit/?id=d52129d233e1588c87093f3a0ee34fc083eb60e8 commit d52129d233e1588c87093f3a0ee34fc083eb60e8 Author: Siva Mahadevan <me@svmhdvn.name> AuthorDate: 2025-04-16 06:49:12 +0000 Commit: Wen Heping <wen@FreeBSD.org> CommitDate: 2025-04-16 06:50:40 +0000 lang/scryer-prolog: New port Scryer Prolog aims to become to ISO Prolog what GHC is to Haskell: an open source industrial strength production environment that is also a testbed for bleeding edge research in logic and constraint programming, which is itself written in a high-level language. PR: 286124 Reported by: Siva Mahadevan <me@svmhdvn.name> lang/Makefile | 1 + lang/scryer-prolog/Makefile (new) | 20 + lang/scryer-prolog/Makefile.crates (new) | 395 +++++++++++++++ lang/scryer-prolog/distinfo (new) | 793 +++++++++++++++++++++++++++++++ lang/scryer-prolog/pkg-descr (new) | 4 + 5 files changed, 1213 insertions(+) |
Created attachment 259595 [details] [PATCH] [NEW PORT] lang/scryer-prolog: a modern ISO Prolog implementation Patch attached.