About: Datalog

An Entity of Type: programming language, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Declarative logic programming language

Property	Value
dbo:description	Programmiersprache (de) langage de programmation (fr) प्रोग्रामिंग भाषा (hi) ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾ (pa) linguaggio di interrogazione (it) പ്രോഗ്രാമിംഗ് ഭാഷ (ml) deklarativni programski jezik (sl) declarative logic programming language (en) декляративна мова програмування (uk) 宣言型論理プログラミング言語 (ja)
dbo:influenced	dbr:SQL
dbo:influencedBy	dbr:Prolog
dbo:thumbnail	wiki-commons:Special:FilePath/Proof_tree_for_Datalo...ive_closure_computation.svg?width=300
dbo:wikiPageExternalLink	http://bloom-lang.net/index.html https://nextjournal.com/crux/a-bitemporal-tale https://play.flix.dev/ https://souffle-lang.github.io/ https://www2.cs.sfu.ca/CourseCentral/721/jim/DatalogPaper.pdf%7Cjournal=IEEE https://www2.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-173.html https://chiselapp.com/user/kbk/repository/tclbdd/ http://code.google.com/p/clojure-contrib/wiki/DatalogOverview http://cascalog.org http://des.sourceforge.net https://xtdb.com https://github.com/c-cube/datalog https://github.com/datacrypt-project/hitchhiker-tree https://github.com/ekzhang/crepe https://github.com/fogfish/datalog https://github.com/juji-io/datalevin https://github.com/replikativ/datahike https://github.com/rust-lang/datafrog https://github.com/threatgrid/asami https://github.com/threatgrid/naga https://github.com/tonsky/datascript https://sites.google.com/site/pydatalog/
dbo:wikiPageWikiLink	dbr:Finite_sets dbr:Fixpoint dbr:Completeness_(logic) dbr:Object-oriented_programming dbr:Data_integration dbr:Semantic_Web_Rule_Language dbr:Jack_Minker dbr:Stratification_(mathematics) dbr:Answer_set_programming dbr:Java_(programming_language) dbr:Microsoft_Windows dbr:Model_theory dbr:Prolog dbr:Deductive_database dbr:Algorithm dbr:Apache_License dbr:C++ dbr:C_(programming_language) dbr:Clojure dbr:Cloud_computing dbr:Database dbr:Logic dbr:Lua_(programming_language) dbr:MIT_License dbr:Machine_learning dbr:Microsoft_Research dbr:Python_(programming_language) dbr:Rust_(programming_language) dbr:Stanford_University dbr:Tcl dbr:Horn_clause dbr:Declarative_programming dbr:XSB dbr:Apache_HTTP_Server dbr:Security dbr:Erlang_(programming_language) dbr:Racket_(programming_language) dbr:Resource_Description_Framework dbr:Binary_decision_diagram dbr:Inequality_(mathematics) dbr:FoundationDB dbr:Clause_(logic) dbr:Ruby_(programming_language) dbr:Datalog dbr:SPARQL dbr:Recursion dbr:Fixed_point_(mathematics) dbr:Flix_(programming_language) dbr:Datomic dbr:Soundness dbr:David_Maier dbr:Knowledge_graph dbr:Relational_database dbr:Robert_Kowalski dbr:Power_set dbr:Web_Ontology_Language dbr:Turing_completeness dbr:Substitution_(logic) dbr:SQL:1999 dbr:POSIX dbr:Query_language dbr:TerminusDB dbr:Computer_network dbr:First-order_logic dbr:Proof-theoretic_semantics dbr:Graph_database dbr:OCaml dbr:.QL dbc:Query_languages dbr:Conjunctive_query dbr:Logic_programming dbr:Aggregate_function dbr:Program_analysis dbr:Domain-specific_language dbr:LogicBlox dbr:SecPAL dbr:Information_extraction dbr:High_availability dbr:Countable_set dbr:Cut_(logic_programming) dbr:Undecidable_problem dbr:Hierarchical_and_recursive_queries_in_SQL dbc:Declarative_programming_languages dbc:Logic_programming_languages dbr:Weak_typing dbr:RDFS dbr:Hadoop dbr:Herbrand_base dbr:Literal_(mathematical_logic) dbr:Jena_(framework) dbr:Fragment_(logic) dbr:Tuple-generating_dependency dbr:Database_system dbr:Semantic_web dbr:Springer-Verlag dbr:Predicate_variable dbr:Predicate_(logic) dbr:Haskell_(programming_language) dbr:DLV dbr:Negation_(logics) dbr:Declarative_language dbr:IBM_DB2 dbr:Disjunction dbr:LMDB dbr:Integrity_constraint dbr:Model-theoretic dbr:OWL_2 dbr:Unions_of_conjunctive_queries dbr:Hervé_Gallaire dbr:Leapsight_Semantic_Dataspace
dbp:dialects	Datomic, .QL, Soufflé, XTDB, etc. (en)
dbp:extension	.dl (en)
dbp:family	dbr:Prolog
dbp:influenced	dbr:SQL
dbp:influencedBy	dbr:Prolog
dbp:mime	https://www.iana.org/assignments/media-types/application/vnd.datalog
dbp:paradigm	dbr:Declarative_programming dbr:Logic_programming
dbp:typing	dbr:Strong_and_weak_typing
dbp:url	https://datalog-specs.info
dbp:wikiPageUsesTemplate	dbt:BSD-lic dbt:LGPL-lic dbt:Cite_book dbt:Proprietary dbt:Query_languages dbt:Authority_control dbt:Citation_needed dbt:Cite_journal dbt:Collapse_bottom dbt:Collapse_top dbt:Column dbt:Columns-end dbt:Columns-start dbt:Em dbt:Expand_section dbt:Free dbt:Further dbt:Infobox_file_format dbt:Infobox_programming_language dbt:Main dbt:Mvar dbt:N/a dbt:Reflist dbt:Section_link dbt:Sfn dbt:Short_description dbt:Start_date_and_age dbt:Unreliable_source? dbt:Dfni
dct:subject	dbc:Query_languages dbc:Declarative_programming_languages dbc:Logic_programming_languages
gold:hypernym	dbr:Language
rdf:type	owl:Thing dbo:Language dbo:Language wikidata:Q315 wikidata:Q9143 dbo:ProgrammingLanguage dbo:ProgrammingLanguage dbo:ProgrammingLanguage schema:Language
rdfs:label	Datalog (en) Datalog (cs) Datalog (el) Datalog (fr) Datalog (de) Datalog (it) Datalog (pl) Datalog (pt) Datalog (ru) Datalog (uk) Datalog (zh)
owl:sameAs	freebase:Datalog yago-res:Datalog wikidata:Datalog dbpedia-de:Datalog dbpedia-it:Datalog dbpedia-pl:Datalog dbpedia-fr:Datalog dbpedia-pt:Datalog dbpedia-ru:Datalog dbpedia-zh:Datalog dbpedia-el:Datalog dbpedia-cs:Datalog dbpedia-fa:Datalog dbpedia-sr:Datalog dbpedia-uk:Datalog dbpedia-global:Datalog
prov:wasDerivedFrom	wikipedia-en:Datalog?oldid=1306517382&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Proof_tree_for_Datalog_transitive_closure_computation.svg wiki-commons:Special:FilePath/Theta_supercomputer_-_389_071_002_(36954713450).jpg
foaf:isPrimaryTopicOf	wikipedia-en:Datalog
is dbo:genre of	dbr:Datomic
is dbo:influenced of	dbr:Prolog
is dbo:influencedBy of	dbr:SQL dbr:.QL dbr:LogicBlox dbr:Soufflé_(programming_language)
is dbo:wikiPageRedirects of	dbr:List_of_Datalog_interpreters dbr:Magic_Sets_algorithm
is dbo:wikiPageWikiLink of	dbr:Data_integration dbr:Semantic_Web_Rule_Language dbr:Prolog dbr:Rego dbr:Deductive_database dbr:Deductive_language dbr:Monica_S._Lam dbr:Pointer_analysis dbr:Document-oriented_database dbr:List_of_JVM_languages dbr:Datalog dbr:SQL dbr:Fixed_point_(mathematics) dbr:Flix_(programming_language) dbr:Temporal_database dbr:Datomic dbr:Burrows–Abadi–Needham_logic dbr:Database_theory dbr:David_Maier dbr:Seymour_Ginsburg dbr:ConceptBase dbr:Description_logic dbr:Query_language dbr:TerminusDB dbr:Expressive_power_(computer_science) dbr:Graph_database dbr:Literate_programming dbr:.QL dbr:Semmle dbr:Conjunctive_query dbr:Comparison_of_object_database_management_systems dbr:Complexity_of_constraint_satisfaction dbr:NoSQL dbr:Relational_algebra dbr:Logic_programming dbr:Transitive_closure dbr:Nicola_Leone dbr:GOAL_agent_programming_language dbr:Vadalog dbr:Game_Description_Language dbr:R2ML dbr:Hierarchical_and_recursive_queries_in_SQL dbr:List_of_programming_languages dbr:Glossary_of_computer_science dbr:Tuple-generating_dependency dbr:Fixed-point_logic dbr:Racket_features dbr:Glossary_of_artificial_intelligence dbr:Object-role_modeling dbr:DLV dbr:Comparison_of_programming_paradigms dbr:List_of_Datalog_interpreters dbr:Magic_Sets_algorithm
is dbp:family of	dbr:LogicBlox dbr:Soufflé_(programming_language) dbr:Vadalog
is dbp:genre of	dbr:Datomic
is dbp:influencedBy of	dbr:SQL dbr:.QL dbr:LogicBlox dbr:Soufflé_(programming_language)
is foaf:primaryTopic of	wikipedia-en:Datalog