Struct Rule 

pub struct Rule {
    pub head: Atom,
    pub body: Vec<BodyLiteral>,
}

A rule (head :- body)

Fields

head: Atom

Head atom of the rule.

body: Vec<BodyLiteral>

Body literals (empty for facts).

Implementations

impl Rule

pub fn is_fact(&self) -> bool

Returns true if this rule is a ground fact (empty body).

pub fn has_negation(&self) -> bool

Returns true if any body literal is negated.

pub fn has_aggregation(&self) -> bool

Returns true if the head contains an aggregate term.

pub fn body_predicates(&self) -> Vec<&str>

Collect predicate names from the body.

pub fn head_variables(&self) -> Vec<&str>

Collect named variables from the head.

pub fn body_variables(&self) -> Vec<&str>

Collect all named variables from the body.

Trait Implementations

impl Clone for Rule

fn clone(&self) -> Rule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Rule

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

Formats the value using the given formatter.

impl PartialEq for Rule

fn eq(&self, other: &Rule) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Rule