prolog-reasoner

SWI-Prolog execution for LLMs with CLP(FD), negation as failure and recursion.

#1607 by GitHub starsChecked 2026-11-02

What it connects

SWI-Prolog execution for LLMs with CLP(FD), negation as failure and recursion.

Registry listing — description sourced from the publisher's entry in an awesome-list. Setup, compatibility and requirements are not verified; see the repository.

Source: https://github.com/rikarazome/prolog-reasoner · ★ 12 on the source repo

Setup instructions and compatibility are compiled from publisher docs and community reports, not hands-on testing, unless a step is marked Tested. Check the source before relying on a setup.