Datalog structure

Up to index

The Datalog structure provides functions to parse, validate, translate, and execute Datalog programs within Morel.

Synopsis

val execute : string -> variant
val translate : string -> string option
val validate : string -> string

execute

execute program executes a Datalog program and returns formatted output as a variant.

translate

translate program translates a Datalog program to Morel source code, returning SOME code if valid or NONE if invalid.

validate

validate program validates a Datalog program and returns type information or error message.