Без заголовка

>> триплы это тупик. Начинать нужно сразу с n-арных предикатов >> Если нужно преобразовавать в триплы, то пусть солвер FOL это преобразует и оптимизирует где-то там внутри себя, а на поверхности должны быть паттерны, n-арные предикаты Думаю, на нижнем уровне этого стека всё равно останутся триплы (см., например https://serge-gorshkov.livejournal.com/42799.html?thread=262959#t262959 ). При этом я согласен, что инженерам моделировать реальный мир в тройках неудобно.