Можете ли вы порекомендовать систему программирования с индуктивной логикой?Предпочтительно тот, который использует синтаксис Пролога.Существуют ли системы, которые предопределяют изобретение и изучают рекурсивные правила?Я немного знаком с Алефом и Прологом.Каков уровень техники?
Танки!JCR