Datalog es una consulta de las reglas del lenguaje y de bases de datos deductivas que sintácticamente es un subconjunto de Prolog . Sus orígenes se remontan al inicio dela programación lógica , pero llegó a ser prominente como un área separada en torno a 1977, cuando Hervé Gallaire y Minker Jack organizó un taller sobre la lógica y las bases de datos. David Maier se le atribuye haber acuñado el término de datalog.
