IQ.NET

listed

Prolog Reasoner

io.github.rikarazome · io.github.rikarazome

MCP

SWI-Prolog as a logic calculator for LLMs

MCP

local

pypi prolog-reasoner

uvx

ATTRIBUTION

This listing is taken from the catalogues and the provider named above. The price is what that source advertised.