The GitHub repository "prolog-mcp" by Adam Rybinski is a neurosymbolic AI server that integrates Prolog's symbolic reasoning with the Model Context Protocol (MCP) for hybrid AI applications. It features persistent Prolog sessions, session management, and type safety via Zod schema validation, along with a WebAssembly runtime for efficient operation. The repository includes essential tools for loading programs, executing queries, and managing session states.
prolog ✓
+ ai
webassembly ✓