Skip to main content

prolog2/parser/
mod.rs

1//! Prolog source parsing.
2//!
3//! Converts Prolog source text into compiled heap terms via three stages:
4//! tokenisation ([`tokeniser`](crate::parser::tokeniser)), syntax tree
5//! construction ([`build_tree`](crate::parser::build_tree)), and heap encoding
6//! ([`execute_tree`](crate::parser::execute_tree)).
7
8pub mod build_tree;
9pub mod execute_tree;
10mod term;
11pub mod tokeniser;