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

19 Sept

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?

Shawn Simister

@narphorium.com

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

19/9/26, 11:36 pm1 repost1 like

No replies yet.