Datalog je popolnoma deklarativen programski jezik, ki izhaja iz Prologa. Uporablja se na številnih področjih, ki zahtevajo logično programiranje, vključno z mreženjem, računalništvom v oblaku, načrtovanjem deduktivne baze podatkov, ekstrakcijo informacij in analizo programov.

Datalog se običajno izvaja v drugih programskih jezikih. Odprtokodne implementacije Datalog obstajajo za Javo, C ++, Lua, Python, Prolog, Clojure in Racket ter komercialne Datalog izvedbe.

C ++, Clojure, Java, Jezik, Programski izrazi, Python, Racket