scryer-prolog 0.8.29

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

extern crate num;
extern crate ordered_float;
extern crate prolog_parser;

pub mod instructions;
#[macro_use] mod macros;
mod clause_types;
#[macro_use] mod allocator;
mod fixtures;
pub mod machine;
mod forms;
mod arithmetic;
mod codegen;
mod debray_allocator;
mod heap_iter;
mod indexing;
pub mod write;
mod iterators;
pub mod heap_print;
mod targets;
pub mod read;