Описание тега pydatalog
Pure- питон реализация DataLog, действительно декларативный язык, полученный из пролога.
pyDatalog добавляет парадигму логического программирования к обширному набору инструментов Python питоническим способом.
Программисты-логики теперь могут использовать обширную стандартную библиотеку Python, а программисты Python могут быстро выражать сложные алгоритмы.
Datalog - это действительно декларативный язык, полученный из Prolog, с прочной академической основой.
Datalog отлично справляется со сложностями. Программы журнала данных короче, чем их эквивалент на Python, и операторы журнала данных могут быть указаны в любом порядке, так же просто, как формула в электронной таблице.
В частности, Datalog может использоваться для: - моделирования интеллектуального поведения (для игр или экспертных систем), - запроса сложных наборов связанной информации (например, при интеграции данных или обработки естественного языка), - выполнения рекурсивных алгоритмов (например, для иерархической структуры данных)
pyDatalog основан на предыдущей работе Джона Д. Рамсделла.
Это проект с открытым исходным кодом (LGPL), возглавляемый Пьером Карбоннель (Бельгия). Он вдохновлен LogicBlox.