Datalog
Η Datalog είναι μια γλώσσα ερωτήσεων και κανόνων για λογικές βάσεις δεδομένων (deductive databases), η οποία συντακτικά είναι υποσύνολο της Prolog. Υπάρχει από τα πρώτα χρόνια του λογικού προγραμματισμού αλλά έγινε γνωστή σαν ξεχωριστό πεδίο το 1977 όταν ο Hervé Gallaire και ο Jack Minker οργάνωσαν ένα workshop σχετικά με τη λογική και τις βάσεις δεδομένωνHervé Gallaire, Jack Minker (Εκδότες): Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, 1977. Advances in Data Base Theory, Plenum Press, New York, 1978, ISBN 0-306-40060-X.. Ο David Maier συνέλαβε την ονομασία DatalogSerge Abiteboul, Richard Hull, Victor Vianu: Foundations of databases. σελ.305 Χαρακτηριστικά, περιορισμ