Datalog adalah bahasa pengaturcaraan semata-mata deklaratif yang diperoleh dari Prolog. Ia digunakan dalam banyak bidang yang memerlukan pengaturcaraan logik termasuk rangkaian, pengkomputeran awan, reka bentuk pangkalan data deduktif, pengekstrakan maklumat, dan analisis program.

Datalog biasanya dilaksanakan dalam, atau ditafsirkan menggunakan, bahasa pengaturcaraan lain. Pelaksanaan Open Source Datalog ada untuk Java, C ++, Lua, Python, Prolog, Clojure, dan Racket, dan pelaksanaan Datalog komersial juga tersedia.

C ++, Clojure, Java, Language, Pengaturcaraan, Python, Raket