Enum ExecutableTerm 

pub enum ExecutableTerm {
    Variable {
        name: String,
    },
    Anonymous,
    Integer {
        value: i64,
    },
    Float {
        ieee754_bits: u64,
    },
    String {
        value: String,
    },
    Symbol {
        value: String,
    },
    List {
        items: Vec<ExecutableTerm>,
    },
    Cons {
        head: Box<ExecutableTerm>,
        tail: Box<ExecutableTerm>,
    },
    Compound {
        functor: String,
        arguments: Vec<ExecutableTerm>,
    },
    PredicateReference {
        name: String,
    },
    Aggregate {
        operator: AggregateOperator,
        variable: String,
    },
}

Complete source term representation used by executable atoms.

Variants

Variable

Fields

name: String

Anonymous

Integer

Fields

value: i64

Float

Fields

ieee754_bits: u64

String

Fields

value: String

Symbol

Fields

value: String

List

Fields

items: Vec<ExecutableTerm>

Cons

Fields

head: Box<ExecutableTerm>

tail: Box<ExecutableTerm>

Compound

Fields

functor: String

arguments: Vec<ExecutableTerm>

PredicateReference

Fields

name: String

Aggregate

Fields

operator: AggregateOperator

variable: String

Trait Implementations

impl Clone for ExecutableTerm

fn clone(&self) -> ExecutableTerm

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExecutableTerm

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

Formats the value using the given formatter.

impl Eq for ExecutableTerm

impl PartialEq for ExecutableTerm

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ExecutableTerm

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ExecutableTerm