there is something about Prolog and ML-like languagges that makes them unique and powerful, but also makes their approach a bit difficult to grasp at first sigh

there is something about Prolog and ML-like languagges that makes them unique and powerful, but also makes their approach a bit difficult to grasp at first sight. as the article puts it, it's just a new way of thinking that you have to put on yourself... a new way of putting the right things together and then let the magic happen... somehow letting us wondering how it works. even though I think more of what we do nowadays fall into the magic hat, the forward thinking and keeping developers feeling "under control" of the structured programing languages is what have made them keep ruling... maybe we need a bit more of UX build on functional and predicate languages to go a bit with the change of mind.