Clingo

关于

Clingo provides a powerful neurosymbolic AI server designed to bridge Clingo's Answer Set Programming (ASP) solver with the Model Context Protocol (MCP). It allows users to build and manage ASP programs incrementally, solve complex logical problems, and persist their work through session management. Leveraging WebAssembly for efficient Clingo execution and Zod for type-safe I/O, this server is ideal for developing hybrid AI applications that combine symbolic reasoning with other AI paradigms.

主要功能

• 1 GitHub stars
• Answer Set Programming (ASP) solver powered by WebAssembly
• In-memory session management for incremental program building
• Persistence capabilities to save and load ASP programs to disk
• Comprehensive set of tools for program execution and manipulation (solve, add, clear, get, save, load)
• Ensures data integrity with Zod schema validation for all I/O

使用案例

• Developing hybrid AI applications that combine symbolic reasoning with other AI systems
• Integrating advanced logical reasoning capabilities into AI workflows
• Rapid prototyping and execution of Answer Set Programs for complex problem-solving