13 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
- 3.2
- arg/3
- 4.5
- assert
- 8.1
- atom_chars/2
- 2 4.9
- average/3
- 3.3
- entry/1
- 4.11
- hello/1
- 3.1
- load_foreign_library/1
- 9.1
- open/3
- 10.3
- print_message/2
- 10.1
- read/1
- 4.10
- word/1
- 8.1
- write/1
- 3.1 4.2
- PlAtom
- 4.3 6
- PlAtom::operator==()
- PlCall()
- PlCompound
- PlCall()
- 4.5
- PlDomainError
- 10
- PlEngine
- 11
- PlException
- 2 2 10 10 10 10.1 10.1
- PlFrame
- 8.1 8.1 8.1 8.1 8.1 12.1
- PlFrame::rewind()
- PlQuery
- 3.3 5 8
- PlQuery::next_solution()
- PlRegister
- 9 12.2
- PlTail
- 4.11 4.11 4.11 4.11 4.11 4.11 4.11 4.11 4.11 4.11
- PlTail::append()
- PlTail::close()
- PlTail::next()
- PlTerm
- PlTail::close()
- 2 2 2 2 2 2 2 3.1 3.1 3.2 3.2 4 4.1 4.2 4.2 4.2 4.3 4.4 4.4 4.4 4.5 4.5 4.5 4.6 10 10.1 12.1
- PlTerm::arity()
- PlTerm::name()
- PlTerm::operator <()
- PlTerm::operator <=()
- PlTerm::operator >()
- PlTerm::operator >=()
- PlTerm::operator!=()
- PlTerm::operator=()
- PlTerm::operator==()
- PlTerm::operator[]()
- PlTerm::type()
- PlTermv
- PlTerm::name()
- 2 4.10 5 9
- PlTypeEror
- 10 10.1
- T
- cppThrow()
- plThrow()
- cppThrow()