Существуют ли более новые алгоритмы / приложения / библиотеки для индуктивного логического программирования, чем Aleph и Progol? Я знаю о Метаголе, но эта система, похоже, ограничена диадическими предикатами (в моем приложении мне нужны предикаты с более высокой арностью).
Я не говорю, что новое = лучше; мне просто любопытно, если я пропустил некоторые новые разработки в этой области.
С уважением / JCR