A
licenseA
qualityD
maintenanceSWI-Prolog execution for LLMs with CLP(FD) and recursion β boosts logic/constraint accuracy from 73% to 90% on a 30-problem benchmark.
5
11
MIT
Matching MCP tools:
Matching MCP Connectors:
io.github.encodi
com.neurobird
run.mcpize.pubmed-search
ai.parallel