scryer-prolog 0.8.61

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

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

cfg_if! {
    if #[cfg(feature = "readline_rs_compat")] {
        extern crate readline_rs_compat;
    }
}

extern crate termion;

mod prolog;

use prolog::machine::*;
use prolog::machine::machine_errors::*;
use prolog::read::*;

#[cfg(test)]
mod tests;

fn main() {
    #[cfg(feature = "readline_rs_compat")]
    readline::readline_initialize();

    let mut wam = Machine::new(readline::input_stream());
    wam.run_toplevel();
}