chain of shit. learn Prolog, bois.
Or expect the LLM to only output Prolog, with the assumptions and knowledge as clauses?
Or expect the LLM to only output Prolog, with the assumptions and knowledge as clauses?