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.
| Paradigm | Logic, Declarative |
|---|---|
| Family | Prolog |
| First appeared | 1977 |
| Typing discipline | Weak |
| Dialects | |
| Datomic, .QL, Soufflé, XTDB, etc. | |
| Influenced by | |
| Prolog | |
| Influenced | |
| SQL | |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.