Enum LpTerm 

pub enum LpTerm {
    Atom(String),
    Var(String),
    Compound {
        functor: String,
        args: Vec<LpTerm>,
    },
    Integer(i64),
    Float(f64),
    List(Vec<LpTerm>, Option<Box<LpTerm>>),
}

A Prolog-style term.

Variants

Atom(String)

Atom: a ground constant, e.g. foo, [], true.

Var(String)

Variable: begins with uppercase or _, e.g. X, _Y.

Compound

Compound term: f(t1, ..., tn).

Fields

functor: String

The functor name.

args: Vec<LpTerm>

Arguments.

Integer(i64)

Integer literal.

Float(f64)

Float literal.

List(Vec<LpTerm>, Option<Box<LpTerm>>)

List [h1, h2, ... | Tail] — proper list when tail is None.

Implementations

impl LpTerm

pub fn atom(s: impl Into<String>) -> Self

Construct an atom.

pub fn var(s: impl Into<String>) -> Self

Construct a variable.

pub fn compound(functor: impl Into<String>, args: Vec<LpTerm>) -> Self

Construct a compound term.

pub fn list(items: Vec<LpTerm>) -> Self

Construct a proper list (no tail variable).

pub fn list_with_tail(items: Vec<LpTerm>, tail: LpTerm) -> Self

Construct a partial list with tail variable.

pub fn is_ground(&self) -> bool

Return true if this term is ground (contains no variables).

pub fn variables(&self) -> Vec<String>

Collect all variable names in this term (without deduplication).

Trait Implementations

impl Clone for LpTerm

fn clone(&self) -> LpTerm

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LpTerm

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

Formats the value using the given formatter.

impl PartialEq for LpTerm

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