Не прошло и пяти лет, как я окончательно разобрался, каким же образом соотносятся левая и правая ассоциативность с атрибутами прологовских операторов ('xfx', 'yfx', 'fx', 'fy' и т.п.), и что же делать, если, к примеру, 'fx' соседствует с 'xfx' или 'xf'. Пять лет до меня не доходило, что это недопустимая ситуация и здесь просто должна генерироваться ошибка.

А ведь достаточно было просто внимательно прочитать мануал и тупо нарисовать на бумажке все возможные комбинации.

Этот случай феерической глупости надо занести в Книгу рекордов Гиннеса.