2.19 Conclusions (version 2)

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.3.2 2.5.2

arg/3

1.4.5 2.9.6

as_string()

as_wstring()

assert

1.8.1 2.14.1

atom_chars/2

1.2 1.4.9 2.4.2 2.9.10

average/3

1.3.3 2.5.3

blob_data()

entry/1

1.4.11 2.9.12

error/2

2.18.2

fail/0

2.3

hello/1

1.3.1 2.5.1

is_acyclic()

is_atom()

is_atomic()

is_callable()

is_compound()

is_dict()

is_float()

is_functor()

is_ground()

is_integer()

is_list()

is_null()

is_number()

is_pair()

is_rational()

is_string()

is_valid()

is_variable()

load_foreign_library/1

1.9.2 2.15.3

not_null()

open/3

1.10.3 2.16.3

print_message/2

1.10.1 2.16.1

read/1

1.4.10 2.9.11

register_atom()

reset()

throw/1

2.3

type()

unregister_atom()

use_foreign_library/1

2.3

word/1

1.8.1 2.14.1

write/1

1.3.1 1.4.2 2.5.1 2.9.3

NAMED_PREDICATE()

NAMED_PREDICATE_NONDET()

P

PlAtom

1.4.3 1.6

PlAtom!=()

PlAtom==()

PlCall()

PlCompound

1.4.5

PlDomainError

1.10

PlEngine

1.11

PlException

1.2 1.2 1.2 1.2 1.10 1.10 1.10 1.10.1 1.10.1 1.10.1

PlFrame

1.8.1 1.8.1 1.8.1 1.8.1 1.8.1 1.12.1

PlFrame::rewind()

PlQuery

1.3.3 1.5 1.8

PlQuery::cut()()

PlQuery::next_solution()

PlRegister

1.9

PREDICATE0()

PREDICATE_NONDET()

PlTail

1.4.11 1.4.11 1.4.11 1.4.11 1.4.11 1.4.11 1.4.11 1.4.11 1.4.11 1.4.11

PlTail::append()

PlTail::close()

PlTail::next()

PlTerm

1.2 1.2 1.2 1.2 1.2 1.2 1.2 1.3.1 1.3.1 1.3.2 1.3.2 1.4 1.4.1 1.4.2 1.4.2 1.4.3 1.4.4 1.4.4 1.4.4 1.4.5 1.4.5 1.4.5 1.4.6 1.10 1.10.1 1.12.1

PlTerm!=()

PlTerm::arity()

PlTerm::compare()

PlTerm::name()

PlTerm::type()

PlTerm::unify_atom()

PlTerm::unify_blob()

PlTerm::unify_chars()

PlTerm::unify_float()

PlTerm::unify_functor()

PlTerm::unify_integer()

PlTerm::unify_list_chars()

PlTerm::unify_list_codes()

PlTerm::unify_nil()

PlTerm::unify_pointer()

PlTerm::unify_string()

PlTerm::unify_term()

PlTerm<()

PlTerm<=()

PlTerm=()

PlTerm==()

PlTerm>()

PlTerm>=()

PlTerm[]()

PlTermv

1.2 1.4.10 1.5 1.9

PlTypeEror

1.10 1.10.1

T

cppThrow()

plThrow()