Prolog : quand la programmation logique se heurte à des limites pratiques