Prolog Reasoner NEW
SWI-Prolog as a logic calculator for LLMs
Install & connect
$ uvx prolog-reasonerPublisher-declared package identifier. Verify current package, permissions and client configuration before running; execution has not been tested here.
Freshness
Last registry update 7mo ago · published Apr 17, 2026.
Registry position over time
Where Prolog Reasoner sits in the freshest-first index, tracked daily — new to the tracked index since the prior run. position movement fills in as the index runs daily.
About this server
SWI-Prolog as a logic calculator for LLMs
Local — runs on your machine over stdio (npx / uvx / docker / bundle). Indexed under Dev Tools, alongside 29351 other servers. Health is freshness-derived from the registry's last-update timestamp; this index does not run the server, so capabilities and tool lists live in the source repository.