Extended Query Model

Datalog queries are defined in a similar way as standard query classes. They must be declared as instance of the class DatalogQueryClass.

Class DatalogQueryClass isA GenericQueryClass with
attribute
   code : String
end

The attribute code defines the executable code of the query as string.

Datalog rules have to be defined as an instance of DatalogInRule or DatalogAttrRule, depending on whether their conclusion should be an In-Literal or an A-Literal.

Class DatalogRule with
attribute
  concernedClass : Proposition;
  code : String
end

Class DatalogInRule isA DatalogRule
end

Class DatalogAttrRule isA DatalogRule
end

The attribute concernedClass specifies the class for the In-Literal or the attribute class for the A-Literal.