List of all items

Structs

• app::App
• app::BodyClause
• app::Config
• app::Examples
• app::SetUp
• heap::query_heap::QueryHeap
• heap::symbol_db::SymbolDB
• parser::build_tree::TokenStream
• program::clause::BitFlag64
• program::clause::Clause
• program::hypothesis::Hypothesis
• program::predicate_table::PredicateEntry
• program::predicate_table::PredicateTable
• resolution::proof::Proof
• resolution::unification::Substitution

Enums

• heap::heap::Tag
• parser::build_tree::TreeClause
• predicate_modules::PredReturn
• program::predicate_table::Predicate

Traits

• heap::heap::Heap

Functions

• heap::symbol_db::known_symbol_id
• parser::execute_tree::build_clause
• parser::tokeniser::tokenise
• predicate_modules::load_all_modules
• predicate_modules::load_predicate_module
• predicate_modules::maths::is_pred
• predicate_modules::meta_predicates::not
• resolution::build::build
• resolution::build::re_build_bound_arg_terms
• resolution::unification::unify
• top_prog::run

Type Aliases

• heap::heap::Cell
• predicate_modules::PredicateFunction
• predicate_modules::PredicateModule
• program::hypothesis::Constraints
• resolution::proof::Binding

Statics

• predicate_modules::MATHS
• predicate_modules::META_PREDICATES

Constants

• heap::heap::EMPTY_LIS
• heap::heap::_CON_PTR
• heap::heap::_FALSE
• heap::heap::_TRUE