rikarazome/prolog-reasoner

🪟 - Ejecución de SWI-Prolog para LLM con CLP (FD), negación como falla y recursividad. Se comparó una precisión del 90 % frente al 73 % de LLM únicamente en 30 problemas de lógica.