A hyper-relational knowledge base with content-addressable storage, built on Prolog, SQLite, and C.
Trealla Prolog embedded in Go using WASM
A test runner for Scryer Prolog and Trealla Prolog.
An embeddable Prolog by interacting with trealla-prolog. 通过与trealla-prolog交互实现的嵌入式prolog
Browser-based inductive logic programming using Popper's Alan ASP encoding, Clingo WASM, and Trealla Prolog
Multi-engine, cross-platform Prolog execution sandboxing, AI agent standards, and skills toolkit for Scryer Prolog, SWI-Prolog, and Trealla Prolog. Supporting Google Antigravity, Claude Code, GitHub Copilot, and Cursor.
Add a description, image, and links to the trealla-prolog topic page so that developers can more easily learn about it.
To associate your repository with the trealla-prolog topic, visit your repo's landing page and select "manage topics."