Enum Token 

pub enum Token {
    Atom(String),
    Variable(String),
    Anonymous,
    Integer(i32),
    Neck,
    Query,
    Comma,
    Semicolon,
    Dot,
    Pipe,
    Cut,
    LParen,
    RParen,
    LBracket,
    RBracket,
    Plus,
    Minus,
    Star,
    Slash,
    Mod,
    Is,
    Unify,
    NotUnify,
    Identical,
    NotIdentical,
    Lt,
    Gt,
    Le,
    Ge,
    ArithEq,
    ArithNe,
    Eof,
}

Token types for Prolog.

Variants

Atom(String)

Atom: lowercase identifier or quoted string

Variable(String)

Variable: uppercase identifier or underscore

Anonymous

Anonymous variable: _

Integer(i32)

Integer literal

Neck

:- (clause neck / query)

Query

?- (query)

Comma

, (conjunction)

Semicolon

; (disjunction)

Dot

. (end of clause)

Pipe

| (list tail separator)

Cut

! (cut)

LParen

(

RParen

)

LBracket

[

RBracket

]

Plus

Minus

Star

Slash

/

Mod

mod

Is

is

Unify

=

NotUnify

=

Identical

==

NotIdentical

==

Lt

<

Gt

Le

=<

Ge

=

ArithEq

=:=

ArithNe

==

Eof

End of file

Implementations

impl Token

pub fn can_start_term(&self) -> bool

Returns true if this token can start a term.

Trait Implementations

impl Clone for Token

fn clone(&self) -> Token

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Token

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

Formats the value using the given formatter.

impl PartialEq for Token

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