BSD Ports

lang/trealla-prolog 3.10.19 FreeBSD

Compact, efficient Prolog interpreter written in plain-old C

System
FreeBSD
Repository
FreeBSD ports
Maintainer
[email protected]
Last update
Commit
c6a5bf20b9
License
MIT
Categories
lang
Package size
688.0 KiB, 3420.5 KiB installed

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##

Install

Binary package:

pkg install trealla-prolog

From the ports tree:

cd /usr/ports/lang/trealla-prolog/ && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	trealla-prolog>0:lang/trealla-prolog

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repositoryaarch64amd64armv6armv7i386
FreeBSD:14:latest3.10.193.10.19-2.68.203.10.19
FreeBSD:14:quarterly3.10.193.10.19n/a2.68.203.10.19
FreeBSD:15:latest3.10.193.10.19n/a2.68.202.68.20
FreeBSD:15:quarterly3.10.193.10.19n/an/an/a
FreeBSD:16:latest3.10.193.10.19n/an/an/a
FreeBSD:16:quarterlyn/an/an/an/an/a

Dependencies

As this port's Makefile names them.

Build 1

Test 1

The full lists below include those, and their dependencies in turn.

Build dependencies 5
Run dependencies 2

No port depends on this one.

Configuration

Options name: lang_trealla-prolog

OptionDefaultDescription
FFIonFFI support
READLINEoffGNU readline support
SSLonSSL support
THREADSonPreemptive multithreading support
USES
gmake
Service scripts
none

Files

distinfo 1
FileSizeSHA256
trealla-prolog-trealla-prolog-v3.10.19_GH0.tar.gz1.382066e+06c2c4d1618fefaddb7eccb00e96f8cb5ff190f493ac1b378574c16421d5ba93e4

Commit history 2

DateCommitCreditsLog message
c6a5bf20b9 Siva Mahadevan lang/trealla-prolog: upgrade to 3.10.19
While here, add PORTSCOUT=ignore:1.
b765035495 Siva Mahadevan lang/trealla-prolog: update to 3.9.17