> I think I dismissed the criticism about goal ordering being a game-stopper, not about it being an issue at all. Fair enough. > I'm concerned that miserly ni

> I think I dismissed the criticism about goal ordering being a game-stopper, not about it being an issue at all. Fair enough. > I'm concerned that miserly nitpicking like this only serves to give programmers a good excuse to not even try to pick up Prolog. Agreed, though "the issue you raised is not really an issue" could be read as "you're not smart enough for this", which is also a turn-off. Anyway, even if goal ordering matters, we still have unification and backtracking as advantages over imperative languages.