Datalog — декларативный язык программирования логики, который синтаксически является подмножеством Prolog. Он часто используется как язык запросов для дедуктивных баз данных. В последние годы Datalog нашел новое применение в интеграции данных, извлечении информации, сети, анализе программ, безопасности и облачные вычисления.
[Глоссарий искусственного интеллекта. (Электронный ресурс). Режим доступа: http:// hrwiki.ru›wiki/Glossary_of_artificial_intelligence/, свободный.]