3 ms·
> but then you don't need an LLM because you don't need to do a dumb search of a large space we do, because we use our prolog ips library, but it's doing this
by anonzzzies 3y ago
> but then you don't need an LLM because you don't need to do a dumb search of a large space
we do, because we use our prolog ips library, but it's doing this for another language (a subset of python)
> I still would like a quantification of the "vast trim" btw. Numbers, or it didn't happen.
Agreed, I will get numbers and until then it didn't happen.
- YeGoblynQueenne 3y agoInteresting. Do you have a transpiler from Prolog to Python-subset? I would have preferred to use the LLM to do the translation, instead, and let the Prolog-based IPS (is it based on bottom clause construction?) do what it does best.