Я хочу проанализировать логическое выражение с помощью DCG в Прологе. Логические термины представлены в виде списков, например ['x','&&','y'] для x ∧ y результатом должно быть дерево синтаксического анализа and(X,Y) (были X и Y...