Datalog

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.

Ses origines remontent au début de la programmation logique, mais il est apparu comme un domaine séparé vers 1977 lorsque Hervé Gallaire et Jack Minker ont organisé un atelier sur la logique et les bases de données .  David Maier est crédité d'avoir inventé le terme Datalog.