A Datalog deklaratív logikai programozási nyelv, amely szintaktikailag a Prolog részhalmaza. Gyakran a deduktív adatbázisok lekérdező nyelveként használják. Az utóbbi években a Datalog új alkalmazást talál az adatintegráció, az információkivonás, a hálózatépítés, a programelemzés, a biztonság és a számítási felhő területén. Eredete a logikai programozás kezdetére nyúlik vissza, de 1977 körül külön területként kiemelkedett, amikor Hervé Gallaire és Jack Minker logikát és adatbázisokat szerveztek. David Maiert a Datalog kifejezéssel kapta. [Bevezető][Lekérdezési nyelv][Felhő alapú számítástechnika]