3 ms·
Yup - if you have control over your code base and can keep it totally consistent you have a fighting chance, but as I say - some shifty person introduces a prob
by sgt101 8y ago
Yup - if you have control over your code base and can keep it totally consistent you have a fighting chance, but as I say - some shifty person introduces a problem and all goes very very wrong. The big demonstration is that it's really rarely used in industry. Which is a big shame as if we could sort out the programming in the large then I believe big value is on the table. The new generation of reasoners are a good start!
- zephyrfalcon 8y agoIf "some shifty person introduces a problem", then that's bad news for any code base in any language. Nothing specific to Prolog. > The big demonstration is that it's really rarely used in industry. By that reasoning, software written in Javascript must be extremely reliable and easy to debug. >.>
- posterboy 8y agoThat's an unfair metric because prolog was never meant to develope web apps or whatever the majority of use cases is. It's not used in AI either, but I'm glad to hear for the first time that it's being worked on so chances are there could be more I haven't heard of. And there are similar, reduced systems like kanren. I don't know how coq, lean or other theorem provers compare, but the space is hugely interesting.