3 ms·
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
by hcarvalhoalves 6y ago
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.
- nikofeyn 6y ago> 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.
- hcarvalhoalves 6y agoEquational 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 https://youtu.be/OyfBQmvr2Hc (skip to 1h mark to see some examples)