FICHA · AUR
teyjus
Implementação eficiente da linguagem Lambda Prolog
- Lambda Prolog toolchain
- Linha de comando
- LANGUAGE
- COMPILER
- Abre direto
- Roda no terminal
· codex · reviewed · 5 de jun. de 2026 descrição em pt-br · fallback
Programas Lambda Prolog podem ser compilados e simulados com a toolchain Teyjus de programação lógica de ordem superior. Instala binários de compilador e runtime pelo dune; programas de origem, saída de build e exemplos de pesquisa podem ser privados.
Como rodar
tjcc
Comandos: tjcc
Permissões
Permissões ainda não analisadas para esta fonte.