← All tags

#logic-programming

1 post

MCP Server 10

SWI-Prolog as a logic calculator for LLMs — MCP server and Python library

Python MIT Updated 2mos ago