Description
Lambda Prolog programs can be compiled and simulated with the Teyjus higher-order logic programming toolchain. It installs compiler and runtime binaries through dune; source programs, build output, and research examples may be private.
FICHA · AUR
teyjus
An efficient implementation of the higher-order logic programming language λProlog
- Lambda Prolog toolchain
- CLI
- LANGUAGE
- COMPILER
- Launchable
- Runs in terminal
official+codex · reviewed · Jun 5, 2026 description in
en How to run
tjcc
Commands: tjcc
Permissions
Permissions not analysed for this source yet.