List of all items
Structs
- copyterm::TermBuf
- machine::ChoicePoint
- machine::Machine
- machine::RegistryEntry
- machine::RtError
- machine::SrcLoc
- render::RenderedSolution
Enums
Functions
- abi::plg_rt_areg_get
- abi::plg_rt_areg_set
- abi::plg_rt_breg_set
- abi::plg_rt_existence_error
- abi::plg_rt_frame_alloc
- abi::plg_rt_frame_get
- abi::plg_rt_frame_set
- abi::plg_rt_k_env
- abi::plg_rt_k_fn
- abi::plg_rt_new_var
- abi::plg_rt_pred_fail
- abi::plg_rt_push_cp
- abi::plg_rt_put_big
- abi::plg_rt_put_float
- abi::plg_rt_put_list
- abi::plg_rt_put_struct
- abi::plg_rt_set_k
- abi::plg_rt_step
- abi::plg_rt_unify
- builtins::arith::arith_eq
- builtins::arith::arith_gt
- builtins::arith::arith_lt
- builtins::arith::eval
- builtins::atomops::plg_rt_b_atom_chars_2
- builtins::atomops::plg_rt_b_atom_concat_3
- builtins::atomops::plg_rt_b_atom_length_2
- builtins::atomops::plg_rt_b_number_chars_2
- builtins::atomops::plg_rt_b_number_codes_2
- builtins::facts::plg_rt_fact_first
- builtins::facts::plg_rt_fact_next
- builtins::miscops::plg_rt_b_nl_0
- builtins::miscops::plg_rt_b_plus_3
- builtins::miscops::plg_rt_b_succ_2
- builtins::miscops::plg_rt_b_unify_with_occurs_check_2
- builtins::miscops::plg_rt_b_write_1
- builtins::miscops::plg_rt_b_writeln_1
- builtins::order::compare_terms
- builtins::pred::plg_rt_b_arith_cmp
- builtins::pred::plg_rt_b_compare
- builtins::pred::plg_rt_b_is
- builtins::pred::plg_rt_b_neq
- builtins::pred::plg_rt_b_term_cmp
- builtins::pred::plg_rt_cp_top
- builtins::pred::plg_rt_cut
- builtins::pred::plg_rt_deref
- builtins::pred::plg_rt_str_key
- builtins::sortops::plg_rt_b_msort_2
- builtins::sortops::plg_rt_b_sort_2
- builtins::termops::plg_rt_b_arg_3
- builtins::termops::plg_rt_b_copy_term_2
- builtins::termops::plg_rt_b_functor_3
- builtins::termops::plg_rt_b_univ_2
- builtins::typecheck::plg_rt_b_atom_1
- builtins::typecheck::plg_rt_b_compound_1
- builtins::typecheck::plg_rt_b_float_1
- builtins::typecheck::plg_rt_b_integer_1
- builtins::typecheck::plg_rt_b_is_list_1
- builtins::typecheck::plg_rt_b_nonvar_1
- builtins::typecheck::plg_rt_b_number_1
- builtins::typecheck::plg_rt_b_var_1
- cell::atom_id
- cell::int_value
- cell::make
- cell::make_atom
- cell::make_int
- cell::make_ref
- cell::pack_functor
- cell::payload
- cell::tag_of
- cell::unpack_functor
- control::plg_rt_b_catch_3
- control::plg_rt_b_findall_3
- control::plg_rt_b_throw_1
- control::plg_rt_metacall
- control::plg_rt_pred_between_3
- control::try_atom_builtin
- control::try_builtin
- copyterm::copy_to_buf
- copyterm::restore_cells
- copyterm::restore_from_buf
- entry::plg_rt_init
- entry::plg_rt_main
- errors::domain_error
- errors::evaluation
- errors::existence_procedure
- errors::instantiation
- errors::resource
- errors::set_formal
- errors::throw_term
- errors::type_error
- query::parse_query
- render::capture_solution
- render::format_term
- render::json_escape
- render::term_to_json
- render::term_to_string
- solve::call_goal
- solve::drive
- solve::solve
- unify::unify