Datalog

Datalog is a declarative logic programming language. While it is syntactically a subset of Prolog, Datalog generally uses a bottom-up rather than top-down evaluation model. This difference yields significantly different behavior and properties from Prolog. It is often used as a query language for deductive databases. Datalog has been applied to problems in data integration, networking, program analysis, and more. Wikipedia

Created Year: 1986

Wikidata: Q1172264

Influenced: .QL • SQL

Programming paradigms: declarative programming • logic programming

Language types: declarative programming language • deductive language