Ron Stodden wrote: > IMO, The major cause of bugs is people's use of unsafe or dumb > jack-in-the-box languages (examples C, C++, perl, python). I hope to > see a drift over time towards developer use of the new crop of > intelligent safe languages. Yes, they are very difficult initially to > get your mind around, paradoxically because of their very simplicity. > An excellent current example would be GNU's gprolog, but that does > not yet have an integrated GUI API, and in any case Linux has not > standardised on a single GUI for everything. So for GTK you must use > the GTK foreign C calls inline with your gprolog source, which is an > ugly hack.
I'm sure some people will patiently await your port of troels to gprolog.
