Struct HornClause 

pub struct HornClause {
    pub body: Vec<usize>,
    pub head: Option<usize>,
}

A Horn clause (body ⇒ head): the conjunction of the body variables implies head, or — when head is None — implies false (a goal/integrity clause).

Fields

body: Vec<usize>

Positive body variables (the antecedent conjunction).

head: Option<usize>

The implied variable, or None for a goal clause body ⇒ false.

Implementations

impl HornClause

pub fn rule(body: impl Into<Vec<usize>>, head: usize) -> Self

A definite rule body ⇒ head.

pub fn fact(head: usize) -> Self

A fact ⇒ head (empty body).

pub fn goal(body: impl Into<Vec<usize>>) -> Self

A goal body ⇒ false.

Trait Implementations

impl Clone for HornClause

fn clone(&self) -> HornClause

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HornClause

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

Formats the value using the given formatter.

impl PartialEq for HornClause

fn eq(&self, other: &HornClause) -> 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 Eq for HornClause

impl StructuralPartialEq for HornClause