scryer-prolog 0.8.5

A modern Prolog implementation written mostly in Rust.
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

#[macro_use] extern crate downcast;
#[macro_use] extern crate prolog_parser;

extern crate readline_rs;
extern crate termion;

mod prolog;

use prolog::machine::*;
use prolog::machine::compile::*;
use prolog::machine::machine_errors::*;
use prolog::machine::toplevel::string_to_toplevel;
use prolog::read::*;
use prolog::write::*;

#[cfg(test)]
mod tests;

fn prolog_repl() {
    let mut wam = Machine::new();

    loop {
        set_line_mode(LineMode::Single);

        match toplevel_read_line() {
            Ok(Input::TermString(buffer)) => {
                let result = match string_to_toplevel(buffer, &mut wam) {
                    Ok(packet) => compile_term(&mut wam, packet),
                    Err(e) => EvalSession::from(e)
                };

                print(&mut wam, result)
            },
            Ok(Input::Batch) => {
                set_line_mode(LineMode::Multi);

                let src = match read_line("") {
                    Ok(src) => src,
                    Err(e) => {
                        println!("{}", e);
                        continue;
                    }
                };
                
                let result = compile_user_module(&mut wam, src.as_bytes());
                print(&mut wam, result);
            },
            Ok(Input::Quit) => break,
            Ok(Input::Clear) => {
                wam.clear();
                continue;
            },
            Err(e) => print(&mut wam, EvalSession::from(e))
        };

        wam.reset();
    }
}

fn main() {
    readline_initialize();
    prolog_repl();
}