China
Africa
Explore chapters and articles related to this topic
Development of Process-Centric Application Systems
Published in Vivek Kale, Enterprise Process Management Systems, 2018
Datalog, a language derived from logic programming, is used as a representation language to define the contents and the structure of the information stored in the deductive spreadsheet. Datalog is a declarative, nonprocedural language that is uniform and set-oriented. In contrast to Prolog, the Datalog evaluation strategy is bottom-up: it starts with the true facts of a logical specification and uses them to compute all of their immediate consequences according to the given inference rules. It then uses these derived facts and the inference rules to compute a second round of consequences, then a third, and so on until all of the logical consequences of the specification have been discovered. The syntactic restrictions ensure termination, even in the presence of recursive rules.
Rule Languages
Published in Umberto Straccia, Foundations of Fuzzy Logic and Semantic Web Languages, 2016
Datalog is a rule and query language for deductive databases that syntactically is a subset of Logic Programs [263] and became prominent as a separate area around 1977 when Hervé Gallaire and Jack Minker organized a workshop on logic and databases [166]. David Maier is credited with coining the term Datalog [2].
Finding and sharing GIS methods based on the questions they answer
Published in International Journal of Digital Earth, 2019
S. Scheider, A. Ballatore, R. Lemmens
What are appropriate strategies for capturing the functionality behind GIS tools? Datalog is a logic programing language based on Prolog that has been presented as a promising way of describing geoprocessing services (Fitzner, Hoffmann, and Klien 2011). In this section, however, we show that Datalog is insufficient for capturing certain geospatial functionality. In what follows, we express free variables with a preceding question-mark . Datalog rules are of the form: