Datalog
swMATH ID: | 20023 |
Software Authors: | Ceri, S.; Gottlob, G.; Tanca, L |
Description: | Datalog is a declarative logic programming language that syntactically is a subset of Prolog. It is often used as a query language for deductive databases. In recent years, Datalog has found new application in data integration, information extraction, networking, program analysis, security, and cloud computing.[1] Its origins date back to the beginning of logic programming, but it became prominent as a separate area around 1977 when Hervé Gallaire and Jack Minker organized a workshop on logic and databases.[2] David Maier is credited with coining the term Datalog. (wikipedia) |
Homepage: | https://en.wikipedia.org/wiki/Datalog |
Related Software: | ASSAT; Gringo; Clingo; WASP; Smodels; DLV; Cmodels; XSB; SPARQL; Potassco; XPath; DLV2; Ontop; ProbLog; Vadalog; clasp; Ltur; GraphLog; GASP; Graal |
Cited in: | 290 Documents |
all
top 5
Cited by 460 Authors
all
top 5
Cited in 50 Serials
all
top 5