Module datalog 

Datalog syntax parser for TensorLogic

Supports parsing Datalog syntax for facts, rules, and queries:

• Facts: parent(alice, bob).
• Rules: grandparent(X, Z) :- parent(X, Y), parent(Y, Z).
• Queries: ?- parent(alice, X).

Structs

DatalogParser

Datalog parser

ParseError

Datalog parse error

Enums

Statement

Parsed Datalog statement

Functions

parse_fact

Parse a Datalog fact

parse_query

Parse a Datalog query

parse_rule

Parse a Datalog rule