Struct Program 

pub struct Program {
    pub rules: Vec<Rule>,
}

Represents a complete Datalog program

Fields

rules: Vec<Rule>

Implementations

impl Program

pub fn new() -> Self

Create a new empty program

pub fn add_rule(&mut self, rule: Rule)

Add a rule to the program

pub fn idbs(&self) -> Vec<String>

Returns all IDB relations (those that appear as heads of rules)

pub fn edbs(&self) -> Vec<String>

Returns all EDB relations (those that appear in bodies but never as heads)

pub fn all_relations(&self) -> Vec<String>

Get all relation names (both EDB and IDB)

pub fn is_safe(&self) -> bool

Check if all rules in the program are safe

pub fn recursive_rules(&self) -> Vec<&Rule>

Get all recursive rules

pub fn non_recursive_rules(&self) -> Vec<&Rule>

Get all non-recursive rules

Trait Implementations

impl Clone for Program

fn clone(&self) -> Program

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Program

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Program

fn default() -> Self

Returns the “default value” for a type.