Enum Clause 

pub enum Clause {
    Pattern(Pattern),
    Pred {
        name: String,
        args: Vec<Term>,
    },
    Fn {
        name: String,
        args: Vec<Term>,
        binding: Binding,
    },
    Not {
        src: String,
        vars: Option<Vec<Var>>,
        clauses: Vec<Clause>,
    },
    Or {
        src: String,
        vars: Option<Vec<Var>>,
        branches: Vec<Vec<Clause>>,
    },
    RuleCall {
        name: String,
        args: Vec<Term>,
    },
}

A :where clause.

Variants

Pattern(Pattern)

A data pattern.

Pred

A predicate [(pred args…)].

Fields

name: String

Predicate name.

args: Vec<Term>

Argument terms.

Fn

A function [(f args…) binding].

Fields

name: String

Function name.

args: Vec<Term>

Argument terms.

binding: Binding

Output binding.

Not

not / not-join.

Fields

src: String

Database source name.

vars: Option<Vec<Var>>

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

clauses: Vec<Clause>

Negated clauses.

Or

or / or-join.

Fields

src: String

Database source name.

vars: Option<Vec<Var>>

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

branches: Vec<Vec<Clause>>

Alternative clause groups.

RuleCall

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 PartialEq for Clause

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Clause