This is a fork of Trealla Prolog for experimenting with WebAssembly/WASI. For more info on Trealla, check out the parent repository.
We endeavor to keep this fork as close as possible to the upstream and contribute all stable changes upstream. Ideally, when WASM support is better stablized, this fork won't need to exist.
You can grab WASM binary builds from guregu/trealla on WAPM. These builds are uploaded automatically for each release.
library(wasm)
JSON-based programmatic toplevel.library(wasm_*)
host-guest interop.library(pseudojson)
Very fast JSON parser/generator (but not validator).'$host_call'/2
and '$host_resume'/1
(see js_eval/2
in library/wasm_js.pl
).There's a bunch of new compile targets for WASM.
make wasm
will build a pure WASI version of Trealla: tpl.wasm
. This binary can be executed by any runtime that supports WASI. (Mostly) upstreamed.
make libtpl
will build a WASM binary with host calls enabled: libtpl.wasm
. This adds host-guest interop exports and imports that break pure WASI compatibility. This is currently used by the Go port.
make libtpl-js
builds the trealla-js version of libtpl. Includes JS-specific predicates.
make libtpl-spin
builds the Spin-flavored libtpl.
make SPINDIR=path/to/spin/source wit
to generate the WASM component code via wit-bindgen.
See library/spin.pl
.
http_handler/4
multifile predicate)http_fetch/3
)