3 packages found
SWI-Prolog as a logic calculator for LLMs — MCP server and Python library
A repo lists papers related to LLM based agent
A declarative way to control LLMs.