[Bug 286272] [NEW PORT] lang/trealla-prolog: A compact, efficient Prolog interpreter
Date: Tue, 22 Apr 2025 07:03:35 UTC
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=286272
--- Comment #1 from commit-hook@FreeBSD.org ---
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(+)
--
You are receiving this mail because:
You are the assignee for the bug.