3 ms·
I looked at Scallop a year ago and decided that it was not a replacement for Prolog - for me. I may re-evaluate now, thinking of smoother LLM integration as we
by mark_l_watson 2y ago
I looked at Scallop a year ago and decided that it was not a replacement for Prolog - for me.
I may re-evaluate now, thinking of smoother LLM integration as well as differentiability.
Has anyone here used Scallop for a large application? I ask because in the 1980s I wrote a medium large application in Prolog and it was a nice developer experience.
- anonzzzies 2y agoNot Scallop related but did you try Mercury? It is prolog with types and flagging of deterministic functions; the Prolog we ported had a very large (... vague, I know) performance boost and that is a lot of code. Porting is gradual mostly.
- mark_l_watson 2y agoI tried Mercury for a short while.