Enum scryer_prolog::Term

#[non_exhaustive]
pub enum Term {
    Integer(Integer),
    Rational(Rational),
    Float(f64),
    Atom(String),
    String(String),
    List(Vec<Term>),
    Compound(String, Vec<Term>),
    Var(String),
}

Represents a Prolog term.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Integer(Integer)

An arbitrary precision integer.

Rational(Rational)

An arbitrary precision rational.

Float(f64)

A float.

Atom(String)

A Prolog atom.

String(String)

A Prolog string.

In particular, this represents Prolog lists of characters.

List(Vec<Term>)

A Prolog list.

Compound(String, Vec<Term>)

A Prolog compound term.

Var(String)

A Prolog variable.

Implementations

impl Term

pub fn integer(value: impl Into<Integer>) -> Self

Creates an integer term.

pub fn rational(value: impl Into<Rational>) -> Self

Creates a rational term.

pub fn float(value: impl Into<f64>) -> Self

Creates a float term.

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

Creates an atom term.

pub fn string(value: impl Into<String>) -> Self

Creates a string term.

In specific, this represents a list of chars in Prolog.

pub fn list(value: impl IntoIterator<Item = Term>) -> Self

Creates a list term.

pub fn compound( functor: impl Into<String>, args: impl IntoIterator<Item = Term>, ) -> Self

Creates a compound term.

pub fn variable(value: impl Into<String>) -> Self

Creates a variable.

pub fn conjunction(value: impl IntoIterator<Item = Term>) -> Self

Creates a conjunction, giving the atom true if empty.

pub fn try_conjunction(value: impl IntoIterator<Item = Term>) -> Option<Self>

Creates a conjunction, giving None if empty.

pub fn disjunction(value: impl IntoIterator<Item = Term>) -> Self

Creates a disjunction, giving the atom false if empty.

pub fn try_disjunction(value: impl IntoIterator<Item = Term>) -> Option<Self>

Creates a disjunction, giving None if empty.

Trait Implementations

impl Clone for Term

fn clone(&self) -> Term

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Term

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

Formats the value using the given formatter.

impl PartialEq for Term

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Term