Last released May 1, 2026
LLM-powered logical reasoning with Prolog - Calculator for logic
Supported by