oak-prolog 0.0.11

Prolog language parser with support for logic programming and declarative programming features.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80

#![doc = include_str!("readme.md")]

/// Prolog root node.
#[derive(Debug, Clone)]
pub struct PrologRoot;

/// Prolog token type alias.
pub type PrologToken = crate::lexer::PrologTokenType;

/// Prolog source file.
#[derive(Debug, Clone)]
pub struct SourceFile {
    /// All clauses in the file.
    pub clauses: Vec<Clause>,
}

/// Prolog clause.
#[derive(Debug, Clone)]
pub enum Clause {
    /// Rule.
    Rule(Rule),
    /// Fact.
    Fact(Fact),
    /// Query.
    Query(Query),
    /// Directive.
    Directive(Directive),
}

/// Prolog rule.
#[derive(Debug, Clone)]
pub struct Rule {
    /// Rule head.
    pub head: Term,
    /// Rule body.
    pub body: Term,
}

/// Prolog fact.
#[derive(Debug, Clone)]
pub struct Fact {
    /// Fact term.
    pub term: Term,
}

/// Prolog query.
#[derive(Debug, Clone)]
pub struct Query {
    /// Query term.
    pub term: Term,
}

/// Prolog directive.
#[derive(Debug, Clone)]
pub struct Directive {
    /// Directive term.
    pub term: Term,
}

/// Prolog term.
#[derive(Debug, Clone)]
pub enum Term {
    /// Atom.
    Atom(String),
    /// Variable.
    Variable(String),
    /// Number.
    Number(String),
    /// String.
    String(String),
    /// Compound term.
    Compound {
        /// Functor.
        functor: String,
        /// Arguments list.
        args: Vec<Term>,
    },
    /// List.
    List(Vec<Term>),
}