Post

Jev can't reason. So I built an interpreter that reasons for it. It runs a logic language where the facts and rules are plain English.

Nick Fisher

@hydroxide.dev

Have you tried hooking it up to Prolog (or maybe even Lean) to create ontologies so you can gradually offload queries into a more deterministic (and less compute intensive) system?

19/9/26, 12:59 pm1 repost2 likes

Shawn Simister

@narphorium.com

19 Sept

Not yet. In that case Prolog would be the system one model. What I've been trying to get to is a combination of the search and backtracking algorithm from prolog with the natural language understanding of LLMs but until now its just been too slow