Packages

datalog

2.0.2
2.0.2 1.2.2 1.2.1

datalog is a query language based on the logic programming paradigm

Current section

Files

Jump to
Readme
3 Versions
1 Dependency
Dependants
Files
Activity
datalog src datalog.hrl
Raw

src/datalog.hrl 

%% @doc

%%   abstract syntax tree 



%%

%% Erlang Native Format







-type id()     :: atom() | {atom(), atom()} | {iri, binary(), binary()}.

-type head()   :: [_].

-type body()   :: [#{}].



-record(goal, {

   id   = undefined        :: id()

,  head = undefined        :: head()

}).



-record(horn, {

   id   = undefined        :: id()

,  head = undefined        :: head()

,  body = undefined        :: body()

}).



-record(join, {

   id   = undefined        :: id()

,  head = undefined        :: head()

,  horn = undefined        :: [#horn{}]

}).



-record(recc, {

   id   = undefined        :: id()

,  head = undefined        :: head()

,  horn = undefined        :: [#horn{}]

}).



-record(source, {

   id   = undefined        :: id()

,  head = undefined        :: head()

}).