Personally, I think that these are the three main problems with the current ecosystem: i) there are too many implementations, some more advanced and well-maintained, so it is not clear where to start. Furthermore, these implementations often differ in the syntax, so it is not always possible to directly port a Prolog program developed with one system into another system. ii) there are few libraries and they are not compatible among the different systems, so one often has to reimplement everything from scratch. iii) debugging programs is painful and locating an error is very difficult and time consuming
jjgreen•2h ago