Was looking at prolog and having it shadow the llm activity in order to flag whenever the conversation trips.
Combine it with prolog to prove reasoning.
OpenCyc always had that failing that it never felt accessible hidden away. GraphRag for opencyc maybe?
Was looking at prolog and having it shadow the llm activity in order to flag whenever the conversation trips.
Combine it with prolog to prove reasoning.
OpenCyc always had that failing that it never felt accessible hidden away. GraphRag for opencyc maybe?