Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
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
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International