Я - давний разработчик Python и недавно был представлен Прологу. Я люблю понятие использования правил отношений для определенных видов задач и хотел бы добавить это к своему репертуару.
Есть ли какие-либо хорошие библиотеки для логического программирования в Python? Я сделал некоторый поиск на Google, но только нашел следующее:
ряд блога jtauber на relational_python
Хотел бы выдержать сравнение с некоторыми другими... Спасибо!
- aj
Возможно, вам стоит погуглить "Логическое программирование в Python". Пайк выглядит многообещающе:
Пайк вводит форму логического программирования (на основе Пролога) в сообщество Python, предоставляя основанный на знаниях механизм вывода (экспертная система) написана на 100% Python.
В отличие от Prolog, Pyke интегрируется с Python, позволяя вызывать Pyke из Python и смешанных операторов и выражений Python внутри правила вашей экспертной системы.