← ClaudeAtlas

prolog-neurosymbolic-agentlisted

Architecture guidelines for Neurosymbolic AI workflows integrating LLMs with Prolog constraint engines. Use when combining natural language processing with formal logical verification, ground-truth checking, and rule-based reasoning.
dougransom/prolog-agent-toolkit · ★ 4 · AI & Automation · score 60
Install: claude install-skill dougransom/prolog-agent-toolkit
# Neurosymbolic AI & LLM + Prolog Architecture Guidelines Use this skill when designing neurosymbolic AI agents where an LLM handles natural language processing, semantic translation, or heuristic generation, while a Prolog engine serves as the deterministic logic solver, knowledge base, and safety verifier. ## 1. Division of Responsibility ``` +------------------------------------+ | LLM Subagent | | - Natural Language Parsing | | - Heuristic Search Guidance | | - User Explanation & Formatting | +------------------------------------+ | Synthesizes | Validates & AST/Facts | Resolves Constraints v +------------------------------------+ | Prolog Logic Engine | | - Ground Truth Verification | | - CLP(Z) Constraint Satisfaction | | - Pure DCG AST Validation | +------------------------------------+ ``` --- ## 2. Recomme