Insightful. On the plus side OTOH, more Prolog implementations means more focus on standardization and shared Prolog code bases, when the dominance of certain c

Insightful. On the plus side OTOH, more Prolog implementations means more focus on standardization and shared Prolog code bases, when the dominance of certain commercial and F/OSS implementations might have pushed Prolog IMO too much into the CLP magic and/or procedural niche.