scryer-prolog 0.10.0

A modern Prolog implementation written mostly in Rust.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

use std::collections::BTreeSet;
use std::env;

#[derive(Debug)]
pub struct MachineArgs {
    pub add_history: bool,
}

impl MachineArgs {
    pub fn new() -> Self {
        let args: BTreeSet<String> = env::args().collect();
        Self {
            add_history: !args.contains("--no-add-history"),
        }
    }
}

impl Default for MachineArgs {
    fn default() -> Self {
        Self::new()
    }
}