List of all items
Structs
Enums
- built_in_arithmetic::SNumber
- goal::Goal
- infix::Infix
- operator::Operator
- token::Token
- token::TokenType
- unifiable::Unifiable
Macros
- add_rules
- and_goal
- anon
- atom
- chars_to_string
- cons_node
- empty_ss
- logic_var
- or_goal
- pred
- query
- rc_cell
- scomplex
- sfunction
- slist
- str_to_chars
- unify
Functions
- benchmark::benchmark
- built_in_append::next_solution_append
- built_in_arithmetic::evaluate_add
- built_in_arithmetic::evaluate_divide
- built_in_arithmetic::evaluate_multiply
- built_in_arithmetic::evaluate_subtract
- built_in_comparison::bip_equal
- built_in_comparison::bip_greater_than
- built_in_comparison::bip_greater_than_or_equal
- built_in_comparison::bip_less_than
- built_in_comparison::bip_less_than_or_equal
- built_in_count::bip_count
- built_in_filter::bip_exclude
- built_in_filter::bip_include
- built_in_functions::parse_function
- built_in_functions::unify_sfunction
- built_in_functor::next_solution_functor
- built_in_join::evaluate_join
- built_in_predicates::format_built_in
- built_in_predicates::next_solution_bip
- built_in_print::format_for_print_pred
- built_in_print::next_solution_print
- built_in_print_list::format_slist
- built_in_print_list::next_solution_print_list
- goal::make_base_node
- goal::make_solution_node
- infix::check_arithmetic_infix
- infix::check_infix
- knowledge_base::add_rules
- knowledge_base::count_rules
- knowledge_base::format_kb
- knowledge_base::get_rule
- knowledge_base::make_fact
- knowledge_base::make_rule
- knowledge_base::print_kb
- knowledge_base::test_kb
- logic_var::clear_id
- logic_var::get_var_id
- logic_var::make_logic_var
- logic_var::next_id
- logic_var::set_var_id
- parse_goals::get_left_and_right
- parse_goals::indices_of_parentheses
- parse_goals::make_goal
- parse_goals::make_goal_no_args
- parse_goals::parse_subgoal
- parse_stack::peek
- parse_stack::pop
- parse_terms::check_quotes
- parse_terms::parse_arguments
- parse_terms::parse_term
- rule::parse_rule
- rule_reader::load_kb_from_file
- rule_reader::read_facts_and_rules
- s_complex::make_complex
- s_complex::make_query
- s_complex::parse_complex
- s_complex::parse_functor_terms
- s_complex::parse_query
- s_complex::validate_complex
- s_linked_list::count_terms
- s_linked_list::equal_escape
- s_linked_list::filter
- s_linked_list::get_terms
- s_linked_list::make_linked_list
- s_linked_list::parse_linked_list
- solution_node::next_solution
- solution_node::print_elapsed
- solution_node_and_or::next_solution_and
- solution_node_and_or::next_solution_or
- solutions::format_solution
- solutions::get_stack_size
- solutions::solve
- solutions::solve_all
- substitution_set::format_ss
- substitution_set::get_binding
- substitution_set::get_complex
- substitution_set::get_constant
- substitution_set::get_ground_term
- substitution_set::get_list
- substitution_set::is_bound
- substitution_set::is_ground_variable
- substitution_set::print_ss
- time_out::cancel_timer
- time_out::query_stopped
- time_out::start_query
- time_out::start_query_timer
- time_out::stop_query
- token::make_branch_token
- token::make_leaf_token
- tokenizer::generate_goal
- tokenizer::letter_number_hyphen
- unifiable::recreate_vars_goals
- unifiable::recreate_vars_terms