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

use oak_core::errors::OakError;
use oak_prolog::{language::PrologLanguage, parser::PrologParser};
use oak_testing::parsing::ParserTester;
use std::{path::Path, time::Duration};

#[test]
fn test_prolog_parser() -> Result<(), OakError> {
    let here = Path::new(env!("CARGO_MANIFEST_DIR"));
    let tests = here.join("tests/parser");
    let language = PrologLanguage::default();
    let parser = PrologParser::new(language);
    let test_runner = ParserTester::new(tests).with_extension("pl").with_timeout(Duration::from_secs(5));
    test_runner.run_tests(&parser)
}