List of all items

Structs

• database::CompiledDatabase
• index::PredicateEntry
• parser::Parser
• solver::Solution
• solver::Solver
• term::Clause
• term::StringInterner
• tokenizer::Token
• tokenizer::Tokenizer
• unify::Substitution

Enums

• builtins::BuiltinResult
• solver::SolveResult
• term::FirstArgKey
• term::Term
• tokenizer::TokenKind

Functions

• builtins::build_list
• builtins::builtin_atom_names
• builtins::builtin_functor_names
• builtins::collect_list
• builtins::exec_builtin
• builtins::is_builtin
• builtins::term_compare
• index::build_index
• index::lookup_clauses
• solver::term_to_string

Type Aliases

• index::PredicateIndex
• term::AtomId
• term::VarId