Struct LpClause 

pub struct LpClause {
    pub head: LpTerm,
    pub body: Vec<LpTerm>,
}

A Horn clause: head :- body1, body2, ... or a fact: head. (empty body).

Fields

head: LpTerm

The head of the clause.

body: Vec<LpTerm>

The body (conjunction of goals). Empty for facts.

Implementations

impl LpClause

pub fn fact(head: LpTerm) -> Self

Construct a fact (no body).

pub fn rule(head: LpTerm, body: Vec<LpTerm>) -> Self

Construct a rule.

pub fn is_fact(&self) -> bool

True if this clause has no body (is a fact).

Trait Implementations

impl Clone for LpClause

fn clone(&self) -> LpClause

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LpClause

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

Formats the value using the given formatter.