1.18 Conclusions

In this document, we presented a high-level interface to Prolog exploiting automatic type-conversion and exception-handling defined in C++.

Programming using this interface is much more natural and requires only little extra resources in terms of time and memory.

Especially the smooth integration between C++ and Prolog exceptions reduce the coding effort for type checking and reporting in foreign predicates.

Index

?

add/3

1.7.2

add_num/3

1.3

arg/3

1.11.4

as_string()

as_wstring()

assert

1.13.1

at_halt/1

1.6.8.6

atom_chars/2

1.6.6 1.11.8

atom_or_string_as_string()

atomic/1

1.11.5

atomic_as_string()

average/3

1.3 1.7.3

between/3

1.3

blob_data()

call()

can_unify/2

1.3 1.13.1

cappend/3

1.3

check_stream()

close_my_blob/1

1.6.8.6 1.6.8.6 1.6.8.6

create_my_blob/2

1.6.8.6

data()

duplicate()

entry/1

1.11.10

eq1/1

1.3

eq2/2

1.3

eq3/2

1.3

erase()

error/2

1.17.2

fail/0

1.5

find()

functor/3

1.3

happy/1

1.3

hello/1

1.7.1

int_info/2

1.3

is_null()

is_valid()

likes/2

1.3

load_foreign_library/1

1.14.3

my_blob_properties/2

1.6.8.6

my_file_close/1

1.6.8.8

my_file_open/4

1.6.8.8

name_arity()

name_arity/3

1.3

nify_term()

not_null()

open/3

1.15.1.2

operator!=()

operator<()

operator<=()

operator=()

operator==()

operator>()

operator>=()

print_message/2

1.15.1

qsave_program/[1,2]

1.6.8.6

range_cpp/3

1.3

read/1

1.11.9

register_atom()

reset()

reset_term_refs()

size_tindex()

square_roots/2

1.3

term()

throw/1

1.1 1.5

unifiable/3

1.3

unregister_atom()

use_foreign_library/1

1.5

word/1

1.13.1

write()

write/1

1.7.1 1.11.1

write_list/1

1.3

NAMED_PREDICATE()

NAMED_PREDICATE_NONDET()

P

PlAtom!=()

PlAtom()

PlAtom==()

PlAtomkey,ValueTypevalue()

PlBlob::acquire()

PlBlob::compare_fields()

PlBlob::write_fields()

PlBlob::PlBlob::load()

PlBlob::PlBlob::pre_delete()

PlBlob::PlBlob::save()

PlCall()

PlCheckFail()

PlEx()

PlFrame::close()

PlFrame::discard()

PlFrame::rewind()

PlQuery

1.13

PlQuery::cut()

PlQuery::next_solution()

PlRecord()

 PlRecord()

PREDICATE()

PREDICATE0()

PREDICATE_NONDET()

PlRewindOnFail()

PlStream::release()

PlTerm!=()

PlTerm::arity()

PlTerm::as_atom()

PlTerm::as_bool()

PlTerm::as_double()

PlTerm::as_float()

PlTerm::as_int()

PlTerm::as_int32_t()

PlTerm::as_int64_t()

PlTerm::as_long()

PlTerm::as_nil()

PlTerm::as_pointer()

PlTerm::as_size_t()

PlTerm::as_string()

PlTerm::as_uint()

PlTerm::as_uint32_t()

PlTerm::as_uint64_t()

PlTerm::as_ulong()

PlTerm::as_wstring()

PlTerm::call()

PlTerm::compare()

PlTerm::copy_term_ref()

PlTerm::eq_if_atom()

PlTerm::free_term_ref()

PlTerm::free_term_ref_reset()

PlTerm::get_arg()

PlTerm::get_atom()

PlTerm::get_atom_ex()

PlTerm::get_atom_nchars()

PlTerm::get_attr()

PlTerm::get_blob()

PlTerm::get_bool()

PlTerm::get_bool_ex()

PlTerm::get_char_ex()

PlTerm::get_chars()

