scryer-prolog 0.8.2

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

#[macro_use] extern crate downcast;
#[macro_use] extern crate prolog_parser;
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::*;

use std::io::{Write, stdin, stdout};

#[cfg(test)]
mod tests;

fn prolog_repl() {
    let mut wam = Machine::new();
    
    loop {
        print!("prolog> ");
        stdout().flush().unwrap();
        
        match toplevel_read_line() {
            Ok(Input::TermString(buffer)) => {
                let stdin  = stdin();
                let result = match string_to_toplevel(stdin.lock(), buffer, &mut wam) {
                    Ok(packet) => compile_term(&mut wam, packet),
                    Err(e) => EvalSession::from(e)
                };

                print(&mut wam, result)
            },
            Ok(Input::Batch) => {
                let stdin  = stdin();
                let result = compile_user_module(&mut wam, stdin.lock());
                
                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() {
    prolog_repl();
}