Datalog est un langage de programmation à logique déclarative qui est syntaxiquement un sous-ensemble de Prolog . Il est souvent utilisé comme langage de requête pour les bases de données déductives. Ces dernières années, Datalog a trouvé une nouvelle application dans l'intégration de données, l’extraction d'informations, la mise en réseau, l'analyse de programmes, la sécurité et l’informatique en nuage.