Enum Clause 

pub enum Clause {
    Pattern(Pattern),
    Predicate {
        name: String,
        args: Vec<Term>,
    },
    Function {
        name: String,
        args: Vec<Term>,
        binding: Binding,
    },
    Not {
        vars: Option<Vec<Var>>,
        clauses: Vec<Clause>,
    },
    Or {
        vars: Option<Vec<Var>>,
        branches: Vec<Vec<Clause>>,
    },
    Rule {
        name: String,
        args: Vec<Term>,
    },
}

A :where clause.

Variants

Pattern(Pattern)

A data pattern [src? e a v tx? added?].

Predicate

A predicate [(name args...)].

Fields

name: String

Predicate name (>, <, a rule predicate, …).

args: Vec<Term>

Argument terms.

Function

A function [(name args...) binding].

Fields

name: String

Function name.

args: Vec<Term>

Argument terms.

binding: Binding

Output binding.

Not

(not clauses...) or (not-join [vars] clauses...).

Fields

vars: Option<Vec<Var>>

Join variables for not-join; None for plain not.

clauses: Vec<Clause>

Negated clauses.

Or

(or branches...) or (or-join [vars] branches...).

Fields

vars: Option<Vec<Var>>

Join variables for or-join; None for plain or.

branches: Vec<Vec<Clause>>

Alternative clause groups; each inner vector is an and branch.

Rule

A rule invocation (rule-name args...).

Fields

name: String

Rule name.

args: Vec<Term>

Argument terms.

Trait Implementations

impl Clone for Clause

fn clone(&self) -> Clause

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Clause

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

Formats the value using the given formatter.

impl Eq for Clause

impl From<Pattern> for Clause

fn from(value: Pattern) -> Self

Converts to this type from the input type.

impl PartialEq for Clause

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Clause