List of all items

Structs

• ast::Clause
• builtins::BuiltinPredicates
• engine::EngineStats
• engine::ExecutionContext
• engine::PrologEngine
• error::Position
• lexer::Tokenizer
• parser::Parser
• unification::Unifier
• utils::ClauseUtils
• utils::DatabaseAnalysis
• utils::EngineUtils
• utils::PrettyPrinter
• utils::TermUtils

Enums

• ast::Term
• error::ParseError
• error::RuntimeError
• lexer::Token

Functions

• error::levenshtein_distance
• parse_term
• quick_query
• unification::substitution_utils::clear
• unification::substitution_utils::format_substitution
• unification::substitution_utils::is_empty
• unification::substitution_utils::len
• unification::substitution_utils::new

Type Aliases

• error::ParseResult
• error::RuntimeResult
• unification::Substitution