| Did you know ... | Search Documentation: |
 | machine.pl |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
- gc_heap
- Explicitly invoke heap garbage collection.
- trimcore
- Trim the stacks.
- abolish_table_info
- Undocumented in the XSB manual.
- close_open_tables(?Arg)
- Undocumented in the XSB manual. Tables are always closed on exceptions, so it is unclear what this should do?
- attv_unify(?AttVar, ?Value) is semidet
- Unify AttVar with Value without causing a wakeup. If AttVar is not an attributed variable, this is a normal unification.
- str_cat(+Atom1, +Atom2, -Atom3)
- parsort(+List, +Order, +Dupl, -Sorted) is det
- parsort/4 is a very general sorting routine.
- term_type(+Term, -Type:integer)
- Emulation of internal XSB predicate
- xsb_expand_file_name(+File, -Expanded)
- expand_filename_no_prepend(+FileName, -ExpandedName)
- parse_filename(+FileName, -Dir, -Base, -Extension)
- conset(+Term, +Value) is det
- conget(+Term, -Value) is det
- Cheap set/get integer value associated with an atom. Seems this is a subset of what SWI-Prolog flags can do.
- slash(-Slash)
- Return the directory separator for the platform
- xsb_backtrace(-Backtrace)
- Upon success Backtrace is bound to a structure indicating the forward continuations for a point of execution. This structure should be treated as opaque.
- xwam_state(+Id, -Value)
- Low-level query. Used by the XSB test suite.
Re-exported predicates
The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.
- conset(+Term, +Value) is det
- conget(+Term, -Value) is det
- Cheap set/get integer value associated with an atom. Seems this is a subset of what SWI-Prolog flags can do.
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.