Datalog je čisto deklarativni programski jezik izveden iz Prologa. Koristi se u mnogim područjima koja zahtijevaju logičko programiranje uključujući umrežavanje, cloud computing, dizajn deduktivne baze podataka, izvlačenje informacija i analizu programa.

Datalog se obično implementira ili tumači pomoću drugih programskih jezika. Open source Datalog implementacije postoje za Java, C ++, Lua, Python, Prolog, Clojure i Racket, a dostupne su i komercijalne Datalog implementacije.

C ++, Clojure, Java, jezik, programski izrazi, Python, reket