Bug 286272 - [NEW PORT] lang/trealla-prolog: A compact, efficient Prolog interpreter
Summary: [NEW PORT] lang/trealla-prolog: A compact, efficient Prolog interpreter
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: --- Affects Only Me
Assignee: Wen Heping
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2025-04-21 21:49 UTC by Siva Mahadevan
Modified: 2025-04-28 02:38 UTC (History)
1 user (show)

See Also:


Attachments
[PATCH] [NEW PORT] lang/trealla-prolog: A compact, efficient Prolog interpreter (2.91 KB, patch)
2025-04-21 21:49 UTC, Siva Mahadevan
no flags Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Siva Mahadevan freebsd_committer freebsd_triage 2025-04-21 21:49:44 UTC
Created attachment 259775 [details]
[PATCH] [NEW PORT] lang/trealla-prolog: A compact, efficient Prolog interpreter

Patch attached.
Comment 1 commit-hook freebsd_committer freebsd_triage 2025-04-22 07:03:35 UTC
A commit in branch main references this bug:

URL: https://cgit.FreeBSD.org/ports/commit/?id=3c6713efe52c1fef3dbcae1044b4f1b7369f7700

commit 3c6713efe52c1fef3dbcae1044b4f1b7369f7700
Author:     Siva Mahadevan <me@svmhdvn.name>
AuthorDate: 2025-04-22 06:36:14 +0000
Commit:     Wen Heping <wen@FreeBSD.org>
CommitDate: 2025-04-22 06:38:49 +0000

    lang/trealla-prolog: New port

    A compact, efficient Prolog interpreter with ISO Prolog aspirations.

    MIT licensed
    Integers & Rationals are unbounded
    Atoms are UTF-8 of unlimited length
    The default double-quoted representation is *chars* list
    Strings & slices are super-efficient (especially with mmap'd files)
    REPL with history
    Runs on Linux, Android, FreeBSD, macOS, and WebAssembly (WASI) & Go
    API for calling from C (or by using WASM from Go & JS)
    Foreign function interface (FFI) for calling out to user code
    Access SQLITE databases using builtin module (uses FFI)
    Concurrency via tasks / linda / futures / engines (generators)
    Pre-emptive multi-threading
    Blackboarding primitives
    ...
    FFIs for GNU Scientific Library (GSL), SQLite, Raylib
    Delimited continuations ##EXPERIMENTAL##
    Rational trees ##EXPERIMENTAL##
    CLP(Z) ##EXPERIMENTAL##
    PR:             286272
    Reported by:    Siva Mahadevan <me@svmhdvn.name>

 lang/Makefile                       |  1 +
 lang/trealla-prolog/Makefile (new)  | 46 +++++++++++++++++++++++++++++++++++++
 lang/trealla-prolog/distinfo (new)  |  3 +++
 lang/trealla-prolog/pkg-descr (new) | 20 ++++++++++++++++
 4 files changed, 70 insertions(+)