| Port details |
- trealla-prolog Compact, efficient Prolog interpreter written in plain-old C
- 3.9.17 lang
 =0      2.90.9Version of this port present on the latest quarterly branch. - Maintainer: siva@FreeBSD.org
- Port Added: 2025-04-22 07:06:05
- Last Update: 2026-09-01 09:00:56
- Commit Hash: b765035
- License: MIT
- WWW:
- https://github.com/trealla-prolog/trealla/
- Description:
- 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##
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - USE_RC_SUBR (Service Scripts)
- no SUBR information found for this port
- Dependency lines:
-
- trealla-prolog>0:lang/trealla-prolog
- To install the port:
- cd /usr/ports/lang/trealla-prolog/ && make install clean
- To add the package, run one of these commands:
- pkg install lang/trealla-prolog
- pkg install trealla-prolog
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: trealla-prolog
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1788252743
SHA256 (trealla-prolog-trealla-v3.9.17_GH0.tar.gz) = f5d0b409bdaeb931a03c660fef78b0e919b2a69265cda067760107b70c2f6ea4
SIZE (trealla-prolog-trealla-v3.9.17_GH0.tar.gz) = 1165486
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- xxd : sysutils/xxd
- gmake>=4.4.1 : devel/gmake
- Test dependencies:
-
- bash : shells/bash
- Library dependencies:
-
- libffi.so : devel/libffi
- There are no ports dependent upon this port
Configuration Options:- ===> The following configuration options are available for trealla-prolog-3.9.17:
FFI=on: FFI support
READLINE=off: GNU readline support
SSL=on: SSL support
THREADS=on: Preemptive multithreading support
===> Use 'make config' to modify these settings
- Options name:
- lang_trealla-prolog
- USES:
- gmake ssl
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
3.9.17
01 Sep 2026 09:00:56
 |
Siva Mahadevan (siva) |
lang/trealla-prolog: update to 3.9.17 |
2.90.9
12 Feb 2026 21:14:31
|
Siva Mahadevan (siva) |
lang/trealla-prolog: update to 2.90.9
Approved by: lwhsu (mentor, implicitly)
Sponsored by: The FreeBSD Foundation |
2.68.20
24 Jan 2026 20:53:08
|
Siva Mahadevan (siva) |
*/*: update my maintainer email address
Approved by: lwhsu (mentor)
Signed-off-by: Siva Mahadevan <siva@FreeBSD.org>
Sponsored by: The FreeBSD Foundation
Differential Revision: https://reviews.freebsd.org/D54860 |
2.68.20
22 Apr 2025 06:38:49
|
Wen Heping (wen)
Author: Siva Mahadevan |
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> |
As an Amazon Associate I earn from qualifying purchases.