Enum PrologMode 

pub enum PrologMode {
    In,
    Out,
    InOut,
    Meta,
    NotFurther,
}

Prolog argument mode.

Variants

In

+ — argument must be instantiated.

Out

- — argument will be instantiated by the predicate.

InOut

? — argument may or may not be instantiated.

Meta

: — meta-argument (goal, callable).

NotFurther

@ — argument will not be further instantiated.

Trait Implementations

impl Clone for PrologMode

fn clone(&self) -> PrologMode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PrologMode

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

Formats the value using the given formatter.

impl Display for PrologMode

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

Formats the value using the given formatter.

impl PartialEq for PrologMode

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