Η Datalog είναι μια γλώσσα ερωτήσεων και κανόνων για λογικές βάσεις δεδομένων (deductive databases), η οποία συντακτικά είναι υποσύνολο της Prolog. Υπάρχει από τα πρώτα χρόνια του λογικού προγραμματισμού αλλά έγινε γνωστή σαν ξεχωριστό πεδίο το 1977 όταν ο Hervé Gallaire και ο Jack Minker οργάνωσαν ένα workshop σχετικά με τη λογική και τις βάσεις δεδομένων[1]. Ο David Maier συνέλαβε την ονομασία Datalog[2].