PlTerm::get_compound_name_arity()

PlTerm::get_dict_key()

PlTerm::get_file_name()

PlTerm::get_float()

PlTerm::get_float_ex()

PlTerm::get_functor()

PlTerm::get_head()

PlTerm::get_int64_ex()

PlTerm::get_integer()

PlTerm::get_integer_ex()

PlTerm::get_intptr()

PlTerm::get_intptr_ex()

PlTerm::get_list()

PlTerm::get_list_chars()

PlTerm::get_list_ex()

PlTerm::get_list_nchars()

PlTerm::get_long()

PlTerm::get_long_ex()

PlTerm::get_module()

PlTerm::get_name_arity()

PlTerm::get_nchars()

PlTerm::get_nil()

PlTerm::get_nil_ex()

PlTerm::get_pointer()

PlTerm::get_pointer_ex()

PlTerm::get_size_ex()

PlTerm::get_tail()

PlTerm::get_uint64_ex()

PlTerm::get_wchars()

PlTerm::integer()

PlTerm::is_acyclic()

PlTerm::is_atom()

PlTerm::is_atom_or_string()

PlTerm::is_atomic()

PlTerm::is_attvar()

PlTerm::is_blob()

PlTerm::is_callable()

PlTerm::is_compound()

PlTerm::is_dict()

PlTerm::is_float()

PlTerm::is_functor()

PlTerm::is_ground()

PlTerm::is_integer()

PlTerm::is_list()

PlTerm::is_number()

PlTerm::is_pair()

PlTerm::is_rational()

PlTerm::is_string()

PlTerm::is_variable()

PlTerm::must_be_acyclic()

PlTerm::must_be_atom()

PlTerm::must_be_atom_or_string()

PlTerm::must_be_atomic()

PlTerm::must_be_attvar()

PlTerm::must_be_callable()

PlTerm::must_be_compound()

PlTerm::must_be_dict()

PlTerm::must_be_float()

PlTerm::must_be_ground()

PlTerm::must_be_integer()

PlTerm::must_be_list()

PlTerm::must_be_number()

PlTerm::must_be_pair()

PlTerm::must_be_rational()

PlTerm::must_be_string()

PlTerm::must_be_variable()

PlTerm::name()

PlTerm::put_atom()

PlTerm::put_atom_chars()

PlTerm::put_atom_nchars()

PlTerm::put_blob()

PlTerm::put_bool()

PlTerm::put_chars()

PlTerm::put_float()

PlTerm::put_functor()

PlTerm::put_integer()

PlTerm::put_list()

PlTerm::put_list_chars()

PlTerm::put_list_codes()

PlTerm::put_list_nchars()

PlTerm::put_list_ncodes()

PlTerm::put_nil()

PlTerm::put_pointer()

PlTerm::put_string_chars()

PlTerm::put_string_nchars()

PlTerm::put_term()

PlTerm::put_variable()

PlTerm::record()

PlTerm::type()

PlTerm::unify_atom()

PlTerm::unify_blob()

PlTerm::unify_bool()

PlTerm::unify_bool_ex()

PlTerm::unify_chars()

PlTerm::unify_float()

PlTerm::unify_functor()

PlTerm::unify_integer()

PlTerm::unify_list()

PlTerm::unify_list_chars()

PlTerm::unify_list_codes()

PlTerm::unify_list_ex()

PlTerm::unify_nil()

PlTerm::unify_nil_ex()

PlTerm::unify_pointer()

PlTerm::unify_string()

PlTerm::unify_term()

PlTerm<()

PlTerm<=()

PlTerm==()

PlTerm>()

PlTerm>=()

PlTerm[]()

PlTerm_tail::append()

PlTerm_tail::close()

PlTerm_tail::next()

PlTermScoped::get()

PlTermScoped::release()

PlTermScoped::reset()

PlTermScoped::swap()

PlTermScoped=()

PlTerm::get_file_nameW()

PlWrap()

T

plThrow()

V

template<ValueType,StoredValueType>AtomMap::AtomMap()