Enum EirTerm 

pub enum EirTerm {
    Variable(String),
    Anonymous,
    Integer(i64),
    FloatBits(u64),
    String(String),
    Symbol(u32),
    List(Vec<EirTerm>),
    Cons {
        head: Box<EirTerm>,
        tail: Box<EirTerm>,
    },
    Compound {
        functor: String,
        args: Vec<EirTerm>,
    },
    PredRef(String),
    Aggregate {
        op: String,
        variable: String,
    },
}

Term representation preserved at the epistemic boundary.

Variants

Variable(String)

Named logic variable.

Anonymous

Anonymous wildcard.

Integer(i64)

Integer literal.

FloatBits(u64)

Floating-point literal represented by its IEEE-754 bits.

String(String)

Quoted string literal.

Symbol(u32)

Interned symbol identifier.

List(Vec<EirTerm>)

Finite list literal.

Cons

Finite cons pattern.

Fields

head: Box<EirTerm>

Head term.

tail: Box<EirTerm>

Tail term.

Compound

Finite compound term.

Fields

functor: String

Functor name.

args: Vec<EirTerm>

Compound arguments.

PredRef(String)

Static predicate reference.

Aggregate

Aggregate term preserved from a rule head.

Fields

op: String

Aggregate operator name.

variable: String

Variable being aggregated.

Trait Implementations

impl Clone for EirTerm

fn clone(&self) -> EirTerm

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EirTerm

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

Formats the value using the given formatter.

impl PartialEq for EirTerm

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

impl StructuralPartialEq for EirTerm