News for hackers. Stuff that matters.

A comment on Ask HN: Production Prolog in 2020?. Parent comment

Re:Ask HN: Production Prolog in 2020? by hcarvalhoalves on Tuesday May 19, 2020 @10:41AM (#23235367)
I don’t think it will come back as AI, the statistical/differentiable approach proved much more powerful given the amount of data.

I think it will come back in programming tools / program synthesis though. There are many use cases for it and not enough people using in production.

[ Parent | on HN ]
Re:Ask HN: Production Prolog in 2020? by nikofeyn on Tuesday May 19, 2020 @11:37PM (#23243057)
> There are many use cases for it

would you mind expanding on this?

it's been on my backburner to learn prolog, but i have gotten a sense that it could be useful as a side-tool during development.

[ Parent | on HN ]
Re:Ask HN: Production Prolog in 2020? by hcarvalhoalves on Wednesday May 20, 2020 @02:07PM (#23249912)
Equational reasoning makes TDD and property based testing trivial (encode rules by examples, base cases and corner cases, which is the most natural way for humans to think); rule-based system are easier to extend and correct by design (bounded set of possible states); provides more powerful and elegant query languages (E.g. Datalog).

See https://youtu.be/OyfBQmvr2Hc (skip to 1h mark to see some examples)

[ Parent | on HN ]