GitHub repository: logicmoo/ace_llm_logic
Primary language: Prolog
Description: A pipeline that uses ACE and an LLM to convert natural English into Logical Form