Skip to content

Release history

rikarazome/prolog-reasoner releases

SWI-Prolog execution for LLMs with CLP(FD), negation-as-failure, and recursion. Benchmarked 90% vs 73% LLM-only accuracy on 30 logic problems.

Back to tool Latest release

All releases

2 shown

Review required
v0.2.0 New feature
Auth RBAC

Rule bases + error classification + trace

Open
No immediate action
v0.1.0 New feature

prolog-reasoner initial release

Open

Beta — feedback welcome: [email protected]