The lack of portability is a bad problem in the Prolog world and it has bit me a few times, but surely the solution is for all the implementers to work together, rather than engage in petty feuding.

But the biggest problem of the Prolog community is what I pointed out above: there's very few of us and the field isn't really growing much.

:(