Trealla Prolog 是一款使用标准 C 语言编写的紧凑高效的 Prolog 解释器。它支持无界整数和有理数，UTF-8 原子，并提供高效的字符串和切片操作。Trealla Prolog 具有 ISO Prolog 的雄心，已经在 Linux、Android、FreeBSD、macOS 和 WebAssembly 上运行。它提供了与 C 语言交互的 API，并可以通过 FFI 调用用户 C 代码。Trealla Prolog 还支持并发、黑板基元以及与 SQLITE 数据库的交互。