5 ms·
While Prolog is niche it's still alive and kicking IMO. The go-to example for a 'modern' project is TerminusDB. I'm currently using Prolog for a greenfield expe
by grose 3y ago
While Prolog is niche it's still alive and kicking IMO. The go-to example for a 'modern' project is TerminusDB. I'm currently using Prolog for a greenfield expert system project at $work. There's been a bit of a Datalog resurgence as well, you can see it in the Biscuit authz system for example. As a fundamental pillar of logic programming, I don't think it will ever die (akin to Lisp and functional programming). Pure speculation here but I think we might see more interest towards symbolic AI in the coming years coupled with LLMs to ground answers against well-defined knowledge bases, as a sort of anti-hallucination measure.
- MichaelZuo 3y agoYeah for 'a dead language' there would only be ALGOL, PL/1, and not much else. Excluding really niche languages that never made it out the research lab in the first place.
- LeFantome 3y agoI didn’t even see Pascal on that list. Certainly not dead. Lazarus just had a release the other day.
- Koshkin 3y agoUndead, then? :)
- JeffSnazz 3y ago> against well-defined knowledge bases, as a sort of anti-hallucination measure. Given that humans don't have anything resembling well-defined knowledge I'm somewhat confused why this keeps coming up as something desirable.
- bionhoward 3y agoWhat makes you say that humans don’t have anything resembling well-defined knowledge?
- JeffSnazz 3y agoOur love of floating signifiers and words with multiple or contradictory definitions.