Datalog

Datalog este un limbaj de programare logică declarativă.

În timp ce este sintactic un subset de Prolog, Datalog folosește, în general, un model de evaluare mai degrabă decât de sus în jos.

Această diferență produce un comportament și proprietăți semnificativ diferite de la Prolog.

Este adesea folosit ca limbaj de interogare pentru bazele de date deductive.

Datalog a fost aplicat problemelor în integrarea datelor, rețelele, analiza programului și multe altele.