Trait swipl::term::Unifiable

pub unsafe trait Unifiable {
    // Required method
    fn unify(&self, term: &Term<'_>) -> bool;
}

Trait for term unification.

Safety

This is marked unsafe because in order to do term unification, we must be sure that

• the term is created on the engine which is currently active
• the given context is a context for this engine

Not checking those preconditions results in undefined behavior. Therefore, care must be taken to ensure that unify is actually safe.

The macro [unifiable!] provides a way to safely implement this trait by doing the precondition checks for you.

Required Methods

fn unify(&self, term: &Term<'_>) -> bool

Unify this data with the given term reference.

You’d generally not use this directly, but rather, go through Term::unify.

Implementations on Foreign Types

impl<'a> Unifiable for &str

fn unify(&self, term: &Term<'_>) -> bool

impl<'a> Unifiable for &[u8]

fn unify(&self, term: &Term<'_>) -> bool

impl<'a> Unifiable for bool

fn unify(&self, term: &Term<'_>) -> bool

impl<'a> Unifiable for f64

fn unify(&self, term: &Term<'_>) -> bool

impl<'a> Unifiable for i64

fn unify(&self, term: &Term<'_>) -> bool

impl<'a> Unifiable for u64

fn unify(&self, term: &Term<'_>) -> bool

impl<'a> Unifiable for String

fn unify(&self, term: &Term<'_>) -> bool

impl<'a, T> Unifiable for &'a [T]

where &'a T: 'a + Unifiable,

fn unify(&self, term: &Term<'_>) -> bool

impl<T: ArcBlob> Unifiable for Arc<T>

fn unify(&self, term: &Term<'_>) -> bool

impl<T: Unifiable> Unifiable for &T

fn unify(&self, term: &Term<'_>) -> bool

Implementors

impl<'a> Unifiable for Atomable<'a>

impl<'a> Unifiable for Atom

impl<'a> Unifiable for DictBuilder<'a>

impl<'a> Unifiable for Functor

impl<'a> Unifiable for Record

impl<'a> Unifiable for Nil

impl<'a> Unifiable for Term<'a>