Struct PrologClause 

pub struct PrologClause {
    pub head: PrologTerm,
    pub body: Vec<PrologTerm>,
    pub is_fact: bool,
    pub comment: Option<String>,
}

A Prolog clause: either a fact Head. or a rule Head :- Body.

Fields

head: PrologTerm

The head of the clause.

body: Vec<PrologTerm>

Body goals (empty for facts).

is_fact: bool

True if this is a fact (body is empty and displayed without :-).

comment: Option<String>

Optional comment for documentation.

Implementations

impl PrologClause

pub fn fact(head: PrologTerm) -> Self

Create a fact clause.

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

Create a rule clause.

pub fn with_comment(self, comment: impl Into<String>) -> Self

Add a comment.

pub fn emit(&self) -> String

Emit this clause as a Prolog string.

Trait Implementations

impl Clone for PrologClause

fn clone(&self) -> PrologClause

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PrologClause

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

Formats the value using the given formatter.

impl PartialEq for PrologClause

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