This is info/sicstus.info, produced by makeinfo version 4.13 from sicstus.texi. INFO-DIR-SECTION SICStus Prolog START-INFO-DIR-ENTRY * SICStus Prolog Manual: (sicstus). SICStus Prolog User's Manual. END-INFO-DIR-ENTRY Generated 1 February 2012.  File: sicstus.info, Node: cpg-ref-SP_signal, Next: cpg-ref-SP_strdup, Prev: cpg-ref-SP_set_user_stream_post_hook, Up: cpg-bif 12.3.96 `SP_signal()' --------------------- Synopsis -------- #include typedef void SP_SigFun (int sig, void *user_data); SP_SigFun SP_signal(int sig, SP_SigFun fun, void *user_data); Installs a function `fun' as a handler for the signal `sig'. It will be called with `sig' and `user_data' as arguments. Arguments --------- SIG The signal FUN The function USER_DATA An extra, user defined value passed to the function. Return Value ------------ `SP_SIG_ERR' if an error occurs error. On success, some value different from `SP_SIG_ERR'. Description ----------- When the OS delivers a signal `sig' for which `SP_signal(sig,func,...)' has been called, SICStus will _not_ call `func' immediately. Instead the call to `func' will be delayed until it is safe for Prolog to do so, in much the same way that functions installed by `SP_event()' are handled. Since the signal handling function `func' will not be called immediately upon delivery of the signal to the process it only makes sense to use `SP_signal()' to handle certain asynchronous signals such as `SIGINT', `SIGUSR1', `SIGUSR2'. Other asynchronous signals handled specially by the OS, such as `SIGCHLD' are not suitable for handling via `SP_signal()'. Note that the development system installs a handler for `SIGINT', and, under Windows, `SIGBREAK', to catch keyboard interrupts. Under UNIX, `library(timeout)' currently uses `SIGVTALRM'. When `func' is called it may only call other (non SICStus) C code and `SP_event()'. Note that `func' will be called in the main thread. If `fun' is one of the special constants `SP_SIG_IGN' or `SP_SIG_DFL', then one of two things happens: 1. If a signal handler for `sig' has already been installed with `SP_signal()', then the SICStus OS-level signal handler is removed and replaced with, respectively, `SIG_IGN' or `SIG_DFL'. 2. If a signal handler has not been installed with `SP_signal()', then `SP_signal()' does nothing and returns `SP_SIG_ERR'. A signal handler installed by a foreign resource should be uninstalled in the deinit function for the foreign resource. This is to prevent the handler in the foreign resource from being called after the code of the foreign resource has been unloaded (e.g. by `unload_foreign_resource/1'). Note that `SP_signal()' is not suitable for installing signal handlers for synchronous signals like `SIGSEGV'. See Also -------- `SP_event()', *note Signal Handling::.  File: sicstus.info, Node: cpg-ref-SP_strdup, Next: cpg-ref-SP_string_from_atom, Prev: cpg-ref-SP_signal, Up: cpg-bif 12.3.97 `SP_strdup()' --------------------- Synopsis -------- #include void * SP_strdup(const char *str); Allocates a string, which is a duplicates of the given string. The memory for the new string is managed by Prolog. Arguments --------- STR The given string. Return Value ------------ The pointer, if allocation was successful, otherwise `NULL'. See Also -------- *note OS Memory Management::.  File: sicstus.info, Node: cpg-ref-SP_string_from_atom, Next: cpg-ref-SP_term_type, Prev: cpg-ref-SP_strdup, Up: cpg-bif 12.3.98 `SP_string_from_atom()' ------------------------------- Synopsis -------- #include char const * SP_string_from_atom(SP_atom atom); Obtains the encoded string holding the characters of a Prolog atom. This string must _not_ be modified by the calling function. Arguments --------- ATOM The atom to inspect. Return Value ------------ The encoded string if `atom' is valid, and 0 otherwise. See Also -------- *note Creating and Manipulating SP_term_refs::.  File: sicstus.info, Node: cpg-ref-SP_term_type, Next: cpg-ref-SP_unget_byte, Prev: cpg-ref-SP_string_from_atom, Up: cpg-bif 12.3.99 `SP_term_type()' ------------------------ Synopsis -------- #include int SP_term_type(SP_term_ref term); Determines the type of the value of `term'. Arguments --------- TERM The SP_term_ref to be inspected Return Value ------------ One of: `SP_TYPE_VARIABLE' a variable `SP_TYPE_INTEGER' an integer `SP_TYPE_FLOAT' a float `SP_TYPE_ATOM' an atom `SP_TYPE_COMPOUND' a compound term See Also -------- *note Testing Prolog Terms::.  File: sicstus.info, Node: cpg-ref-SP_unget_byte, Next: cpg-ref-SP_unget_code, Prev: cpg-ref-SP_term_type, Up: cpg-bif 12.3.100 `SP_unget_byte()' -------------------------- Synopsis -------- #include spio_t_error_code SP_unget_byte( SP_stream *stream, int item); Push back a byte so it can be read again by subsequent read operations. Arguments --------- STREAM The stream. Must be a binary stream open for input. ITEM The byte to push back. This must be the byte that was most recently read from `stream', e.g. with `SP_get_byte()'. As a special case, -1 can be put back if the last read operation returned end of file, i.e., `SPIO_E_END_OF_FILE'. Return Value ------------ On success, the byte has been pushed back and will be read by the next read operation. `SPIO_S_NOERR' or some other success code is returned. On failure, an error code is returned. See Also -------- *note cpg-ref-SP_get_byte::. *note Prolog Streams::.  File: sicstus.info, Node: cpg-ref-SP_unget_code, Next: cpg-ref-SP_unify, Prev: cpg-ref-SP_unget_byte, Up: cpg-bif 12.3.101 `SP_unget_code()' -------------------------- Synopsis -------- #include spio_t_error_code SP_unget_code( SP_stream *stream, int item); Push back a character so it can be read again by subsequent read operations. Arguments --------- STREAM The stream. Must be a text stream open for input. ITEM The character to push back. This must be the same character that was most recently read from `stream', e.g. with `SP_get_code()'. As a special case, -1 can be put back if the last read operation returned end of file, i.e., `SPIO_E_END_OF_FILE'. Return Value ------------ On success, the character has been pushed back and will be read by the next read operation. `SPIO_S_NOERR' or some other success code is returned. On failure, returns an error code. See Also -------- *note cpg-ref-SP_get_code::. *note Prolog Streams::.  File: sicstus.info, Node: cpg-ref-SP_unify, Next: cpg-ref-SP_unregister_atom, Prev: cpg-ref-SP_unget_code, Up: cpg-bif 12.3.102 `SP_unify()' --------------------- Synopsis -------- #include int SP_unify(SP_term_ref x, SP_term_ref y) Unifies two terms. Arguments --------- X The one term to unify Y The other term to unify Return Value ------------ 1 if they unify, and 0 otherwise. Description ----------- Bear in mind that the unification may unblock some goals. such goals are _not_ run in the scope of `SP_unify()'; they remain pending until the next Prolog goal is run. See Also -------- *note Unifying and Comparing Terms::.  File: sicstus.info, Node: cpg-ref-SP_unregister_atom, Next: cpg-ref-SU_initialize, Prev: cpg-ref-SP_unify, Up: cpg-bif 12.3.103 `SP_unregister_atom()' ------------------------------- Synopsis -------- #include int SP_unregister_atom(SP_atom atom); Unregisters the atom `atom' with the Prolog memory manager by incrementing its reference counter. Arguments --------- ATOM The atom to unregister Return Value ------------ 1 if `atom' is valid, and 0 otherwise. See Also -------- *note Creating and Manipulating SP_term_refs::.  File: sicstus.info, Node: cpg-ref-SU_initialize, Next: cpg-ref-user_close, Prev: cpg-ref-SP_unregister_atom, Up: cpg-bif 12.3.104 `SU_initialize()' "[hook]" ------------------------------------ Synopsis -------- int SU_initialize(int argc, char *argv[]) In applications built with `--userhook', `SU_initialize()' is called by the main program before `SP_initialize()'. Its purpose is to call interface functions, which must be called before `SP_initialize()'. It is not meaningful to specify this option if `--main=user' or `--main=none' is given. Arguments --------- ARGC Number of command-line arguments. ARGV The command-line arguments, should not be modified. Return Value ------------ Zero on success, and nonzero otherwise. If a non-zero value is returned, the application system exits with the return value as error code. See Also -------- *note The Application Builder::.  File: sicstus.info, Node: cpg-ref-user_close, Next: cpg-ref-user_flush_output, Prev: cpg-ref-SU_initialize, Up: cpg-bif 12.3.105 `user_close()' ----------------------- Synopsis -------- spio_t_error_code user_close( void **puser_data, spio_t_bits close_options ); This is the prototype for one of the "methods" of user defined streams. It is used when SICStus wants to close one or both directions of a user defined stream. Arguments --------- PUSER_DATA A pointer to the same value as was passed to `SP_create_stream()'. On successful return, if the stream has been closed and any resources freed, then `*puser_data' should be set to `NULL'. If `user_close' fails, it can still set `*puser_data' to `NULL' to signify that the stream is no longer usable. CLOSE_OPTIONS The following bits can be set: `SPIO_DEVICE_CLOSE_OPTION_READ' The read direction should be closed. Only set if the device was created as an input or bidirectional device. `SPIO_DEVICE_CLOSE_OPTION_WRITE' The write direction should be closed. Only set if the device was created as an output or bidirectional device. `SPIO_DEVICE_CLOSE_OPTION_FORCE' The specified directions should be closed without attempting to flush any data. Among other things this option may be passed if a previous call to `user_close' returned an error. Note that a bidirectional stream should only close the directions specified by the `close_options'. Also note that `user_close' for a bidirectional stream may be called several times and that the same direction flag, e.g. `SPIO_DEVICE_CLOSE_OPTION_READ' may be specified more than once, even if that direction has already been closed successfully. Once a call to `user_close' has set `*puser_data' to `NULL', none of the device "methods" will be called again. Note that a `*puser_data' may be set to `NULL' even when a failure code is returned. This is useful if the failure is unrecoverable. There is no option to specify non-blocking close, it is expected that `user_close' will finish "quickly". To make this more likely, `user_flush_output' is called before non-forcibly closing an output stream. Return Value ------------ On success, return `SPIO_S_NOERR' or some other success code and set `*puser_data' if and only if the user data and any other resources have been freed. On failure, return a SPIO error code. Error codes with special meaning for `user_close': `SPIO_E_END_OF_FILE' Returned if there were buffered data and it is not possible to write more data onto the stream, e.g. some underlying device has been closed. Other error codes may also be returned. Description ----------- Should close one or all directions depending on the `close_options'. If all directions have been closed, the user data should be deallocated and `*puser_data' set to `NULL'. See Also -------- *note cpg-ref-SP_create_stream::. *note Defining a New Stream::.  File: sicstus.info, Node: cpg-ref-user_flush_output, Next: cpg-ref-user_read, Prev: cpg-ref-user_close, Up: cpg-bif 12.3.106 `user_flush_output()' ------------------------------ Synopsis -------- spio_t_error_code user_flush_output( void *user_data, spio_t_bits flush_options ); This is the prototype for one of the "methods" of user defined streams. It is used when SICStus wants to write data to the user defined stream. Arguments --------- USER_DATA The same value as was passed to `SP_create_stream()'. FLUSH_OPTIONS The following bits can be set: `SPIO_DEVICE_FLUSH_OPTION_NONBLOCKING' If this is set, the function should return "quickly" or with a `SPIO_E_WOULD_BLOCK' code. If your `user_flush_output' will never block, you can ignore this value. You should return `SPIO_E_NOT_SUPPORTED' if `user_flush_output' cannot support non-blocking flush. Return Value ------------ On success, all buffered data should have been written and `SPIO_S_NOERR' or some other success code returned. On failure, return a SPIO error code. Error codes with special meaning for `user_flush_output': `SPIO_E_END_OF_FILE' Returned if it is not possible to write more data onto the stream, e.g. some underlying device has been closed. `SPIO_E_WOULD_BLOCK' `SPIO_DEVICE_FLUSH_OPTION_NONBLOCKING' was set but the operation would block. `SPIO_E_NOT_SUPPORTED' Some unsupported option, e.g. `SPIO_DEVICE_FLUSH_OPTION_NONBLOCKING', was passed. Other error codes may also be returned. Description ----------- Should ensure that any buffered data is transmitted to its destination. Can be passed as `NULL'. See Also -------- *note cpg-ref-SP_create_stream::. *note Defining a New Stream::.  File: sicstus.info, Node: cpg-ref-user_read, Next: cpg-ref-user_write, Prev: cpg-ref-user_flush_output, Up: cpg-bif 12.3.107 `user_read()' ---------------------- Synopsis -------- spio_t_error_code user_read( void *user_data, void *buf, size_t *pbuf_size, spio_t_bits read_options ); This is the prototype for one of the "methods" of user defined streams. It is used when SICStus need to obtain more data from the user defined stream. Arguments --------- USER_DATA The same value as was passed to `SP_create_stream()'. BUF Points to a buffer allocated by the caller. PBUF_SIZE Points to the size of the buffer. The buffer is always large enough to hold at least one byte (for binary streams) or one character (for text streams). When this function returns successfully, `*pbuf_size' should be set to the number of _bytes_ stored in the buffer, which should always be positive for successful return. Note that buffer size is measured in bytes also for text streams. READ_OPTIONS The following bits can be set: `SPIO_DEVICE_READ_OPTION_BINARY' This is always specified if the device was created as a binary device. The buffer should be filled with up to `*pbuf_size' bytes. `SPIO_DEVICE_READ_OPTION_TEXT' This is always specified if the device was created as a text device. The buffer should be filled with wide characters, i.e. `spio_t_wchar'. Note that `*buf_size' is size in _bytes_, not in characters. `SPIO_DEVICE_READ_OPTION_NONBLOCKING' If this is set then the function should return "quickly", either with some data read or with a `SPIO_E_WOULD_BLOCK' code. If your `user_read' will never block, you can ignore this value. You should return `SPIO_E_NOT_SUPPORTED' if `user_read' cannot support non-blocking read. Return Value ------------ On success, `*pbuf_size' should be assigned and `SPIO_S_NOERR' or some other success code returned. On failure, return a SPIO error code. Error codes with special meaning for `user_read': `SPIO_E_END_OF_FILE' Return this when there are no more data to read. `SPIO_E_WOULD_BLOCK' `SPIO_DEVICE_READ_OPTION_NONBLOCKING' was set but the operation would block. `SPIO_E_NOT_SUPPORTED' Some unsupported option, e.g. `SPIO_DEVICE_READ_OPTION_NONBLOCKING', was passed. Other error codes may also be returned. Description ----------- Should fill `buf' with up to `*buf_size' bytes of data. Data should be either bytes, for a binary device, or `spio_t_wchar' (32 bit) wide characters, for a text device. See Also -------- *note cpg-ref-SP_create_stream::. *note Defining a New Stream::.  File: sicstus.info, Node: cpg-ref-user_write, Prev: cpg-ref-user_read, Up: cpg-bif 12.3.108 `user_write()' ----------------------- Synopsis -------- spio_t_error_code user_write( void *user_data, void const *buf, size_t *pbuf_size, spio_t_bits write_options ); This is the prototype for one of the "methods" of user defined streams. It is used when SICStus wants to write data to the user defined stream. Arguments --------- USER_DATA The same value as was passed to `SP_create_stream()'. BUF Points to a buffer allocated by the caller containing the data to be written. PBUF_SIZE Points to the size of the buffer, always positive. When this function returns successfully, `*pbuf_size' should be set to the number of bytes actually written, which should always be positive for successful return. Note that buffer size is measured in bytes also for text streams. WRITE_OPTIONS The following bits can be set: `SPIO_DEVICE_WRITE_OPTION_BINARY' This is always specified if the device was created as a binary device. The buffer contains `*pbuf_size' bytes. `SPIO_DEVICE_WRITE_OPTION_TEXT' This is always specified if the device was created as a text device. The buffer contains wide characters, i.e. `spio_t_wchar'. Note that `*buf_size' is size in _bytes_, not in characters. `SPIO_DEVICE_WRITE_OPTION_NONBLOCKING' If this is set, the the function should return "quickly", either with some data written or with a `SPIO_E_WOULD_BLOCK' code. If your `user_write' will never block, you can ignore this value. You should return `SPIO_E_NOT_SUPPORTED' if `user_write' cannot support non-blocking write. Return Value ------------ On success, `*pbuf_size' should be assigned to with the number of bytes written and `SPIO_S_NOERR' or some other success code returned. On success, something must have been written, e.g. `*pbuf_size' must be set to a positive value. On failure, return a SPIO error code. Error codes with special meaning for `user_write': `SPIO_E_END_OF_FILE' Returned if it is not possible to write more data onto the stream, e.g. some underlying device has been closed. `SPIO_E_WOULD_BLOCK' `SPIO_DEVICE_WRITE_OPTION_NONBLOCKING' was set but the operation would block. `SPIO_E_NOT_SUPPORTED' Some unsupported option, e.g. `SPIO_DEVICE_WRITE_OPTION_NONBLOCKING', was passed. Other error codes may also be returned. Description ----------- Should write up to `*buf_size' bytes of data from `buf'. Data could be either bytes, for a binary device, or wide characters, for a text device. See Also -------- *note cpg-ref-SP_create_stream::. *note Defining a New Stream::.  File: sicstus.info, Node: Command Reference Pages, Next: References, Prev: C Reference Pages, Up: Top 13 Command Reference Pages ************************** * Menu: * too-sicstus:: sicstus --- SICStus Prolog Development System * too-spdet:: spdet --- Determinacy Checker * too-spld:: spld --- SICStus Prolog Application Builder * too-splfr:: splfr --- SICStus Prolog Foreign Resource Linker * too-splm:: splm --- SICStus Prolog License Manager * too-spxref:: spxref --- Cross Referencer The reference pages for the SICStus Prolog command line tools follow, in alphabetical order. `sicstus(1)' SICStus Prolog Development System `spdet(1)' Determinacy Checker `spld(1)' SICStus Prolog Application Builder `splfr(1)' SICStus Prolog Foreign Resource Linker `splm(1)' SICStus Prolog License Manager `spxref(1)' Cross Referencer  File: sicstus.info, Node: too-sicstus, Next: too-spdet, Up: Command Reference Pages 13.1 `sicstus' -- SICStus Prolog Development System =================================================== Synopsis -------- % sicstus [OPTIONS] [-- ARGUMENT...] Description ----------- The prompt `| ?-' indicates that the execution of is top-level mode. In this mode, Prolog queries may be issued and executed interactively. To exit from the top-level and return to the shell, either type `^D' at the top-level, or call the built-in predicate `halt/0', or use the `e' (exit) command following a `^C' interruption. Under Windows, `sicstus.exe' is a console-based program that can run in a command prompt window, whereas `spwin.exe' runs in its own window and directs the Prolog standard streams to that window. `spwin.exe' is a "windowed" executable. Options ------- `-f' Fast start. Don't read any initialization file on startup. If the option is omitted and the initialization file exists, SICStus Prolog will consult it on startup after running any initializations and printing the version banners. The initialization file is `.sicstusrc' or `sicstus.ini' in the users home directory, i.e. `~/.sicstusrc' or `~/sicstus.ini'. *Note ref-fdi-syn:: for an explanation of how a file specification starting with `~/' is interpreted. `-i' Forced interactive. Prompt for user input, even if the standard input stream does not appear to be a terminal. `-m' Use `malloc()' et al. for memory allocations. *Note cpg-ref-SP_set_memalloc_hooks:: for more information. `--noinfo' Start with the `informational' Prolog flag set to `off' initially, suppressing informational messages. The flag is set before any PROLOG-FILE or initialization file is loaded or any SAVED-STATE is restored. `--nologo' Start without the initial version message. `-l PROLOG-FILE' Ensure that the file PROLOG-FILE is loaded on startup. This is done before any initialization file is loaded. Only one `-l' option is allowed. `-r SAVED-STATE' Restore the saved-state SAVED-STATE on startup. This is done before any PROLOG-FILE or initialization file is loaded. Only one `-r' option is allowed. `--goal GOAL' Read a term from the text GOAL and pass the resulting term to `call/1' after all files have been loaded. As usual GOAL should be terminated by a full stop (`.'). Only one `--goal' option is allowed. `-DVAR=VALUE' Sets the system property VAR to value VALUE. Most system properties take their default value from the environment but often it is convenient to pass a system property directly instead of setting the corresponding environment variable. *Note System Properties and Environment Variables:: for details. `-Xrs' Reduce use of OS-signals. On UNIX-like platforms, several OS signals are handled specially in a development system. The option `-Xrs', prevents this and keeps the OS default behavior. On both UNIX-like platforms and Windows, the development system will install handlers for the signal `SIGINT' (corresponding to a `C-c' keyboard interrupt). On Windows, a signal handler will also be added for `SIGBREAK' (signalled when the console window is closed). The handling of `SIGINT' and `SIGBREAK' is not affected by `-Xrs'. `--help' Display a help message and exit. `-- ARGUMENT...' `-a ARGUMENT...' where the arguments can be retrieved from Prolog by `prolog_flag(argv, ARGS)', which will unify ARGS with ARGUMENT... represented as a list of atoms. Files ----- `FILE.pl' `FILE.pro' Prolog source file `FILE.po' Prolog object file `FILE.sav' Prolog saved-state file `.sicstusrc' `sicstus.ini' SICStus Prolog initialization file, looked up in the home directory See Also -------- *note Start::, *note System Properties and Environment Variables::.  File: sicstus.info, Node: too-spdet, Next: too-spld, Prev: too-sicstus, Up: Command Reference Pages 13.2 `spdet' -- Determinacy Checker =================================== Synopsis -------- % spdet [-r] [-d] [-D] [-i IFILE] FSPEC... Description ----------- The determinacy checker can help you spot unwanted nondeterminacy in your programs. This tool examines your program source code and points out places where nondeterminacy may arise. Options ------- `-r' Process files recursively, fully checking the specified files and all the files they load. `-d' Print out declarations that should be added. `-D' Print out all needed declarations. `-i IFILE' An initialization file, which is loaded before processing begins. See Also -------- *note The Determinacy Checker::.  File: sicstus.info, Node: too-spld, Next: too-splfr, Prev: too-spdet, Up: Command Reference Pages 13.3 `spld' -- SICStus Prolog Application Builder ================================================= Synopsis -------- % spld [ OPTION | INPUTFILE ] ... Description ----------- The application builder, `spld', is used for creating stand-alone executables. *Note The Application Builder:: for an overview. `spld' takes the files specified on the command line and combines them into an executable file, much like the UNIX `ld' or the Windows `link' commands. Note that no pathnames passed to `spld' should contain spaces. Under Windows, this can be avoided by using the short version of pathnames as necessary. Options ------- The input to `spld' can be divided into OPTIONS and FILES, which can be arbitrarily mixed on the command line. Anything not interpreted as an option will be interpreted as an input file. Do not use spaces in any file or option passed to `spld'. Under Windows you can use the short file name for files with space in their name. The following options are available: `-?' `--help' Prints out a summary of all options. This may document more options than those described in this manual. `-v' `--verbose' Print detailed information about each step in the compilation/linking sequence. Multiple occurrences increase verbosity. `-vv' Same as -v -v. `--version' Prints out the version number of `spld' and exits successfully. `-o' `--output=FILENAME' Specify output file name. The default depends on the linker (e.g. `a.out' on UNIX systems). `-E' `--extended-rt' Create an extended runtime system. In addition to the normal set of built-in runtime system predicates, extended runtime systems include the compiler. Extended runtime systems require the extended runtime library, available from SICS as an add-on product. Extended runtime systems need access to license information; see *note Extended Runtime Systems::. `-D' `--development' Create a development system (with top-level, debugger, compiler, etc.). The default is to create a runtime system. Implies `--main=prolog'. `--main=TYPE' Specify what the executable should do upon startup. The possible values are: `prolog' Implies `-D'. The executable will start the Prolog top-level. This is the default if `-D' is specified and no `.sav', `.pl', or `.po' files are specified. `user' The user supplies his/her own main program by including C-code (object file or source), which defines a function `user_main()'. This option is not compatible with `-D'. *Note User-defined Main Programs::. `restore' The executable will restore a saved-state created by `save_program/[1,2]'. This is the default if a `.sav' file is found among FILES. It is only meaningful to specify one `.sav' file. If it was created by `save_program/2', the given startup goal is run. Then the executable will any Prolog code specified on the command line. Finally, the goal `user:runtime_entry(start)' is run. The executable exits with 0 upon normal temination and with 1 on failure or exception. Not compatible with `-D'. `load' The executable will load any Prolog code specified on the command line, i.e. files with extension `.pl' or `.po'. This is the default if there are `.pl' or `.po' but no `.sav' files among FILES. Finally, the goal `user:runtime_entry(start)' is run. The executable exits with 0 upon normal temination and with 1 on failure or exception. Not compatible with `-D'. Note that this is almost like `--main==restore' except that no saved-state will be restored before loading the other files. `none' No main function is generated. The main function must be supplied in one of the user supplied files. Not compatible with `-D'. `--window' _Win32 only._ Create a windowed executable. A console window will be opened and connected to the Prolog standard streams. If `--main=user' is specified, `user_main()' should not set the user-stream hooks. C/C++ source code files specified on the command-line will be compiled with `-DSP_WIN=1' if this option is given. `--moveable' `--no-moveable' Controls whether to hardcode certain paths into the executable in order for it to find the SICStus libraries and bootfiles etc. Under UNIX, if `--no-moveable' is specified, paths are hardcoded into executables in order for them to find the SICStus libraries and bootfiles. Two paths are normally hardcoded; the value of `SP_PATH' and, where possible, the runtime library search path using the `-R' linker option (or equivalent). If the linker does not support the `-R' option (or an equivalent), a wrapper script is generated instead, which sets `LD_LIBRARY_PATH' (or equivalent). The `--moveable' option turns off this behavior, so the executable is not dependent on SICStus being installed in a specific place. On most platforms the executable can figure out where it is located and so can locate any files it need, e.g. using `SP_APP_DIR' and `SP_RT_DIR'. On some UNIX platforms, however, this is not possible. In these cases, `--moveable' is in effect, the executable will rely on the system properties and enviroment variables (`SP_PATH' (*note System Properties and Environment Variables::) and `LD_LIBRARY_PATH' etc.) to find all relevant files. Under Windows, `--moveable' is always on, since Windows applications do not need to hardcode paths in order for them to find out where they are installed. On UNIX platforms, `--moveable' is the default (as of release 4.2) but can be turned off with `--no-moveable'. *Note Runtime Systems on Target Machines:: for more information on how SICStus locates its libraries and bootfiles. `-S' `--static' Link statically with SICStus runtime and foreign resources. When `--static' is specified, a static version of the SICStus runtime will be used and any SICStus foreign resources specified with `--resources' will be statically linked with the executable. In addition, `--static' implies `--embed-rt-sav', `--embed-sav-file' and `--resources-from-sav'. Even with `--static', `spld' will go with the linker's default, which is usually dynamic. If you are in a situation where you would want `spld' to use a static library instead of a dynamic one, you will have to hack into `spld''s configuration file `spconfig-VERSION' (normally located in `/bin'). We recommend that you make a copy of the configuration file and specify the new configuration file using `--config='. A typical modification of the configuration file for this purpose may look like: [...] TCLLIB=-Bstatic -L/usr/local/lib -ltk8.0 -ltcl8.0 -Bdynamic [...] Use the new configuration file by typing % spld [...] -S --config=/home/joe/hacked_spldconfig [...] The SICStus runtime depends on certain OS support that is only available in dynamically linked executables. For this reason it will probably not work to try to tell the linker to build a completely static executable, i.e. an executable that links statically also with the C library and that cannot load shared objects. `--shared' Create a shared library runtime system instead of an ordinary executable. Not compatible with `--static'. Implies `--main=none'. Not supported on all platforms. `--resources=RESOURCELIST' RESOURCELIST is a comma-separated list of resource names, describing which resources should be pre-linked with the executable. Names can be either simple resource names, for example `tcltk', or they can be complete paths to a foreign resource (with or without extensions). Example % spld [...] --resources=tcltk,clpfd,/home/joe/foobar.so This will cause `library(tcltk)', `library(clpfd)', and `/home/joe/foobar.so' to be pre-linked with the executable. See also the option `--respath' below. It is also possible to embed a "data resource", that is, the contents of an arbitrary data file that can be accessed at runtime. It is possible to embed any kind of data, but, currently, only `restore/1' knows about data resources. For this reason it only makes sense to embed `.sav' files. The primary reason to embed files within the executable is to create an all-in-one executable, that is, an executable file that does not depend on any other files and that therefore is easy to run on machines without SICStus installed. *Note All-in-one Executables:: for more information. `--resources-from-sav' `--no-resources-from-sav' When embedding a saved-state as a data resource (with `--resources' or `--embed-sav-file'), this option extracts information from the embedded saved-state about the names of the foreign resources that were loaded when the saved-state was created. This is the default for static executables when no other resource is specified except the embedded saved-state. This option is only supported when a saved-state is embedded as a data resource. *Note All-in-one Executables:: for more information. Use `--no-resources-from-sav' to ensure that this feature is _not_ enabled. `--respath=PATH' Specify additional paths used for searching for resources. PATH is a list of search-paths, colon separated under UNIX, semicolon separated under Windows. `spld' will always search the default library directory as a last resort, so if this option is not specified, only the default resources will be found. See also the `--resources' option above. `--config=CONFIGFILE' Specify another configuration file. This option is not intended for normal use. The file name may not contain spaces. `--conf VAR=VALUE' Override values from the configuration file. Can occur multiple times. For instance, `--conf CC=/usr/bin/gcc' would override the default C compiler. `--cflag=CFLAG' CFLAG is an option to pass to the C-compiler. This option can occur multiple times. The current behavior is that if CFLAG contains commas then each comma-separated part is treated as a separate compiler option. This may change in the future, so instead you should use multiple occurences of `--cflag'. To turn off splitting at commas and treat CFLAG as a single option even it contains a comma, you can pass the option `--conf SPLIT_OPT_CFLAG=0'. This can be useful with certain options to the `gcc' compiler. `--' `--LD' `-LD' Do not process the rest of the command-line, but send it directly to the linker step. Note that linking is often performed by the compiler. `--sicstus=EXECUTABLE' `spld' relies on using SICStus during some stages of its execution. The default is the SICStus-executable installed with the distribution. EXECUTABLE can be used to override this, in case the user wants to use another SICStus executable. `--interactive' `-i' Only applicable with `--main=load' or `--main=restore'. Calls `SP_force_interactive()' (*note Initializing the Prolog Engine::) before initializing SICStus. `--userhook' This option allows you to define your own version of the `SU_initialize()' function. `SU_initialize()' is called by the main program before `SP_initialize()'. Its purpose is to call interface functions that must be called before `SP_initialize()', such as `SP_set_memalloc_hooks()'. It is not meaningful to specify this option if `--main=user' or `--main=none' is given. `--memhook' This option allows you to specify which memory manager to use. One of `default' or `malloc'. If specified as `malloc', `SP_set_memalloc_hooks()' will be called with `SP_SET_MEMALLOC_HOOKS_HINT_USE_MALLOC' and the C library `malloc()' will be used for all allocations instead of SICStus default allocator. *Note cpg-ref-SP_set_memalloc_hooks:: for more information. `--with_jdk=DIR' `--with_tcltk=DIR' `--with_tcl=DIR' `--with_tk=DIR' `--with_bdb=DIR' Specify the installation path for third-party software for foreign resources, such as `jasper', that have special dependencies. This is mostly useful under Windows. Under UNIX, the installation script manages this automatically. `--keep' Keep temporary files and interface code and rename them to human-readable names. Not intended for the casual user, but useful if you want to know exactly what code is generated. `--nocompile' Do not compile, just generate code. This may be useful in Makefiles, for example to generate the header file in a separate step. Implies `--keep'. `--namebase=NAMEBASE' Use NAMEBASE to construct the name of generated files. This defaults to `spldgen_' or, if `--static' is specified, `spldgen_s_'. `--embed-rt-sav' `--no-embed-rt-sav' `--embed-rt-sav' will embed the SICStus runtime `.sav' file into the executable. This is off by default unless `--static' is specified. It can be forced on (off) by specifying `--embed-rt-sav' (`--no-embed-rt-sav'). `--embed-sav-file' `--no-embed-sav-file' `--embed-sav-file' will embed any `.sav' file passed to `spld' into the executable. This is just a shorthand for avoiding the ugly data resource syntax of the `--resources' option. This is the default when `--static' is specified. It can be forced on (off) by specifying `--embed-sav-file' (`--no-embed-sav-file'). A file `./foo/bar.sav' will be added with the data resource name `/bar.sav', i.e. as if `--resources=./foo/bar.sav=/bar.sav' had been specified. `--license-file=LICENSEFILE' Specify the path to the license information needed by extended runtime systems. Only relevant with `--extended-rt'. *Note Extended Runtime Systems:: for details. `--embed-license' `--no-embed-license' Controls whether to embed the license information in the executable. `--no-embed-license' is the default. Only relevant with `--extended-rt'. *Note Extended Runtime Systems:: for details. `--multi-sp-aware' Compile the application with support for using more than one SICStus runtime in the same process. Not compatible with `--static' or pre-linked foreign resources. *Note Multiple SICStus Runtimes in C:: for details. There may be additional, undocumented, options, some of which may be described with the `--help' option. Files ----- Arguments to `spld' not recognized as options are assumed to be input-files and are handled as follows: `*.pro' `*.pl' `*.po' These are interpreted as names of files containing Prolog code and will be passed to `SP_load()' at runtime (if `--main' is `load' or `restore'. *Please note:* If the intention is to make an executable that works independently of the working directory at run time, avoid relative file names, for they will be resolved at run time, not at `spld' time. Use absolute file names instead, `SP_APP_DIR', `SP_LIBRARY_DIR', or embed a `.sav' file as a data resource, using `--resource'. `*.sav' These are interpreted as names of files containing saved-states and will be passed to `SP_restore()' at runtime if `--main=restore' is specified, subject to the above caveat about relative file names. It is not meaningful to give more than one `.sav' argument. `*.so' `*.sl' `*.s.o' `*.o' `*.obj' `*.dll' `*.lib' `*.dylib' These files are assumed to be input-files to the linker and will be passed on unmodified. `*.c' `*.cc' `*.C' `*.cpp' `*.c++' These files are assumed to be C/C++ source code and will be compiled by the C/C++-compiler before being passed to the linker. If an argument is still not recognized, it will be passed unmodified to the linker. See Also -------- *Note The Application Builder::.  File: sicstus.info, Node: too-splfr, Next: too-splm, Prev: too-spld, Up: Command Reference Pages 13.4 `splfr' -- SICStus Prolog Foreign Resource Linker ====================================================== Synopsis -------- % splfr [ OPTION | INPUTFILE ] ... Description ----------- The foreign resource linker, `splfr', is used for creating foreign resources (*note Foreign Resources::). `splfr' reads terms from a Prolog file, applying op declarations and extracting any `foreign_resource/2' fact with first argument matching the resource name and all `foreign/[2,3]' facts. Based on this information, it generates the necessary glue code, and combines it with any additional C or object files provided by the user into a linked foreign resource. The output file name will be the resource name with a suitable extension. Options ------- The input to `splfr' can be divided into OPTIONs and INPUTFILEs and they can be arbitrarily mixed on the command line. Anything not interpreted as an option will be interpreted as an input file. Exactly one of the input files should be a Prolog file. The following options are available: `-?' `--help' Prints out a summary of all options. `-v' `--verbose' Print detailed information about each step in the compilation/linking sequence. Multiple occurrences increase verbosity. `-vv' Same as -v -v. `--version' Prints out the version number of `spld' and exits successfully. `--config=CONFIGFILE' Specify another configuration file. This option is not intended for normal use. The file name may not contain spaces. `--conf VAR=VALUE' Override values from the configuration file. Can occur multiple times. For instance, `--conf CC=/usr/bin/gcc' would override the default C compiler. `--cflag=CFLAG' CFLAG is an option to pass to the C-compiler. This option can occur multiple times. The current behavior is that if CFLAG contains commas then each comma-separated part is treated as a separate compiler option. This may change in the future, so instead you should use multiple occurences of `--cflag'. To turn off splitting at commas and treat CFLAG as a single option even it contains a comma, you can pass the option `--conf SPLIT_OPT_CFLAG=0'. This can be useful with certain options to the `gcc' compiler. `--' `--LD' `-LD' Do not process the rest of the command-line, but send it directly to the compiler/linker. Note that linking is often performed by the compiler. `--sicstus=EXECUTABLE' `splfr' relies on using SICStus during some stages of its execution. The default is the SICStus-executable installed with the distribution. EXECUTABLE can be used to override this, in case the user wants to use another SICStus executable. `--keep' Keep temporary files and interface code and rename them to human-readable names. Not intended for the casual user, but useful if you want to know exactly what code is generated. `--resource=RESOURCENAME' Specify the resource's name. This defaults to the basename of the Prolog source file found on the command line. `-o, --output=OUTPUTFILENAME' Specify output file name. This defaults to the name of the resource, suffixed with the platform's standard shared object suffix (i.e. `.so' on most UNIX dialects, `.dll' under Windows). The use of this option is discouraged, except to change the output directory. `-S' `--static' Create a statically linked foreign resource instead of a dynamically linked one, which is the default. A statically linked foreign resource is a single object file, which can be pre-linked into a Prolog system. See also the `spld' tool, *note The Application Builder::. `--no-rpath' Under UNIX, the default is to embed into the shared object all linker library directories for use by the dynamic linker. For most UNIX linkers this corresponds to adding a `-RPATH' for each `-LPATH'. The `--no-rpath' option inihibits this. `--nocompile' Do not compile, just generate code. This may be useful in Makefiles, for example to generate the header file in a separate step. Implies `--keep'. `--namebase=NAMEBASE' NAMEBASE will be used as part of the name of generated files. The default name base is the resource name (e.g. as specified with `--resource'). If `--static' is specified, the default NAMEBASE is the resource name followed by `_s'. `--header=HEADERNAME' Specify the name of the generated header file. The default if is `NAMEBASE_glue.h'. All C files that define foreign functions or that call SICStus API functions should include this file. Among other things the generated header file includes prototypes corresponding to the `foreign/[2,3]' declarations in the Prolog code. `--multi-sp-aware' Create a (dynamic) foreign resource that can be loaded by several SICStus runtimes in the same process, at the same time. *Note Foreign Resources and Multiple SICStus Runtimes:: for details. `--moveable' Do not embed paths into the foreign resource. On platforms that support it, i.e. some versions of UNIX, the default behavior of `splfr' is to add each directory DIR specified with `-LDIR' to the search path used by the runtime loader (using the SysV `ld -R' option or similar). The option `--moveable' turns off this behavior. For additional details, see the corresponding option to `spld' (*note The Application Builder::). `--structs' The Prolog source file uses `library(structs)'. This option makes `splfr' understand foreign type specifications and translate them into C declarations in the generated header file. See *Note lib-structs::. there may be additional, undocumented, options, some of which may be described with the `--help' option. Files ----- Arguments to `spld' not recognized as options are assumed to be input-files and are handled as follows: `*.pro' `*.pl' The Prolog file containing the relevant declarations. Exactly one such argument should be given. `*.so' `*.sl' `*.s.o' `*.o' `*.obj' `*.dll' `*.lib' `*.dylib' These files are assumed to be input-files to the linker and will be passed on unmodified. `*.c' `*.cc' `*.C' `*.cpp' `*.c++' These files are assumed to be C/C++ source code and will be compiled by the C/C++-compiler before being passed to the linker. See Also -------- *note The Foreign Resource Linker::.  File: sicstus.info, Node: too-splm, Next: too-spxref, Prev: too-splfr, Up: Command Reference Pages 13.5 `splm' -- SICStus Prolog License Manager ============================================= Synopsis -------- % splm -i SITE % splm -a LICENSEDPRODUCT EXPIRATIONDATE CODE Description ----------- SICStus Prolog requires a license code to run. You should have received from SICS your site name, the expiration date and the code. This information is normally entered during installation, but it can also be entered later on by means of this command-line tool. Under Windows, `splm' must be run by a user with Administrative rights. The windowed version of SICStus (`spwin.exe') has a menu item for license entry, making `splm' unnecessary under Windows. *Please note:* when using `spwin.exe' for changing the license information, it too must be run with Administrative rights. This is especially important under Windows Vista and later. Files ----- `library/license.pl' See Also -------- *note Start::.  File: sicstus.info, Node: too-spxref, Prev: too-splm, Up: Command Reference Pages 13.6 `spxref' -- Cross Referencer ================================= Synopsis -------- % spxref [-R] [-v] [-c] [-i IFILE] [-w WFILE] [-x XFILE] [-u UFILE] FSPEC ... Description ----------- The main purpose is to find undefined predicates and unreachable code. To this end, it begins by looking for initializations, hooks and `public' directives to start tracing the reachable code from. If an entire application is being checked, it also traces from `user:runtime_entry/1'. If individual module-files are being checked, it also traces from their export lists. Options ------- FILE arguments should be given as atoms or as `-', denoting the standard output stream. `-R' Check an application, i.e. follow `user:runtime_entry/1', as opposed to module declarations. `-c' Generate standard compiler style error messages. `-v' Verbose output. This echoes the names of the files being read. `-i IFILE' An initialization file, which is loaded before processing begins. `-w WFILE' Warning file. Warnings are written to the standard error stream by default. `-x XFILE' Generate a cross-reference file. This is not generated by default. `-m MFILE' Generate a file indicating which predicates are imported and which are exported for each file. This is not generated by default. `-u UFILE' Generate a file listing all the undefined predicates. This is not generated by default. See Also -------- *note The Cross-Referencer::.  File: sicstus.info, Node: References, Next: Predicate Index, Prev: Command Reference Pages, Up: Top References ********** `[Aggoun & Beldiceanu 90]' A. Aggoun and N. Beldiceanu, `Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems', Actes du séminaires Programmation en Logique, Trégastel, France, May 1990. `[Aggoun & Beldiceanu 93]' A. Aggoun and N. Beldiceanu, `Extending CHIP in order to Solve Complex Scheduling and Placement Problems', Mathl. Comput. Modelling, vol. 17, no. 7, pp. 57-73, Pergamon Press Ltd., 1993. `[Beldiceanu, Carlsson, Flener & Pearson 10]' N. Beldiceanu, M. Carlsson, P. Flener, J. Pearson, `On Matrices, Automata, and Double Counting', In CPAIOR 2010, LNCS, Springer-Verlag, 2010. `[Beldiceanu, Carlsson & Petit 04]' N. Beldiceanu, M. Carlsson, T. Petit, `Deriving Filtering Algorithms from Constraint Checkers', In CP2004, LNCS 3258, Springer-Verlag, 2004. `[Beldiceanu, Carlsson & Rampon 05]' N. Beldiceanu, M. Carlsson, J.-X. Rampon, `Global Constraint Catalog', SICS Technical Report T2005-08, 2005. `[Beldiceanu & Contejean 94]' N. Beldiceanu and E. Contejean, `Introducing Global Constraints in CHIP', Mathl. Comput. Modelling, vol. 20, no. 12, pp. 97-123, Pergamon Press Ltd., 1994. `[Bryant 86]' R.E. Bryant, `Graph-Based Algorithms for Boolean Function Manipulation', IEEE Trans. on Computers, August, 1986. `[CHIP 03]' `CHIP Finite domain constraints Reference Manual', Release 5.5, pp. 36-38, 2003. `[Carlsson 90]' M. Carlsson, `Design and Implementation of an OR-Parallel Prolog Engine', SICS Dissertation Series 02, 1990. `[Carlsson & Beldiceanu 02]' M. Carlsson, N. Beldiceanu, `Arc-Consistency for a Chain of Lexicographic Ordering Constraints', SICS Technical Report T2002-18, 2002. `[Carlsson, Beldiceanu & Martin 08]' M. Carlsson, N. Beldiceanu, J. Martin, `A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules', SICS Technical Report T2008-04, 2008. `[Carreiro & Gelernter 89a]' N. Carreiro and D. Gelernter, `Linda in Context', Comm. of the ACM, 32(4) 1989. `[Carreiro & Gelernter 89b]' N. Carreiro and D. Gelernter, `How to Write Parallel Programs: A Guide to the Perplexed', ACM Computing Surveys, September 1989. `[Clocksin & Mellish 81]' W.F. Clocksin and C.S. Mellish, `Programming in Prolog', Springer-Verlag, 1981. `[Colmerauer 90]' Colmerauer A.: An Introduction to Prolog III, Communications of the ACM, 33(7), 69-90, 1990. `[Diaz & Codognet 93]' D. Diaz and P. Codognet, `A Minimal Extension of the WAM for clp(FD)', Proceedings of the International Conference on Logic Programming, MIT Press, 1993. `[Fruehwirth 98]' Th. Fruehwirth, `Theory and Practice of Constraint Handling Rules', Special Issue on Constraint Logic Programming (P. Stuckey and K. Marriot, Eds.), Journal of Logic Programming, Vol 37(1-3), pp 95-138, October 1998. `[Gorlick & Kesselman 87]' M.M. Gorlick and C.F. Kesselman, `Timing Prolog Programs Without Clocks', Proc. Symposium on Logic Programming, pp. 426-432, IEEE Computer Society, 1987. `[Hanak et al. 04]' D. Hanák, T. Szeredi, P. Szeredi: `FDBG, the CLPFD Debugger Library of SICStus Prolog'. Proc. International Workshop on Logic Programming Environments (WLPE'04), 2004. `[Heintze et al. 87]' N. Heintze, J. Jaffar, S. Michaylov, P. Stuckey, R. Yap, `The CLP(R) Programmers Manual', Monash University, Clayton, Victoria, Australia, Department of Computer Science, 1987. `[Holzbaur 92a]' C. Holzbaur, `A High-Level Approach to the Realization of CLP Languages', Proceedings of the JICSLP92 Post-Conference Workshop on Constraint Logic Programming Systems, Washington D.C., 1992. `[Holzbaur 94]' C. Holzbaur, `A Specialized, Incremental Solved Form Algorithm for Systems of Linear Inequalities', Austrian Research Institute for Artificial Intelligence, Vienna, TR-94-07, 1994. `[Jaffar & Michaylov 87]' J. Jaffar, S. Michaylov, `Methodology and Implementation of a CLP System', in J.L. Lassez (ed.), Logic Programming--Proceedings of the 4th International Conference--Volume 1, MIT Press, Cambridge, MA, 1987. `[Kowalski 74]' R.A. Kowalski, `Logic for Problem Solving', DCL Memo 75, Dept of Artificial Intelligence, University of Edinburgh, March, 1974. `[Kowalski 79]' R.A. Kowalski, `Artificial Intelligence: Logic for Problem Solving'. North Holland, 1979. `[Mehlhorn 00]' K. Mehlhorn and Sven Thiel, `Faster algorithms for bound-consistency of the sortedness and the alldifferent constraint', In CP2000, LNCS 1894, Springer-Verlag, 2000. `[O'Keefe 90]' R.A. O'Keefe, `The Craft of Prolog', MIT Press, 1990. `[Ousterhout 94]' John K. Ousterhout, `Tcl and the Tk Toolkit'. Addison-Wesley, 1994. `[Regin 94]' J.-C. Regin, `A filtering algorithm for constraints of difference in CSPs', Proc. of the Twelfth National Conference on Artificial Intelligence (AAAI-94), pp. 362-367, 1994 `[Regin 96]' J.-C. Regin, `Generalized Arc Consistency for Global Cardinality Constraint', Proc. of the Fourteenth National Conference on Artificial Intelligence (AAAI-96), 1996. `[Regin 99]' J.-C. Regin, `Arc Consistency for Global Cardinality with Costs', In CP'99, LNCS 1713, pp. 390-404, 1999. `[Schrijvers & Demoen 04]' T. Schrijvers and B. Demoen, `The K.U.Leuven CHR System: Implementation and Application', First Workshop on Constraint Handling Rules: Selected Contributions (T. Fruehwirth and M. Meister, eds.), pp. 1-5, 2004. `[Sellmann 02]' M. Sellmann, `An Arc Consistency Algorithm for the Minimum Weight All Different Constraint', Proc. Principles and Practice of Constraint Programming (CP'2002), 2002. `[Robinson 65]' J.A. Robinson, `A Machine-Oriented Logic Based on the Resolution Principle', Journal of the ACM 12:23-44, January 1965. `[Roussel 75]' P. Roussel, `Prolog : Manuel de Reference et d'Utilisation', Groupe d'Intelligence Artificielle, Marseille-Luminy, 1975. `[Saraswat 90]' V. Saraswat, `Concurrent Constraint Programming Languages'. PhD thesis, Carnegie-Mellon University, 1990. `[Schimpf 2002]' J. Schimpf, `Logical Loops'. Proc. ICLP, pp. 224-238, 2002. `[Sterling & Shapiro 86]' L. Sterling and E. Shapiro, `The Art of Prolog'. The MIT Press, Cambridge MA, 1986. `[Van Hentenryck 89]' P. Van Hentenryck, `Constraint Satisfaction in Logic Programming', Logic Programming Series, The MIT Press, 1989. `[Van Hentenryck et al. 92]' P. Van Hentenryck, V. Saraswat and Y. Deville, `Constraint processing in cc(FD)', unpublished manuscript, 1992. `[Van Hentenryck & Deville 91]' P. Van Hentenryck and Y. Deville, `The Cardinality Operator: a new logical connective and its application to constraint logic programming', In: Eighth International Conference on Logic Programming, 1991. `[Van Hentenryck et al. 95]' P. Van Hentenryck, V. Saraswat and Y. Deville, `Design, implementation and evaluation of the constraint language cc(FD)'. In A. Podelski, ed., Constraints: Basics and Trends, LNCS 910. Springer-Verlag, 1995. `[Warren 83]' D.H.D. Warren, `An Abstract Prolog Instruction Set', Technical Note 309, SRI International, 1983.  File: sicstus.info, Node: Predicate Index, Next: Keystroke Index, Prev: References, Up: Top Predicate Index *************** [index] * Menu: * !/0 (built-in, ref page): mpg-ref-cut. (line 6) * !/0, cut: ref-sem-ctr-cut. (line 6) * # /1 (clpfd): Propositional Constraints. (line 22) * # /2 (clpfd): Propositional Constraints. (line 28) * #/ /2 (clpfd): Propositional Constraints. (line 25) * #< /2 (clpfd): Arithmetic Constraints. (line 7) * #<= /2 (clpfd): Propositional Constraints. (line 35) * #<=> /2 (clpfd) <1>: Propositional Constraints. (line 38) * #<=> /2 (clpfd): Reified Constraints. (line 17) * #= /2 (clpfd): Arithmetic Constraints. (line 7) * #=< /2 (clpfd): Arithmetic Constraints. (line 7) * #=> /2 (clpfd): Propositional Constraints. (line 35) * #> /2 (clpfd): Arithmetic Constraints. (line 7) * #>= /2 (clpfd): Arithmetic Constraints. (line 7) * 'SU_messages':generate_message/3: Message Handling Predicates. (line 21) * 'SU_messages':query_abbreviation/3: Query Handling Predicates. (line 29) * 'SU_messages':query_class/5: Query Handling Predicates. (line 26) * 'SU_messages':query_input/3: Query Handling Predicates. (line 39) * 'SU_messages':query_map/4: Query Handling Predicates. (line 49) * + /1, not provable: ref-sem-ctr-naf. (line 6) * +/1 (built-in ref page): mpg-ref-not_provable. (line 6) * ,/2 (built-in, ref page): mpg-ref-and. (line 6) * ,/2, conjunction: ref-sem-ctr. (line 6) * -> /2 ;/2, if then else: ref-sem-ctr-ite. (line 6) * -> /2, if then: ref-sem-ctr-ite. (line 29) * ->/2 (built-in, ref page): mpg-ref-if_then. (line 6) * : /2, module qualifier: ref-sem-ctr-oth. (line 16) * :- /1, directive: Directives. (line 6) * ;/2 (built-in, ref page): mpg-ref-or. (line 6) * ;/2, disjunction: ref-sem-ctr-dis. (line 6) * <-/2 (objects): obj-exp-send. (line 6) * : mpg-ref-not_equal_to. (line 6) * ==/2 (built-in, ref page): mpg-ref-term_equal_to. (line 6) * >/2 (built-in, ref page): mpg-ref-greater_than. (line 6) * >=/2 (built-in, ref page): mpg-ref-not_less_than. (line 6) * >>/2 (objects): obj-exp-get. (line 6) * ?- /1, query: Queries. (line 6) * ?=/2 (built-in): ref-lte-met-usu. (line 30) * ?=/2 (built-in, ref page): mpg-ref-term_unify_decided. (line 6) * @/2 (built-in): ref-lte-cte-sot. (line 35) * @>/2 (built-in, ref page): mpg-ref-term_greater_than. (line 6) * @>=/2 (built-in): ref-lte-cte-sot. (line 35) * @>=/2 (built-in, ref page): mpg-ref-term_not_less_than. (line 6) * ^ /2, existential quantifier: ref-sem-ctr-oth. (line 6) * ^/2 (built-in): ref-all-cse-equ. (line 6) * ^/2 (built-in, ref page): mpg-ref-exists. (line 6) * abolish/[1,2] (built-in): ref-mdb-rcd. (line 19) * abolish/[1,2] (built-in, ref page): mpg-ref-abolish. (line 6) * abort/0 (built-in): ref-ere-int. (line 19) * abort/0 (built-in, ref page): mpg-ref-abort. (line 6) * absolute_file_name/[2,3] (built-in, ref page): mpg-ref-absolute_file_name. (line 6) * acyclic_term/1 (terms): lib-terms. (line 168) * add_breakpoint/2 (built-in): Breakpoint Predicates. (line 10) * add_breakpoint/2 (built-in, ref page): mpg-ref-add_breakpoint. (line 6) * add_edges/3 (ugraphs): lib-ugraphs. (line 63) * add_edges/3 (wgraphs): lib-wgraphs. (line 79) * add_element/3 (sets): lib-sets. (line 12) * add_vertices/3 (ugraphs): lib-ugraphs. (line 56) * add_vertices/3 (wgraphs): lib-wgraphs. (line 33) * aggregate/3 (aggregate): lib-aggregate. (line 152) * aggregate/4 (aggregate): lib-aggregate. (line 148) * aggregate_all/3 (aggregate): lib-aggregate. (line 160) * aggregate_all/4 (aggregate): lib-aggregate. (line 156) * all/1 (plunit option): PlUnit A Unit Test Box. (line 115) * all_different/[1,2] (clpfd): Combinatorial Constraints. (line 407) * all_distinct/[1,2] (clpfd): Combinatorial Constraints. (line 407) * append/3 (built-in): ref-lte-acl. (line 6) * append/3 (built-in, ref page): mpg-ref-append. (line 6) * append/[2,5] (lists): lib-lists. (line 18) * append_length/[3,4] (lists): lib-lists. (line 275) * append_queue/3 (queues): lib-queues. (line 81) * arg/3 (built-in): ref-lte-act. (line 12) * arg/3 (built-in, ref page): mpg-ref-arg. (line 6) * ask_query/4 (built-in): Query Handling Predicates. (line 7) * ask_query/4 (built-in, ref page): mpg-ref-ask_query. (line 6) * assert/[1,2] (built-in): ref-mdb-acd. (line 14) * assert/[1,2] (built-in, ref page): mpg-ref-assert. (line 6) * asserta/[1,2] (built-in): ref-mdb-acd. (line 14) * asserta/[1,2] (built-in, ref page): mpg-ref-asserta. (line 6) * assertz/[1,2] (built-in): ref-mdb-acd. (line 14) * assertz/[1,2] (built-in, ref page): mpg-ref-assertz. (line 6) * assignment/[2,3] (clpfd): Combinatorial Constraints. (line 468) * assoc_to_list/2 (assoc): lib-assoc. (line 17) * at_end_of_line/[0,1] (built-in): ref-iou-cin-elf. (line 6) * at_end_of_line/[0,1] (built-in, ref page): mpg-ref-at_end_of_line. (line 6) * at_end_of_stream/[0,1] (built-in): ref-iou-cin-elf. (line 6) * at_end_of_stream/[0,1] (built-in, ref page): mpg-ref-at_end_of_stream. (line 6) * atom/1 (built-in, ref page): mpg-ref-atom. (line 6) * atom_chars/2 (built-in): ref-lte-c2t. (line 6) * atom_chars/2 (built-in, ref page): mpg-ref-atom_chars. (line 6) * atom_codes/2 (built-in): ref-lte-c2t. (line 11) * atom_codes/2 (built-in, ref page): mpg-ref-atom_codes. (line 6) * atom_concat/3 (built-in): ref-lte-atm. (line 10) * atom_concat/3 (built-in, ref page): mpg-ref-atom_concat. (line 6) * atom_length/2 (built-in): ref-lte-atm. (line 6) * atom_length/2 (built-in, ref page): mpg-ref-atom_length. (line 6) * atomic/1 (built-in, ref page): mpg-ref-atomic. (line 6) * atomic_type/[1,2,3] (structs): str-etr. (line 34) * attribute/1 (declaration): lib-atts. (line 21) * attribute_goal/2 (Module): lib-atts. (line 123) * automaton/[3,8,9] (clpfd): Combinatorial Constraints. (line 1172) * avl_change/5 (avl): lib-avl. (line 116) * avl_del_max/4 (avl): lib-avl. (line 168) * avl_del_min/4 (avl): lib-avl. (line 162) * avl_delete/4 (avl): lib-avl. (line 157) * avl_domain/2 (avl): lib-avl. (line 32) * avl_fetch/2 (avl): lib-avl. (line 85) * avl_fetch/3 (avl): lib-avl. (line 90) * avl_height/2 (avl): lib-avl. (line 57) * avl_incr/4 (avl): lib-avl. (line 153) * avl_map/2 (avl): lib-avl. (line 174) * avl_map/3 (avl): lib-avl. (line 178) * avl_max/2 (avl): lib-avl. (line 51) * avl_max/3 (avl): lib-avl. (line 54) * avl_member/2 (avl): lib-avl. (line 72) * avl_member/3 (avl): lib-avl. (line 78) * avl_min/2 (avl): lib-avl. (line 45) * avl_min/3 (avl): lib-avl. (line 48) * avl_next/3 (avl): lib-avl. (line 96) * avl_next/4 (avl): lib-avl. (line 100) * avl_prev/3 (avl): lib-avl. (line 106) * avl_prev/4 (avl): lib-avl. (line 110) * avl_range/2 (avl): lib-avl. (line 38) * avl_size/2 (avl): lib-avl. (line 61) * avl_store/4 (avl): lib-avl. (line 147) * avl_to_list/2 (avl): lib-avl. (line 17) * bag_add_element/4 (bags): lib-bags. (line 199) * bag_del_element/4 (bags): lib-bags. (line 203) * bag_intersect/2 (bags): lib-bags. (line 195) * bag_intersection/2 (bags): lib-bags. (line 185) * bag_max/2 (bags): lib-bags. (line 130) * bag_max/3 (bags): lib-bags. (line 145) * bag_min/2 (bags): lib-bags. (line 151) * bag_subtract/3 (bags): lib-bags. (line 207) * bag_to_list/2 (bags): lib-bags. (line 81) * bag_to_ord_set/2 (bags): lib-bags. (line 86) * bag_to_ord_set/3 (bags): lib-bags. (line 92) * bag_to_set/2 (bags): lib-bags. (line 102) * bag_to_set/3 (bags): lib-bags. (line 108) * bag_union/2 (bags): lib-bags. (line 180) * bag_union/3 (bags): lib-bags. (line 177) * bagof/3 (built-in): ref-all-cba. (line 10) * bagof/3 (built-in, ref page): mpg-ref-bagof. (line 6) * bagof_rd_noblock/3 (linda_client): lib-linda-client. (line 90) * bb_delete/2 (built-in): ref-mdb-bbd. (line 32) * bb_delete/2 (built-in, ref page): mpg-ref-bb_delete. (line 6) * bb_get/2 (built-in): ref-mdb-bbd. (line 28) * bb_get/2 (built-in, ref page): mpg-ref-bb_get. (line 6) * bb_inf/[3,5] (clpqr): CLPQR Solver Predicates. (line 127) * bb_put/2 (built-in): ref-mdb-bbd. (line 25) * bb_put/2 (built-in, ref page): mpg-ref-bb_put. (line 6) * bb_update/3 (built-in): ref-mdb-bbd. (line 37) * bb_update/3 (built-in, ref page): mpg-ref-bb_update. (line 6) * begin_tests/[1,2] (plunit declaration): PlUnit A Unit Test Box. (line 9) * between/3 (between): lib-between. (line 10) * block/1 (built-in, ref page): mpg-ref-block. (line 6) * block/1 (declaration): Block Declarations. (line 6) * blocked/1 (plunit option): PlUnit A Unit Test Box. (line 34) * break/0 (built-in) <1>: ref-lod-rpx. (line 6) * break/0 (built-in) <2>: ref-ere-int. (line 9) * break/0 (built-in): Nested. (line 6) * break/0 (built-in, ref page): mpg-ref-break. (line 6) * breakpoint_expansion/2 (hook, ref page): mpg-ref-breakpoint_expansion. (line 6) * breakpoint_expansion/2 (user, hook) <1>: Condition Macros. (line 23) * breakpoint_expansion/2 (user, hook): Hooks Related to Breakpoints. (line 8) * byte_count/2 (built-in) <1>: ref-iou-sos. (line 14) * byte_count/2 (built-in): ref-iou-sfh-opn. (line 77) * byte_count/2 (built-in, ref page): mpg-ref-byte_count. (line 6) * call/[1,2,...,255] (built-in, ref page): mpg-ref-call. (line 6) * call_cleanup/2 (built-in, ref page): mpg-ref-call_cleanup. (line 6) * call_residue_vars/2 (built-in, ref page): mpg-ref-call_residue_vars. (line 6) * callable/1 (built-in, ref page): mpg-ref-callable. (line 6) * case/[3,4] (clpfd): Combinatorial Constraints. (line 193) * cast/1 (structs): str-cas. (line 6) * catch/3 (built-in): ref-ere-hex-pgo. (line 6) * catch/3 (built-in, ref page): mpg-ref-catch. (line 6) * char_code/2 (built-in): ref-lte-c2t. (line 33) * char_code/2 (built-in, ref page): mpg-ref-char_code. (line 6) * char_conversion/2 (built-in, ref page): mpg-ref-char_conversion. (line 6) * character_count/2 (built-in) <1>: ref-iou-sfh-opn. (line 77) * character_count/2 (built-in): ref-iou-sos. (line 17) * character_count/2 (built-in, ref page): mpg-ref-character_count. (line 6) * checkbag/2 (bags): lib-bags. (line 52) * chr_constraint/1 (CHR declaration): CHR Constraint Declaration. (line 6) * chr_flag/3 (chr): CHR Debugging Predicates. (line 28) * chr_leash/1 (chr): CHR Debugging Predicates. (line 20) * chr_notrace/0 (chr): CHR Debugging Predicates. (line 15) * chr_option/2 (CHR declaration): CHR Semantics. (line 74) * chr_show_store/1 (chr): CHR Debugging Predicates. (line 46) * chr_trace/0 (chr): CHR Debugging Predicates. (line 10) * chr_type/1 (CHR declaration): CHR Constraint Declaration. (line 68) * circuit/[1,2] (clpfd): Combinatorial Constraints. (line 502) * class/1 (objects): obj-exp-class. (line 6) * class_ancestor/2 (objects): obj-exp-class_ancestor. (line 6) * class_method/1 (objects): obj-exp-class_method. (line 6) * class_of/2 (objects): obj-exp-class_of. (line 6) * class_superclass/2 (objects): obj-exp-class_superclass. (line 6) * clause/[2,3] (built-in): ref-mdb-acl. (line 6) * clause/[2,3] (built-in, ref page): mpg-ref-clause. (line 6) * cleanup/1 (plunit option): PlUnit A Unit Test Box. (line 71) * close/1 (built-in): ref-iou-sfh-cst. (line 6) * close/[1,2] (built-in, ref page): mpg-ref-close. (line 6) * close_all_streams/0 (file_systems): lib-file_systems. (line 135) * close_client/0 (linda_client): lib-linda-client. (line 28) * clpfd:dispatch_global/4: The Global Constraint Programming Interface. (line 22) * clpfd:full_answer/0: Answer Constraints. (line 19) * clumped/2 (lists): lib-lists. (line 807) * clumps/2 (lists): lib-lists. (line 788) * comclient_clsid_from_progid/2 (comclient): COM Client Predicates. (line 28) * comclient_create_instance/2 (comclient): COM Client Predicates. (line 55) * comclient_equal/2 (comclient): COM Client Predicates. (line 24) * comclient_exception_code/2 (comclient): COM Client Predicates. (line 105) * comclient_exception_culprit/2 (comclient): COM Client Predicates. (line 106) * comclient_exception_description/2 (comclient): COM Client Predicates. (line 107) * comclient_garbage_collect/0 (comclient): COM Client Predicates. (line 7) * comclient_get_active_object/2 (comclient): COM Client Predicates. (line 61) * comclient_iid_from_name/2 (comclient): COM Client Predicates. (line 45) * comclient_invoke_method_fun/3 (comclient): COM Client Predicates. (line 68) * comclient_invoke_method_proc/2 (comclient): COM Client Predicates. (line 72) * comclient_invoke_put/3 (comclient): COM Client Predicates. (line 75) * comclient_is_exception/1 (comclient): COM Client Predicates. (line 94) * comclient_is_object/1 (comclient): COM Client Predicates. (line 13) * comclient_name_from_iid/2 (comclient): COM Client Predicates. (line 51) * comclient_progid_from_clsid/2 (comclient): COM Client Predicates. (line 33) * comclient_release/1 (comclient): COM Client Predicates. (line 79) * comclient_valid_object/1 (comclient): COM Client Predicates. (line 20) * compare/3 (built-in, ref page): mpg-ref-compare. (line 6) * compile/1 (built-in): ref-mod-lod. (line 6) * compile/1 (built-in, ref page): mpg-ref-compile. (line 6) * complement/2 (ugraphs): lib-ugraphs. (line 80) * compose/3 (ugraphs): lib-ugraphs. (line 85) * compound/1 (built-in, ref page): mpg-ref-compound. (line 6) * condition/1 (plunit option): PlUnit A Unit Test Box. (line 46) * cons/3 (lists): lib-lists. (line 361) * consult/1 (built-in, ref page): mpg-ref-consult. (line 6) * contains_term/2 (terms): lib-terms. (line 179) * contains_var/2 (terms): lib-terms. (line 200) * convlist/3 (lists): lib-lists. (line 580) * copy_term/[2,3] (built-in): ref-lte-cpt. (line 6) * copy_term/[2,3] (built-in, ref page): mpg-ref-copy_term. (line 6) * correspond/4 (lists): lib-lists. (line 40) * count/4 (clpfd): Combinatorial Constraints. (line 42) * coverage_data/1 (built-in): Coverage Analysis. (line 36) * coverage_data/1 (built-in, ref page): mpg-ref-coverage_data. (line 6) * create/2 (objects): obj-exp-create. (line 6) * create_mutable/2 (built-in): ref-lte-mut. (line 34) * create_mutable/2 (built-in, ref page): mpg-ref-create_mutable. (line 6) * cumlist/[4,5,6] (lists): lib-lists. (line 422) * cumulative/[1,2] (clpfd): Combinatorial Constraints. (line 512) * cumulatives/[2,3] (clpfd): Combinatorial Constraints. (line 562) * current_atom/1 (built-in, ref page): mpg-ref-current_atom. (line 6) * current_breakpoint/5 (built-in) <1>: Built-in Predicates for Breakpoint Handling. (line 72) * current_breakpoint/5 (built-in): Breakpoint Predicates. (line 59) * current_breakpoint/5 (built-in, ref page): mpg-ref-current_breakpoint. (line 6) * current_char_conversion/2 (built-in, ref page): mpg-ref-current_char_conversion. (line 6) * current_class/1 (objects): obj-exp-current_class. (line 6) * current_directory/[1,2] (file_systems): lib-file_systems. (line 317) * current_host/1 (sockets): lib-sockets. (line 183) * current_input/1 (built-in): ref-iou-sfh-cis. (line 7) * current_input/1 (built-in, ref page): mpg-ref-current_input. (line 6) * current_key/2 (built-in): ref-mdb-idb. (line 42) * current_key/2 (built-in, ref page): mpg-ref-current_key. (line 6) * current_module/[1,2] (built-in): ref-mod-ilm. (line 12) * current_module/[1,2] (built-in, ref page): mpg-ref-current_module. (line 6) * current_op/3 (built-in): ref-syn-ops-ops. (line 12) * current_op/3 (built-in, ref page): mpg-ref-current_op. (line 6) * current_output/1 (built-in): ref-iou-sfh-cos. (line 6) * current_output/1 (built-in, ref page): mpg-ref-current_output. (line 6) * current_predicate/2 (built-in): ref-mod-ilm-def. (line 9) * current_predicate/[1,2] (built-in, ref page): mpg-ref-current_predicate. (line 6) * current_prolog_flag/2 (built-in, ref page): mpg-ref-current_prolog_flag. (line 6) * current_stream/3 (built-in): ref-iou-sfh-bos. (line 6) * current_stream/3 (built-in, ref page): mpg-ref-current_stream. (line 6) * cyclic_term/1 (terms): lib-terms. (line 171) * datime/[1,2] (system): lib-system. (line 15) * db_close/1 (bdb): The Predicates. (line 65) * db_close_env/1 (bdb): The Predicates. (line 22) * db_compress/[2,3] (bdb): The Predicates. (line 125) * db_current/5 (bdb): The Predicates. (line 69) * db_current_env/2 (bdb): The Predicates. (line 26) * db_current_iterator/3 (bdb): The Predicates. (line 170) * db_enumerate/3 (bdb): The Predicates. (line 106) * db_erase/[2,3] (bdb): The Predicates. (line 97) * db_export/[2,3] (bdb): The Predicates. (line 177) * db_fetch/3 (bdb): The Predicates. (line 80) * db_findall/3 (bdb): The Predicates. (line 116) * db_import/[2,3] (bdb): The Predicates. (line 188) * db_iterator_done/1 (bdb): The Predicates. (line 167) * db_iterator_next/3 (bdb): The Predicates. (line 162) * db_make_iterator/[2,3] (bdb): The Predicates. (line 152) * db_open/[4,5] (bdb): The Predicates. (line 32) * db_open_env/[2,3] (bdb): The Predicates. (line 8) * db_reference/1 (built-in, ref page): mpg-ref-db_reference. (line 6) * db_store/3 (bdb): The Predicates. (line 75) * db_sync/1 (bdb): The Predicates. (line 147) * debug/0 (built-in): Basic Debug. (line 10) * debug/0 (built-in, ref page): mpg-ref-debug. (line 6) * debug_message/0 (objects): obj-exp-debug_message. (line 6) * debugger_command_hook/2 (hook, ref page): mpg-ref-debugger_command_hook. (line 6) * debugger_command_hook/2 (user, hook) <1>: Hooks Related to Breakpoints. (line 72) * debugger_command_hook/2 (user, hook): Breakpoint Predicates. (line 111) * debugging/0 (built-in) <1>: Basic Debug. (line 96) * debugging/0 (built-in): Undefined Predicates. (line 27) * debugging/0 (built-in, ref page): mpg-ref-debugging. (line 6) * decreasing_prefix/[3,4] (lists): lib-lists. (line 783) * define_method/3 (objects): obj-exp-define_method. (line 6) * del_edges/3 (ugraphs): lib-ugraphs. (line 67) * del_edges/3 (wgraphs): lib-wgraphs. (line 83) * del_element/3 (sets): lib-sets. (line 17) * del_vertices/3 (ugraphs): lib-ugraphs. (line 59) * del_vertices/3 (wgraphs): lib-wgraphs. (line 75) * delete/[3,4] (lists): lib-lists. (line 47) * delete_directory/[1,2] (file_systems): lib-file_systems. (line 81) * delete_file/1 (file_systems): lib-file_systems. (line 77) * depth_bound/2 (terms): lib-terms. (line 227) * descendant_of/2 (objects): obj-exp-descendant_of. (line 6) * destroy/1 (objects): obj-exp-destroy. (line 6) * dif/2 (built-in): ref-lte-met-usu. (line 36) * dif/2 (built-in, ref page): mpg-ref-dif. (line 6) * direct_message/4 (objects): obj-exp-direct_message. (line 6) * directory_exists/1 (file_systems): lib-file_systems. (line 101) * directory_exists/2 (file_systems): lib-file_systems. (line 101) * directory_member_of_directory/2 (file_systems): lib-file_systems. (line 140) * directory_member_of_directory/3 (file_systems): lib-file_systems. (line 147) * directory_member_of_directory/4 (file_systems): lib-file_systems. (line 155) * directory_members_of_directory/[1,2,3] (file_systems): lib-file_systems. (line 163) * directory_must_exist/1 (file_systems): lib-file_systems. (line 129) * directory_must_exist/2 (file_systems): lib-file_systems. (line 129) * directory_property/[2,3] (file_systems): lib-file_systems. (line 226) * disable_breakpoints/1 (built-in): Breakpoint Predicates. (line 74) * disable_breakpoints/1 (built-in, ref page): mpg-ref-disable_breakpoints. (line 6) * discontiguous/1 (built-in, ref page): mpg-ref-discontiguous. (line 6) * discontiguous/1 (declaration): Discontiguous Declarations. (line 6) * disjoint/2 (sets): lib-sets. (line 28) * disjoint1/[1,2] (clpfd): Combinatorial Constraints. (line 637) * disjoint2/[1,2] (clpfd): Combinatorial Constraints. (line 677) * disjoint_union/3 (sets): lib-sets. (line 147) * dispatch_global/4 (clpfd): The Global Constraint Programming Interface. (line 22) * display/1 (built-in): ref-iou-tou-dsp. (line 6) * display/1 (built-in, ref page): mpg-ref-display. (line 6) * dispose/1 (structs): str-cdf. (line 6) * do/2 (built-in, ref page): mpg-ref-do. (line 6) * do/2, do-loop: ref-sem-ctr-dol. (line 6) * domain/3 (clpfd): Membership Constraints. (line 7) * dump/3 (clpqr): CLPQR Solver Predicates. (line 179) * dynamic/1 (built-in, ref page): mpg-ref-dynamic. (line 6) * dynamic/1 (declaration): Dynamic Declarations. (line 6) * edges/2 (ugraphs): lib-ugraphs. (line 43) * edges/2 (wgraphs): lib-wgraphs. (line 33) * element/3 (clpfd): Combinatorial Constraints. (line 110) * elif/1 (conditional directive): ref-lod-cnd. (line 6) * else/0 (conditional directive): ref-lod-cnd. (line 6) * empty_assoc/1 (assoc): lib-assoc. (line 14) * empty_avl/1 (avl): lib-avl. (line 14) * empty_bag/1 (bags): lib-bags. (line 113) * empty_fdset/1 (clpfd): FD Set Operations. (line 16) * empty_interval/2 (clpfd): FD Set Operations. (line 29) * empty_queue/1 (queues): lib-queues. (line 29) * enable_breakpoints/1 (built-in): Breakpoint Predicates. (line 74) * enable_breakpoints/1 (built-in, ref page): mpg-ref-enable_breakpoints. (line 6) * end_class/[0,1] (objects): obj-exp-end_class. (line 6) * end_tests/1 (plunit declaration): PlUnit A Unit Test Box. (line 12) * endif/0 (conditional directive): ref-lod-cnd. (line 6) * ensure_loaded/1 (built-in): ref-mod-lod. (line 6) * ensure_loaded/1 (built-in, ref page): mpg-ref-ensure_loaded. (line 6) * entailed/1 (clpqr): CLPQR Solver Predicates. (line 72) * environ/[2,3] (system): lib-system. (line 30) * erase/1 (built-in): ref-mdb-rcd. (line 19) * erase/1 (built-in, ref page): mpg-ref-erase. (line 6) * error/1 (plunit option): PlUnit A Unit Test Box. (line 151) * error/2 (plunit option): PlUnit A Unit Test Box. (line 151) * error_exception/1 (hook, ref page): mpg-ref-error_exception. (line 6) * error_exception/1 (user, hook): Exceptions Debug. (line 15) * exception/1 (plunit option): PlUnit A Unit Test Box. (line 145) * exclude/[3,4,5] (lists): lib-lists. (line 597) * execution_state/[1,2] (built-in) <1>: Breakpoint Predicates. (line 81) * execution_state/[1,2] (built-in) <2>: Built-in Predicates for Breakpoint Handling. (line 17) * execution_state/[1,2] (built-in): Accessing Past Debugger States. (line 21) * execution_state/[1,2] (built-in, ref page): mpg-ref-execution_state. (line 6) * expand_term/2 (built-in): ref-lod-exp. (line 51) * expand_term/2 (built-in, ref page): mpg-ref-expand_term. (line 6) * fail/0 (built-in, ref page): mpg-ref-fail. (line 6) * fail/1 (plunit option): PlUnit A Unit Test Box. (line 141) * false/0 (built-in, ref page): mpg-ref-false. (line 6) * fd_batch/1 (clpfd): Combinatorial Constraints. (line 1498) * fd_closure/2 (clpfd): Reflection Predicates. (line 56) * fd_degree/2 (clpfd): Reflection Predicates. (line 40) * fd_dom/2 (clpfd): Reflection Predicates. (line 35) * fd_flag/3 (clpfd): The Global Constraint Programming Interface. (line 126) * fd_global/[3,4] (clpfd): The Global Constraint Programming Interface. (line 74) * fd_max/2 (clpfd): Reflection Predicates. (line 20) * fd_min/2 (clpfd): Reflection Predicates. (line 15) * fd_neighbors/2 (clpfd): Reflection Predicates. (line 52) * fd_set/2 (clpfd): Reflection Predicates. (line 30) * fd_size/2 (clpfd): Reflection Predicates. (line 25) * fd_statistics/[0,2] (clpfd): Statistics Predicates. (line 9) * fd_var/1 (clpfd): Reflection Predicates. (line 11) * fdbg_annotate/[3,4] (fdbg): FDBG Writing Visualizers. (line 72) * fdbg_assign_name/2 (fdbg): FDBG Naming Terms. (line 10) * fdbg_current_name/2 (fdbg): FDBG Naming Terms. (line 16) * fdbg_get_name/2 (fdbg): FDBG Naming Terms. (line 20) * fdbg_guard/3 (fdbg): FDBG Debugging Global Constraints. (line 15) * fdbg_label_show/3 (fdbg): FDBG Built-In Visualizers. (line 35) * fdbg_labeling_step/2 (fdbg): FDBG Annotation. (line 23) * fdbg_legend/[1,2] (fdbg): FDBG Writing Visualizers. (line 94) * fdbg_off/0 (fdbg): FDBG Options. (line 18) * fdbg_on/[0,1] (fdbg): FDBG Options. (line 8) * fdbg_show/2 (fdbg): FDBG Built-In Visualizers. (line 14) * fdbg_start_labeling/1 (fdbg): FDBG Annotation. (line 21) * fdbg_transform_actions/3 (fdbg): FDBG Writing Legend Printers. (line 15) * fdset_add_element/3 (clpfd): FD Set Operations. (line 67) * fdset_complement/2 (clpfd): FD Set Operations. (line 106) * fdset_del_element/3 (clpfd): FD Set Operations. (line 70) * fdset_disjoint/2 (clpfd): FD Set Operations. (line 73) * fdset_eq/2 (clpfd): FD Set Operations. (line 89) * fdset_intersect/2 (clpfd): FD Set Operations. (line 76) * fdset_intersection/[2,3] (clpfd): FD Set Operations. (line 79) * fdset_interval/3 (clpfd): FD Set Operations. (line 32) * fdset_max/2 (clpfd): FD Set Operations. (line 42) * fdset_member/2 (clpfd): FD Set Operations. (line 85) * fdset_min/2 (clpfd): FD Set Operations. (line 39) * fdset_parts/4 (clpfd): FD Set Operations. (line 19) * fdset_singleton/2 (clpfd): FD Set Operations. (line 35) * fdset_size/2 (clpfd): FD Set Operations. (line 46) * fdset_subset/2 (clpfd): FD Set Operations. (line 93) * fdset_subtract/3 (clpfd): FD Set Operations. (line 96) * fdset_to_list/2 (clpfd): FD Set Operations. (line 55) * fdset_to_range/2 (clpfd): FD Set Operations. (line 63) * fdset_union/[2,3] (clpfd): FD Set Operations. (line 100) * fdvar_portray/3 (fdbg, hook): FDBG Customizing Output. (line 9) * fetch_slot/2 (objects): obj-exp-fetch_slot. (line 6) * file_exists/1 (file_systems): lib-file_systems. (line 113) * file_exists/2 (file_systems): lib-file_systems. (line 113) * file_member_of_directory/[2,3,4] (file_systems): lib-file_systems. (line 185) * file_members_of_directory/[1,2,3] (file_systems): lib-file_systems. (line 206) * file_must_exist/1 (file_systems): lib-file_systems. (line 121) * file_must_exist/2 (file_systems): lib-file_systems. (line 121) * file_property/[2,3] (file_systems): lib-file_systems. (line 305) * file_search_path/2 (hook, ref page): mpg-ref-file_search_path. (line 6) * file_search_path/2 (user, hook): ref-fdi-fsp-def. (line 6) * findall/[3,4] (built-in): ref-all-cba-cal. (line 6) * findall/[3,4] (built-in, ref page): mpg-ref-findall. (line 6) * first_bound/2 (clpfd): Enumeration Predicates. (line 26) * fixme/1 (plunit option): PlUnit A Unit Test Box. (line 41) * float/1 (built-in, ref page): mpg-ref-float. (line 6) * flush_output/1 (built-in): ref-iou-sfh-flu. (line 6) * flush_output/[0,1] (built-in, ref page): mpg-ref-flush_output. (line 6) * forall/1 (plunit option): PlUnit A Unit Test Box. (line 58) * forall/2 (aggregate): lib-aggregate. (line 124) * foreach/2 (aggregate): lib-aggregate. (line 130) * foreign/[2,3] (hook, ref page): mpg-ref-foreign. (line 6) * foreign/[2,3] (Module, hook): Conversion Declarations. (line 27) * foreign_resource/2 (hook, ref page): mpg-ref-foreign_resource. (line 6) * foreign_resource/2 (Module, hook): Conversion Declarations. (line 9) * foreign_type/2 (structs): str-fty-dty. (line 6) * format/[2,3] (built-in): ref-iou-cou-fou. (line 6) * format/[2,3] (built-in, ref page): mpg-ref-format. (line 6) * format_to_codes/[3,4] (codesio): lib-codesio. (line 14) * free_of_term/2 (terms): lib-terms. (line 184) * free_of_var/2 (terms): lib-terms. (line 206) * free_variables/4 (aggregate): lib-aggregate. (line 164) * freeze/2 (built-in, ref page): mpg-ref-freeze. (line 6) * frozen/2 (built-in, ref page): mpg-ref-frozen. (line 6) * full_answer/0 (clpfd): Answer Constraints. (line 19) * functor/3 (built-in): ref-lte-act. (line 6) * functor/3 (built-in, ref page): mpg-ref-functor. (line 6) * fzn_dump/[2,3] (zinc): FlatZinc Exported Predicates. (line 314) * fzn_identifier/3 (zinc): FlatZinc Exported Predicates. (line 150) * fzn_load_file/2 (zinc): FlatZinc Exported Predicates. (line 38) * fzn_load_stream/2 (zinc): FlatZinc Exported Predicates. (line 31) * fzn_objective/2 (zinc): FlatZinc Exported Predicates. (line 183) * fzn_output/1 (zinc): FlatZinc Exported Predicates. (line 118) * fzn_post/1 (zinc): FlatZinc Exported Predicates. (line 108) * fzn_run_file/[1,2] (zinc): FlatZinc Exported Predicates. (line 294) * fzn_run_stream/[1,2] (zinc): FlatZinc Exported Predicates. (line 266) * fzn_solve/1 (zinc): FlatZinc Exported Predicates. (line 112) * garbage_collect/0 (built-in): ref-mgc-gcd. (line 19) * garbage_collect/0 (built-in, ref page): mpg-ref-garbage_collect. (line 6) * garbage_collect_atoms/0 (built-in): ref-mgc-ago-agc. (line 18) * garbage_collect_atoms/0 (built-in, ref page): mpg-ref-garbage_collect_atoms. (line 6) * gen_assoc/3 (assoc): lib-assoc. (line 23) * gen_int/1 (between): lib-between. (line 23) * gen_label/3 (trees): lib-trees. (line 10) * gen_nat/1 (between): lib-between. (line 17) * generate_message/3 (built-in, ref page): mpg-ref-generate_message. (line 6) * generate_message/3 (SU_messages): Message Handling Predicates. (line 21) * generate_message_hook/3 (hook, ref page): mpg-ref-generate_message_hook. (line 6) * generate_message_hook/3 (user, hook): Message Handling Predicates. (line 16) * geost/[2,3,4] (clpfd): Combinatorial Constraints. (line 781) * get_address/3 (structs): str-afd. (line 11) * get_assoc/3 (assoc): lib-assoc. (line 33) * get_atts/2 (Module): lib-atts. (line 38) * get_byte/[1,2] (built-in): ref-iou-cin-cha. (line 6) * get_byte/[1,2] (built-in, ref page): mpg-ref-get_byte. (line 6) * get_char/[1,2] (built-in): ref-iou-cin-cha. (line 12) * get_char/[1,2] (built-in, ref page): mpg-ref-get_char. (line 6) * get_code/[1,2] (built-in): ref-iou-cin-cha. (line 9) * get_code/[1,2] (built-in, ref page): mpg-ref-get_code. (line 6) * get_contents/3 (structs): str-afd. (line 6) * get_label/3 (trees): lib-trees. (line 15) * get_mutable/2 (built-in): ref-lte-mut. (line 37) * get_mutable/2 (built-in, ref page): mpg-ref-get_mutable. (line 6) * get_next_assoc/4 (assoc): lib-assoc. (line 46) * get_prev_assoc/4: lib-assoc. (line 58) * getrand/1 (random): lib-random. (line 17) * global_cardinality/[2,3] (clpfd): Combinatorial Constraints. (line 55) * goal_expansion/5 (hook, ref page): mpg-ref-goal_expansion. (line 6) * goal_expansion/5 (Module, hook): ref-lod-exp. (line 38) * goal_source_info/3 (built-in) <1>: Message Handling Predicates. (line 35) * goal_source_info/3 (built-in): ref-ere-err. (line 87) * goal_source_info/3 (built-in, ref page): mpg-ref-goal_source_info. (line 6) * ground/1 (built-in, ref page): mpg-ref-ground. (line 6) * group/[3,4,5] (lists): lib-lists. (line 672) * halt/[0,1] (built-in): ref-ere-int. (line 11) * halt/[0,1] (built-in, ref page): mpg-ref-halt. (line 6) * head/2 (lists): lib-lists. (line 371) * if/1 (conditional directive): ref-lod-cnd. (line 6) * if/3 (built-in, ref page): mpg-ref-if. (line 6) * if/3, soft cut: ref-sem-ctr-ite. (line 48) * illarg/[3,4] (types): lib-types. (line 60) * in/1 (linda_client): lib-linda-client. (line 60) * in/2 (clpfd): Membership Constraints. (line 13) * in/2 (linda_client): lib-linda-client. (line 71) * in_noblock/1 (linda_client): lib-linda-client. (line 65) * in_set/2 (clpfd): Membership Constraints. (line 18) * include/1 (built-in, ref page): mpg-ref-include. (line 6) * include/1 (declaration): Include Declarations. (line 6) * include/[3,4,5] (lists): lib-lists. (line 629) * increasing_prefix/[3,4] (lists): lib-lists. (line 778) * indomain/1 (clpfd): Enumeration Predicates. (line 14) * inf/[2,4] (clpqr): CLPQR Solver Predicates. (line 85) * inherit/1 (objects): obj-exp-inherit. (line 6) * initialization/1 (built-in, ref page): mpg-ref-initialization. (line 6) * initialization/1 (declaration): Initializations. (line 6) * instance/2 (built-in): ref-mdb-acl. (line 6) * instance/2 (built-in, ref page): mpg-ref-instance. (line 6) * instance_method/1 (objects): obj-exp-instance_method. (line 6) * integer/1 (built-in, ref page): mpg-ref-integer. (line 6) * intersect/2 (sets): lib-sets. (line 44) * intersection/[2,3] (sets): lib-sets. (line 79) * is/2 (built-in): ref-ari-eae. (line 15) * is/2 (built-in, ref page): mpg-ref-is. (line 6) * is_assoc/1 (assoc): lib-assoc. (line 64) * is_avl/1 (avl): lib-avl. (line 23) * is_bag/1 (bags): lib-bags. (line 39) * is_fdset/1 (clpfd): FD Set Operations. (line 13) * is_list/1 (lists): lib-lists. (line 71) * is_ordset/1 (ordsets): lib-ordsets. (line 23) * is_process/1 (process): lib-process. (line 190) * is_queue/1 (queues): lib-queues. (line 44) * is_set/1 (sets): lib-sets. (line 33) * jasper_call/4 (jasper): Jasper Library Predicates. (line 73) * jasper_create_global_ref/3 (jasper): Jasper Library Predicates. (line 153) * jasper_create_local_ref/3 (jasper): Jasper Library Predicates. (line 160) * jasper_deinitialize/1 (jasper): Jasper Library Predicates. (line 69) * jasper_delete_global_ref/2 (jasper): Jasper Library Predicates. (line 157) * jasper_delete_local_ref/2 (jasper): Jasper Library Predicates. (line 164) * jasper_initialize/[1,2] (jasper): Jasper Library Predicates. (line 8) * jasper_is_instance_of/3 (jasper): Jasper Library Predicates. (line 187) * jasper_is_jvm/1 (jasper): Jasper Library Predicates. (line 167) * jasper_is_object/[1,2] (jasper): Jasper Library Predicates. (line 171) * jasper_is_same_object/3 (jasper): Jasper Library Predicates. (line 180) * jasper_new_object/5 (jasper) <1>: Deprecated Jasper Predicates. (line 7) * jasper_new_object/5 (jasper): Jasper Library Predicates. (line 115) * jasper_null/2 (jasper): Jasper Library Predicates. (line 199) * jasper_object_class_name/3 (jasper): Jasper Library Predicates. (line 192) * keyclumped/2 (lists): lib-lists. (line 814) * keyclumps/2 (lists): lib-lists. (line 797) * keymerge/3 (samsort): lib-samsort. (line 38) * keys_and_values/3 (lists): lib-lists. (line 77) * keysort/2 (built-in): ref-lte-cte-sor. (line 6) * keysort/2 (built-in, ref page): mpg-ref-keysort. (line 6) * labeling/1 (clpb): CLPB Interface. (line 25) * labeling/2 (clpfd): Enumeration Predicates. (line 19) * last/2 (lists): lib-lists. (line 95) * last/3 (lists): lib-lists. (line 365) * later_bound/2 (clpfd): Enumeration Predicates. (line 26) * leash/1 (built-in): Basic Debug. (line 44) * leash/1 (built-in, ref page): mpg-ref-leash. (line 6) * legend_portray/3 (fdbg, hook): FDBG Customizing Output. (line 24) * length/2 (built-in): ref-lte-acl. (line 13) * length/2 (built-in, ref page): mpg-ref-length. (line 6) * length/3 (bags): lib-bags. (line 159) * length_bound/2 (terms): lib-terms. (line 233) * lex_chain/[1,2] (clpfd): Combinatorial Constraints. (line 1133) * library_directory/1 (hook, ref page): mpg-ref-library_directory. (line 6) * linda/[0,1] (linda): lib-linda-server. (line 17) * linda_client/1 (linda_client): lib-linda-client. (line 18) * linda_timeout/2 (linda_client): lib-linda-client. (line 50) * line_count/2 (built-in) <1>: ref-iou-sfh-opn. (line 77) * line_count/2 (built-in): ref-iou-sos. (line 22) * line_count/2 (built-in, ref page): mpg-ref-line_count. (line 6) * line_position/2 (built-in) <1>: ref-iou-sos. (line 27) * line_position/2 (built-in): ref-iou-sfh-opn. (line 77) * line_position/2 (built-in, ref page): mpg-ref-line_position. (line 6) * list_queue/2 (queues): lib-queues. (line 95) * list_to_assoc/2 (assoc): lib-assoc. (line 73) * list_to_avl/2 (avl): lib-avl. (line 130) * list_to_bag/2 (bags): lib-bags. (line 97) * list_to_fdset/2 (clpfd): FD Set Operations. (line 51) * list_to_ord_set/2 (ordsets): lib-ordsets. (line 30) * list_to_set/2 (sets): lib-sets. (line 70) * list_to_tree/2 (trees): lib-trees. (line 21) * listing/[0,1] (built-in) <1>: Syntax Errors. (line 28) * listing/[0,1] (built-in): ref-mod-idp. (line 21) * listing/[0,1] (built-in, ref page): mpg-ref-listing. (line 6) * load_files/[1,2] (built-in): ref-sls-ssl. (line 6) * load_files/[1,2] (built-in, ref page): mpg-ref-load_files. (line 6) * load_foreign_resource/1 (built-in): Interface Predicates. (line 7) * load_foreign_resource/1 (built-in, ref page): mpg-ref-load_foreign_resource. (line 6) * make_directory/1 (file_systems): lib-file_systems. (line 108) * make_sub_bag/2 (bags): lib-bags. (line 164) * map_assoc/2 (assoc): lib-assoc. (line 86) * map_assoc/3 (assoc): lib-assoc. (line 93) * map_list_queue/3 (queues): lib-queues. (line 133) * map_product/5 (lists): lib-lists. (line 494) * map_queue/[2,3] (queues): lib-queues. (line 121) * map_queue_list/3 (queues): lib-queues. (line 128) * map_tree/3 (trees): lib-trees. (line 25) * mapbag/2 (bags): lib-bags. (line 56) * mapbag/3 (bags): lib-bags. (line 62) * maplist/[2,3,4] (lists): lib-lists. (line 458) * max_assoc/3 (assoc): lib-assoc. (line 104) * max_member/[2,3] (lists): lib-lists. (line 704) * max_path/5 (ugraphs): lib-ugraphs. (line 111) * max_path/5 (wgraphs): lib-wgraphs. (line 108) * maximize/1 (clpqr): CLPQR Solver Predicates. (line 116) * maximize/2 (clpfd): Enumeration Predicates. (line 31) * maximum/2 (clpfd): Arithmetic Constraints. (line 73) * maybe/[0,1,2] (random): lib-random. (line 28) * member/2 (built-in): ref-lte-acl. (line 22) * member/2 (built-in, ref page): mpg-ref-member. (line 6) * member/3 (bags): lib-bags. (line 117) * memberchk/2 (built-in): ref-lte-acl. (line 19) * memberchk/2 (built-in, ref page): mpg-ref-memberchk. (line 6) * memberchk/3 (bags): lib-bags. (line 122) * merge/[3,4] (samsort): lib-samsort. (line 14) * message/4 (objects): obj-exp-message. (line 6) * message_hook/3 (hook, ref page): mpg-ref-message_hook. (line 6) * message_hook/3 (user, hook): Message Handling Predicates. (line 25) * meta_predicate/1 (built-in, ref page): mpg-ref-meta_predicate. (line 6) * meta_predicate/1 (declaration) <1>: ref-mod-met. (line 6) * meta_predicate/1 (declaration): Meta-Predicate Declarations. (line 6) * min_assoc/3 (assoc): lib-assoc. (line 110) * min_member/[2,3] (lists): lib-lists. (line 714) * min_path/5 (ugraphs): lib-ugraphs. (line 116) * min_path/5 (wgraphs): lib-wgraphs. (line 113) * min_paths/3 (ugraphs): lib-ugraphs. (line 120) * min_paths/3 (wgraphs): lib-wgraphs. (line 118) * min_tree/3 (ugraphs): lib-ugraphs. (line 147) * min_tree/3 (wgraphs): lib-wgraphs. (line 148) * minimize/1 (clpqr): CLPQR Solver Predicates. (line 111) * minimize/2 (clpfd): Enumeration Predicates. (line 31) * minimum/2 (clpfd): Arithmetic Constraints. (line 67) * mode/1 (built-in, ref page): mpg-ref-mode. (line 6) * mode/1 (declaration): Mode Declarations. (line 6) * module/[2,3] (built-in, ref page): mpg-ref-module. (line 6) * module/[2,3] (declaration) <1>: Module Declarations. (line 6) * module/[2,3] (declaration): ref-mod-lod. (line 35) * multifile/1 (built-in, ref page): mpg-ref-multifile. (line 6) * multifile/1 (declaration): Multifile Declarations. (line 6) * must_be/4 (types): lib-types. (line 46) * mutable/1 (built-in): ref-lte-mut. (line 44) * mutable/1 (built-in, ref page): mpg-ref-mutable. (line 6) * mzn_load_file/[2,3] (zinc): MiniZinc Exported Predicates. (line 205) * mzn_run_file/[1,2] (zinc): MiniZinc Exported Predicates. (line 87) * mzn_run_model/[1,2] (zinc): MiniZinc Exported Predicates. (line 115) * mzn_to_fzn/[2,3] (zinc): MiniZinc Exported Predicates. (line 279) * name/2 (built-in): ref-lte-c2t. (line 26) * name/2 (built-in, ref page): mpg-ref-name. (line 6) * neighbors/3 (ugraphs): lib-ugraphs. (line 76) * neighbors/3 (wgraphs): lib-wgraphs. (line 33) * neighbours/3 (ugraphs): lib-ugraphs. (line 76) * neighbours/3 (wgraphs): lib-wgraphs. (line 33) * new/[2,3] (structs): str-cdf. (line 6) * nextto/3 (lists): lib-lists. (line 101) * nl/[0,1] (built-in): ref-iou-cou-nln. (line 6) * nl/[0,1] (built-in, ref page): mpg-ref-nl. (line 6) * nodebug/0 (built-in): Basic Debug. (line 92) * nodebug/0 (built-in, ref page): mpg-ref-nodebug. (line 6) * nodebug_message/0 (objects): obj-exp-nodebug_message. (line 6) * nondet/0 (plunit option): PlUnit A Unit Test Box. (line 53) * nonmember/2 (built-in): ref-lte-acl. (line 25) * nonmember/2 (built-in, ref page): mpg-ref-nonmember. (line 6) * nonvar/1 (built-in, ref page): mpg-ref-nonvar. (line 6) * nospy/1 (built-in): Plain Spypoint. (line 40) * nospy/1 (built-in, ref page): mpg-ref-nospy. (line 6) * nospyall/0 (built-in): Plain Spypoint. (line 45) * nospyall/0 (built-in, ref page): mpg-ref-nospyall. (line 6) * notrace/0 (built-in): Basic Debug. (line 92) * notrace/0 (built-in, ref page): mpg-ref-notrace. (line 6) * now/1 (system): lib-system. (line 12) * nozip/0 (built-in): Basic Debug. (line 92) * nozip/0 (built-in, ref page): mpg-ref-nozip. (line 6) * nth0/[3,4] (lists): lib-lists. (line 108) * nth1/[3,4] (lists): lib-lists. (line 114) * null_foreign_term/2 (structs): str-nul. (line 6) * number/1 (built-in, ref page): mpg-ref-number. (line 6) * number_chars/2 (built-in): ref-lte-c2t. (line 6) * number_chars/2 (built-in, ref page): mpg-ref-number_chars. (line 6) * number_codes/2 (built-in): ref-lte-c2t. (line 6) * number_codes/2 (built-in, ref page): mpg-ref-number_codes. (line 6) * numbervars/1 (varnumbers): lib-varnumbers. (line 39) * numbervars/3 (built-in): ref-lte-anv. (line 6) * numbervars/3 (built-in, ref page): mpg-ref-numbervars. (line 6) * numlist/[2,3,5] (between): lib-between. (line 34) * nvalue/2 (clpfd): Combinatorial Constraints. (line 455) * occurrences_of_term/3 (terms): lib-terms. (line 192) * occurrences_of_var/3 (terms): lib-terms. (line 212) * odbc_db_open/3 (odbc): ODBC Predicates. (line 11) * odbc_db_open/4 (odbc): ODBC Predicates. (line 16) * odbc_db_open/5 (odbc): ODBC Predicates. (line 38) * odbc_env_open/1 (odbc): ODBC Predicates. (line 7) * odbc_list_DSN/2 (odbc): ODBC Predicates. (line 46) * on_exception/3 (built-in): ref-ere-hex-pgo. (line 6) * on_exception/3 (built-in, ref page): mpg-ref-on_exception. (line 6) * once/1: ref-sem-ctr-ite. (line 39) * once/1 (built-in, ref page): mpg-ref-once. (line 6) * one_longer/2 (lists): lib-lists. (line 140) * op/3 (built-in): ref-syn-ops-ops. (line 6) * op/3 (built-in, ref page): mpg-ref-op. (line 6) * open/[3,4] (built-in) <1>: ref-iou-sfh-sob. (line 37) * open/[3,4] (built-in): ref-iou-sfh-opn. (line 6) * open/[3,4] (built-in, ref page): mpg-ref-open. (line 6) * open_codes_stream/2 (codesio): lib-codesio. (line 43) * open_null_stream/1 (built-in): ref-iou-sfh-opn. (line 75) * open_null_stream/1 (built-in, ref page): mpg-ref-open_null_stream. (line 6) * ord_add_element/3 (ordsets): lib-ordsets. (line 36) * ord_del_element/3 (ordsets): lib-ordsets. (line 39) * ord_disjoint/2 (ordsets): lib-ordsets. (line 43) * ord_disjoint_union/3 (ordsets): lib-ordsets. (line 102) * ord_intersect/2 (ordsets): lib-ordsets. (line 46) * ord_intersection/[2,3,4] (ordsets): lib-ordsets. (line 50) * ord_list_to_assoc/2 (assoc): lib-assoc. (line 81) * ord_list_to_avl/2 (avl): lib-avl. (line 124) * ord_member/2 (ordsets): lib-ordsets. (line 63) * ord_nonmember/2 (ordsets): lib-ordsets. (line 66) * ord_seteq/2 (ordsets): lib-ordsets. (line 69) * ord_setproduct/3 (ordsets): lib-ordsets. (line 73) * ord_subset/2 (ordsets): lib-ordsets. (line 90) * ord_subtract/3 (ordsets): lib-ordsets. (line 94) * ord_symdiff/3 (ordsets): lib-ordsets. (line 98) * ord_union/[2,3,4] (ordsets): lib-ordsets. (line 110) * ordered/[1,2] (lists): lib-lists. (line 690) * ordering/1 (clpqr) <1>: CLPQR Variable Ordering. (line 6) * ordering/1 (clpqr): CLPQR Solver Predicates. (line 175) * ordset_order/3 (ordsets): lib-ordsets. (line 127) * otherwise/0 (built-in, ref page): mpg-ref-otherwise. (line 6) * out/1 (linda_client): lib-linda-client. (line 57) * pairfrom/4 (sets): lib-sets. (line 37) * partition/5 (lists): lib-lists. (line 666) * path/3 (ugraphs): lib-ugraphs. (line 125) * path/3 (wgraphs): lib-wgraphs. (line 123) * peek_byte/[1,2] (built-in): ref-iou-cin-pee. (line 9) * peek_byte/[1,2] (built-in, ref page): mpg-ref-peek_byte. (line 6) * peek_char/[1,2] (built-in): ref-iou-cin-pee. (line 16) * peek_char/[1,2] (built-in, ref page): mpg-ref-peek_char. (line 6) * peek_code/[1,2] (built-in): ref-iou-cin-pee. (line 12) * peek_code/[1,2] (built-in, ref page): mpg-ref-peek_code. (line 6) * perm/2 (lists): lib-lists. (line 147) * perm2/4 (lists): lib-lists. (line 161) * permutation/2 (lists): lib-lists. (line 153) * phrase/[2,3] (built-in): ref-gru-exa. (line 29) * phrase/[2,3] (built-in, ref page): mpg-ref-phrase. (line 6) * pointer_object/2 (objects): obj-exp-pointer_object. (line 6) * portray/1 (hook, ref page): mpg-ref-portray. (line 6) * portray/1 (user, hook) <1>: CLPQR Fragments and Bits. (line 10) * portray/1 (user, hook): ref-iou-tou-por. (line 6) * portray_assoc/1 (assoc): lib-assoc. (line 116) * portray_avl/1 (avl): lib-avl. (line 65) * portray_bag/1 (bags): lib-bags. (line 43) * portray_clause/[1,2] (built-in): ref-iou-tou-pcl. (line 6) * portray_clause/[1,2] (built-in, ref page): mpg-ref-portray_clause. (line 6) * portray_message/2 (hook, ref page): mpg-ref-portray_message. (line 6) * portray_message/2 (user, hook): Message Handling Predicates. (line 12) * portray_queue/1 (queues): lib-queues. (line 37) * power_set/2 (sets): lib-sets. (line 75) * predicate_property/2 (built-in) <1>: ref-lps-app. (line 6) * predicate_property/2 (built-in): ref-mod-ilm-vis. (line 41) * predicate_property/2 (built-in, ref page): mpg-ref-predicate_property. (line 6) * prefix/2 (lists): lib-lists. (line 379) * prefix_length/3 (lists): lib-lists. (line 290) * print/[1,2] (built-in): ref-iou-tou-dsp. (line 6) * print/[1,2] (built-in, ref page): mpg-ref-print. (line 6) * print_coverage/[0,1] (built-in): Coverage Analysis. (line 40) * print_coverage/[0,1] (built-in, ref page): mpg-ref-print_coverage. (line 6) * print_message/2 (built-in): Message Handling Predicates. (line 7) * print_message/2 (built-in, ref page): mpg-ref-print_message. (line 6) * print_message_lines/3 (built-in): Message Handling Predicates. (line 31) * print_message_lines/3 (built-in, ref page): mpg-ref-print_message_lines. (line 6) * print_profile/[0,1] (built-in): Execution Profiling. (line 44) * print_profile/[0,1] (built-in, ref page): mpg-ref-print_profile. (line 6) * process_create/[2,3] (process): lib-process. (line 30) * process_id/1 (process): lib-process. (line 184) * process_id/2 (process): lib-process. (line 187) * process_kill/[1,2] (process): lib-process. (line 206) * process_release/1 (process): lib-process. (line 194) * process_wait/[2,3] (process): lib-process. (line 141) * profile_data/1 (built-in): Execution Profiling. (line 40) * profile_data/1 (built-in, ref page): mpg-ref-profile_data. (line 6) * profile_reset/0 (built-in) <1>: Coverage Analysis. (line 33) * profile_reset/0 (built-in): Execution Profiling. (line 37) * profile_reset/0 (built-in, ref page): mpg-ref-profile_reset. (line 6) * project_attributes/2 (Module): lib-atts. (line 138) * projecting_assert/1 (clpqr): CLPQR Solver Predicates. (line 213) * prolog_flag/[2,3] (built-in): ref-iou-tin-trm. (line 41) * prolog_flag/[2,3] (built-in, ref page): mpg-ref-prolog_flag. (line 6) * prolog_load_context/2 (built-in, ref page): mpg-ref-prolog_load_context. (line 6) * prompt/2 (built-in): ref-iou-tin-cpr. (line 6) * prompt/2 (built-in, ref page): mpg-ref-prompt. (line 6) * proper_length/2 (lists): lib-lists. (line 165) * proper_prefix/2 (lists): lib-lists. (line 385) * proper_prefix_length/3 (lists): lib-lists. (line 300) * proper_segment/2 (lists): lib-lists. (line 413) * proper_suffix/2 (lists): lib-lists. (line 397) * proper_suffix_length/3 (lists): lib-lists. (line 320) * public/1 (built-in, ref page): mpg-ref-public. (line 6) * public/1 (declaration): Public Declarations. (line 6) * put_assoc/4 (assoc): lib-assoc. (line 123) * put_atts/2 (Module): lib-atts. (line 52) * put_byte/[1,2] (built-in): ref-iou-cou-cha. (line 6) * put_byte/[1,2] (built-in, ref page): mpg-ref-put_byte. (line 6) * put_char/[1,2] (built-in): ref-iou-cou-cha. (line 12) * put_char/[1,2] (built-in, ref page): mpg-ref-put_char. (line 6) * put_code/[1,2] (built-in): ref-iou-cou-cha. (line 9) * put_code/[1,2] (built-in, ref page): mpg-ref-put_code. (line 6) * put_contents/3 (structs): str-afd. (line 6) * put_label/[4,5] (trees): lib-trees. (line 30) * query_abbreviation/3 (built-in, ref page): mpg-ref-query_abbreviation. (line 6) * query_abbreviation/3 (SU_messages): Query Handling Predicates. (line 29) * query_class/5 (built-in, ref page): mpg-ref-query_class. (line 6) * query_class/5 (SU_messages): Query Handling Predicates. (line 26) * query_class_hook/5 (hook, ref page): mpg-ref-query_class_hook. (line 6) * query_class_hook/5 (user, hook): Query Handling Predicates. (line 20) * query_hook/6 (hook, ref page): mpg-ref-query_hook. (line 6) * query_hook/6 (user, hook): Query Handling Predicates. (line 14) * query_input/3 (built-in, ref page): mpg-ref-query_input. (line 6) * query_input/3 (SU_messages): Query Handling Predicates. (line 39) * query_input_hook/3 (hook, ref page): mpg-ref-query_input_hook. (line 6) * query_input_hook/3 (user, hook): Query Handling Predicates. (line 33) * query_map/4 (built-in, ref page): mpg-ref-query_map. (line 6) * query_map/4 (SU_messages): Query Handling Predicates. (line 49) * query_map_hook/4 (hook, ref page): mpg-ref-query_map_hook. (line 6) * query_map_hook/4 (user, hook): Query Handling Predicates. (line 43) * queue_append/3 (queues): lib-queues. (line 89) * queue_cons/3 (queues): lib-queues. (line 61) * queue_head/2 (queues): lib-queues. (line 50) * queue_last/[2,3] (queues): lib-queues. (line 69) * queue_length/2 (queues): lib-queues. (line 105) * queue_list/2 (queues): lib-queues. (line 100) * queue_member/2 (queues): lib-queues. (line 110) * queue_memberchk/2 (queues): lib-queues. (line 116) * queue_tail/2 (queues): lib-queues. (line 55) * raise_exception/1 (built-in): ref-ere-rex. (line 6) * raise_exception/1 (built-in, ref page): mpg-ref-raise_exception. (line 6) * random/[1,3] (random): lib-random. (line 43) * random_member/2 (random): lib-random. (line 51) * random_numlist/4 (random): lib-random. (line 80) * random_perm2/4 (random): lib-random. (line 75) * random_permutation/2 (random): lib-random. (line 69) * random_select/3 (random): lib-random. (line 55) * random_subseq/3 (random): lib-random. (line 61) * random_ugraph/3 (ugraphs): lib-ugraphs. (line 143) * random_wgraph/4 (wgraphs): lib-wgraphs. (line 143) * range_to_fdset/2 (clpfd): FD Set Operations. (line 59) * rd/[1,2] (linda_client): lib-linda-client. (line 77) * rd_noblock/1 (linda_client): lib-linda-client. (line 82) * reachable/3 (ugraphs): lib-ugraphs. (line 138) * reachable/3 (wgraphs): lib-wgraphs. (line 138) * read/[1,2] (built-in): ref-iou-tin-trm. (line 6) * read/[1,2] (built-in, ref page): mpg-ref-read. (line 6) * read_from_codes/2 (codesio): lib-codesio. (line 33) * read_line/[0,1] (built-in, ref page): mpg-ref-read_line. (line 6) * read_term/[2,3] (built-in): ref-iou-tin-trm. (line 6) * read_term/[2,3] (built-in, ref page): mpg-ref-read_term. (line 6) * read_term_from_codes/3 (codesio): lib-codesio. (line 38) * reconsult/1 (built-in, ref page): mpg-ref-reconsult. (line 6) * recorda/3 (built-in): ref-mdb-idb. (line 31) * recorda/3 (built-in, ref page): mpg-ref-recorda. (line 6) * recorded/3 (built-in, ref page): mpg-ref-recorded. (line 6) * recordz/3 (built-in): ref-mdb-idb. (line 35) * recordz/3 (built-in, ref page): mpg-ref-recordz. (line 6) * reduce/2 (ugraphs): lib-ugraphs. (line 129) * reduce/2 (wgraphs): lib-wgraphs. (line 128) * register_event_listener/[2,3] (prologbeans): PB Prolog Server Interface. (line 137) * register_query/[2,3] (prologbeans): PB Prolog Server Interface. (line 73) * relation/3 (clpfd): Combinatorial Constraints. (line 120) * rem_add_link/4 (rem): lib-rem. (line 22) * rem_create/2 (rem): lib-rem. (line 10) * rem_equivalent/3 (rem): lib-rem. (line 18) * rem_head/3 (random): lib-rem. (line 14) * remove_breakpoints/1 (built-in) <1>: Breakpoint Predicates. (line 74) * remove_breakpoints/1 (built-in): Built-in Predicates for Breakpoint Handling. (line 44) * remove_breakpoints/1 (built-in, ref page): mpg-ref-remove_breakpoints. (line 6) * remove_dups/2 (lists): lib-lists. (line 168) * rename_directory/2 (file_systems): lib-file_systems. (line 71) * rename_file/2 (file_systems): lib-file_systems. (line 65) * repeat/0 (built-in, ref page): mpg-ref-repeat. (line 6) * repeat/1 (between): lib-between. (line 29) * restore/1 (built-in) <1>: Saving. (line 23) * restore/1 (built-in): ref-sls-sst. (line 6) * restore/1 (built-in, ref page): mpg-ref-restore. (line 6) * retract/1 (built-in): ref-mdb-rcd. (line 19) * retract/1 (built-in, ref page): mpg-ref-retract. (line 6) * retractall/1 (built-in): ref-mdb-rcd. (line 19) * retractall/1 (built-in, ref page): mpg-ref-retractall. (line 6) * rev/2 (lists): lib-lists. (line 183) * reverse/2 (lists): lib-lists. (line 176) * rotate_list/[2,3] (lists): lib-lists. (line 330) * run_tests/[0,1,2] (plunit): PlUnit Running the Test-Suite. (line 10) * runtime_entry/1 (user, hook): too-spld. (line 73) * same_functor/[2,3,4] (terms): lib-terms. (line 276) * same_length/[2,3] (lists): lib-lists. (line 189) * samkeysort/2 (samsort): lib-samsort. (line 31) * samsort/[2,3] (samsort): lib-samsort. (line 9) * sat/1 (clpb): CLPB Interface. (line 9) * save_files/2 (built-in) <1>: ref-sls-ssl. (line 6) * save_files/2 (built-in): Saving. (line 59) * save_files/2 (built-in, ref page): mpg-ref-save_files. (line 6) * save_modules/2 (built-in) <1>: Saving. (line 59) * save_modules/2 (built-in): ref-sls-ssl. (line 6) * save_modules/2 (built-in, ref page): mpg-ref-save_modules. (line 6) * save_predicates/2 (built-in) <1>: Saving. (line 59) * save_predicates/2 (built-in): ref-sls-ssl. (line 6) * save_predicates/2 (built-in, ref page): mpg-ref-save_predicates. (line 6) * save_program/[1,2] (built-in) <1>: ref-sls-sst. (line 6) * save_program/[1,2] (built-in): Saving. (line 10) * save_program/[1,2] (built-in, ref page): mpg-ref-save_program. (line 6) * scalar_product/[4,5] (clpfd): Arithmetic Constraints. (line 42) * scanlist/[4,5,6] (lists): lib-lists. (line 517) * see/1 (built-in): ref-iou-sfh-opn. (line 44) * see/1 (built-in, ref page): mpg-ref-see. (line 6) * seeing/1 (built-in): ref-iou-sfh-cis. (line 13) * seeing/1 (built-in, ref page): mpg-ref-seeing. (line 6) * seek/4 (built-in): ref-iou-raf. (line 6) * seek/4 (built-in, ref page): mpg-ref-seek. (line 6) * seen/0 (built-in): ref-iou-sfh-cst. (line 26) * seen/0 (built-in, ref page): mpg-ref-seen. (line 6) * segment/2 (lists): lib-lists. (line 404) * select/3 (lists): lib-lists. (line 9) * select/4 (lists): lib-lists. (line 205) * select_max/[3,4] (lists): lib-lists. (line 756) * select_min/[3,4] (lists): lib-lists. (line 748) * selectchk/3 (lists): lib-lists. (line 13) * selectchk/4 (lists): lib-lists. (line 211) * session_get/4 (prologbeans): PB Prolog Server Interface. (line 106) * session_put/3 (prologbeans): PB Prolog Server Interface. (line 121) * set/1 (plunit option): PlUnit A Unit Test Box. (line 129) * set_input/1 (built-in): ref-iou-sfh-opn. (line 6) * set_input/1 (built-in, ref page): mpg-ref-set_input. (line 6) * set_module/1 (built-in): ref-mod-tyi. (line 22) * set_module/1 (built-in, ref page): mpg-ref-set_module. (line 6) * set_order/3 (sets): lib-sets. (line 63) * set_output/1 (built-in): ref-iou-sfh-opn. (line 34) * set_output/1 (built-in, ref page): mpg-ref-set_output. (line 6) * set_prolog_flag/2 (built-in, ref page): mpg-ref-set_prolog_flag. (line 6) * set_stream_position/2 (built-in): ref-iou-raf. (line 6) * set_stream_position/2 (built-in, ref page): mpg-ref-set_stream_position. (line 6) * seteq/2 (sets): lib-sets. (line 67) * setof/3 (built-in): ref-all-cse. (line 10) * setof/3 (built-in, ref page): mpg-ref-setof. (line 6) * setproduct/3 (sets): lib-sets. (line 131) * setrand/1 (random): lib-random. (line 20) * setup/1 (plunit option): PlUnit A Unit Test Box. (line 66) * shorter_list/2 (lists): lib-lists. (line 222) * shutdown/[0,1] (prologbeans): PB Prolog Server Interface. (line 53) * shutdown_server/0 (linda_client): lib-linda-client. (line 31) * simple/1 (built-in, ref page): mpg-ref-simple. (line 6) * singleton_queue/2 (queues): lib-queues. (line 34) * size_bound/2 (terms): lib-terms. (line 237) * skip_byte/[1,2] (built-in): ref-iou-cin-ski. (line 9) * skip_byte/[1,2] (built-in, ref page): mpg-ref-skip_byte. (line 6) * skip_char/[1,2] (built-in): ref-iou-cin-ski. (line 17) * skip_char/[1,2] (built-in, ref page): mpg-ref-skip_char. (line 6) * skip_code/[1,2] (built-in): ref-iou-cin-ski. (line 13) * skip_code/[1,2] (built-in, ref page): mpg-ref-skip_code. (line 6) * skip_line/[0,1] (built-in): ref-iou-cin-ski. (line 21) * skip_line/[0,1] (built-in, ref page): mpg-ref-skip_line. (line 6) * sleep/1 (system): lib-system. (line 26) * smt/1 (clpfd): Combinatorial Constraints. (line 12) * socket_client_open/3 (sockets): lib-sockets. (line 55) * socket_select/7 (sockets): lib-sockets. (line 149) * socket_server_accept/4 (sockets): lib-sockets. (line 136) * socket_server_close/1 (sockets): lib-sockets. (line 145) * socket_server_open/[2,3] (sockets): lib-sockets. (line 91) * some/[2,3,4] (lists): lib-lists. (line 551) * some_queue/[2,3] (queues): lib-queues. (line 138) * somebag/2 (bags): lib-bags. (line 71) * somechk/[2,3,4] (lists): lib-lists. (line 568) * somechk_queue/[2,3] (queues): lib-queues. (line 149) * somechkbag/2 (bags): lib-bags. (line 76) * sort/2 (built-in): ref-lte-cte-sor. (line 6) * sort/2 (built-in, ref page): mpg-ref-sort. (line 6) * sorting/3 (clpfd): Combinatorial Constraints. (line 618) * source_file/[1,2] (built-in): ref-lps-apf. (line 6) * source_file/[1,2] (built-in, ref page): mpg-ref-source_file. (line 6) * spy/[1,2] (built-in) <1>: Breakpoint Predicates. (line 54) * spy/[1,2] (built-in): Plain Spypoint. (line 28) * spy/[1,2] (built-in, ref page): mpg-ref-spy. (line 6) * start/[0,1] (prologbeans): PB Prolog Server Interface. (line 14) * statistics/[0,2] (built-in) <1>: ref-mgc-gcp. (line 6) * statistics/[0,2] (built-in): ref-mgc-ove-sta. (line 6) * statistics/[0,2] (built-in, ref page): mpg-ref-statistics. (line 6) * store_slot/2 (objects): obj-exp-store_slot. (line 6) * stream_code/2 (built-in) <1>: ref-iou-sfh-sob. (line 37) * stream_code/2 (built-in): Prolog Streams. (line 10) * stream_code/2 (built-in, ref page): mpg-ref-stream_code. (line 6) * stream_position/2 (built-in): ref-iou-raf. (line 6) * stream_position/2 (built-in, ref page): mpg-ref-stream_position. (line 6) * stream_position_data/3 (built-in, ref page): mpg-ref-stream_position_data. (line 6) * stream_property/2 (built-in): ref-iou-sfh-bos. (line 14) * stream_property/2 (built-in, ref page): mpg-ref-stream_property. (line 6) * sub_atom/5 (built-in): ref-lte-atm. (line 16) * sub_atom/5 (built-in, ref page): mpg-ref-sub_atom. (line 6) * sub_term/2 (terms): lib-terms. (line 220) * sublist/5 (lists): lib-lists. (line 347) * subseq/3 (lists): lib-lists. (line 231) * subseq0/2 (lists): lib-lists. (line 241) * subseq1/2 (lists): lib-lists. (line 252) * subset/2 (sets): lib-sets. (line 49) * subsumes/2 (terms): lib-terms. (line 14) * subsumeschk/2 (terms): lib-terms. (line 10) * subtract/3 (sets): lib-sets. (line 112) * suffix/2 (lists): lib-lists. (line 392) * suffix_length/3 (lists): lib-lists. (line 310) * sum/3 (clpfd): Arithmetic Constraints. (line 35) * sumlist/2 (lists): lib-lists. (line 257) * sup/[2,4] (clpqr): CLPQR Solver Predicates. (line 93) * symdiff/3 (sets): lib-sets. (line 125) * symmetric_closure/2 (ugraphs): lib-ugraphs. (line 92) * symmetric_closure/2 (wgraphs): lib-wgraphs. (line 97) * table/[2,3] (clpfd): Combinatorial Constraints. (line 132) * tail/2 (lists): lib-lists. (line 375) * taut/2 (clpb): CLPB Interface. (line 19) * tcl_delete/1 (tcltk) <1>: Basic Functions. (line 66) * tcl_delete/1 (tcltk): Predicates for Prolog to Interact with Tcl Interpreters. (line 10) * tcl_eval/3 (tcltk) <1>: Predicates for Prolog to Interact with Tcl Interpreters. (line 14) * tcl_eval/3 (tcltk): Evaluation Functions. (line 132) * tcl_event/3 (tcltk) <1>: Predicates for Prolog to Interact with Tcl Interpreters. (line 19) * tcl_event/3 (tcltk): Event Functions. (line 9) * tcl_new/1 (tcltk) <1>: Predicates for Prolog to Interact with Tcl Interpreters. (line 6) * tcl_new/1 (tcltk): Basic Functions. (line 10) * tell/1 (built-in): ref-iou-sfh-opn. (line 55) * tell/1 (built-in, ref page): mpg-ref-tell. (line 6) * telling/1 (built-in): ref-iou-sfh-cos. (line 14) * telling/1 (built-in, ref page): mpg-ref-telling. (line 6) * term_depth/2 (terms): lib-terms. (line 243) * term_expansion/6 (hook, ref page): mpg-ref-term_expansion. (line 6) * term_expansion/6 (user, hook): ref-lod-exp. (line 12) * term_hash/[2,3,4] (terms): lib-terms. (line 28) * term_order/3 (terms): lib-terms. (line 174) * term_size/2 (terms): lib-terms. (line 260) * term_subsumer/3 (terms): lib-terms. (line 23) * term_variables/2 (terms): lib-terms. (line 161) * term_variables/3 (aggregate): lib-aggregate. (line 172) * term_variables_bag/2 (terms): lib-terms. (line 164) * test/[1,2] (plunit declaration): PlUnit A Unit Test Box. (line 17) * test_sub_bag/2 (bags): lib-bags. (line 171) * throw/1 (built-in): ref-ere-rex. (line 6) * throw/1 (built-in, ref page): mpg-ref-throw. (line 6) * throws/1 (plunit option): PlUnit A Unit Test Box. (line 145) * time_out/3 (timeout): lib-timeout. (line 9) * tk_destroy_window/1 (tcltk) <1>: Predicates for Prolog to Interact with Tcl Interpreters with Tk Extensions. (line 78) * tk_destroy_window/1 (tcltk): Housekeeping. (line 19) * tk_do_one_event/[0,1] (tcltk) <1>: Predicates for Prolog to Interact with Tcl Interpreters with Tk Extensions. (line 29) * tk_do_one_event/[0,1] (tcltk): Servicing Tk Events. (line 52) * tk_main_loop/0 (tcltk) <1>: Passing Control to Tk. (line 10) * tk_main_loop/0 (tcltk): Predicates for Prolog to Interact with Tcl Interpreters with Tk Extensions. (line 70) * tk_main_window/2 (tcltk) <1>: Predicates for Prolog to Interact with Tcl Interpreters with Tk Extensions. (line 74) * tk_main_window/2 (tcltk): Housekeeping. (line 12) * tk_make_window_exist/1 (tcltk) <1>: Predicates for Prolog to Interact with Tcl Interpreters with Tk Extensions. (line 81) * tk_make_window_exist/1 (tcltk): Housekeeping. (line 26) * tk_new/2 (tcltk) <1>: Predicates for Prolog to Interact with Tcl Interpreters with Tk Extensions. (line 6) * tk_new/2 (tcltk): Basic Functions. (line 20) * tk_next_event/[2,3] (tcltk) <1>: Event Functions. (line 35) * tk_next_event/[2,3] (tcltk) <2>: Servicing Tk Events. (line 113) * tk_next_event/[2,3] (tcltk): Predicates for Prolog to Interact with Tcl Interpreters with Tk Extensions. (line 63) * tk_num_main_windows/1 (tcltk) <1>: Housekeeping. (line 38) * tk_num_main_windows/1 (tcltk): Predicates for Prolog to Interact with Tcl Interpreters with Tk Extensions. (line 84) * told/0 (built-in): ref-iou-sfh-cst. (line 23) * told/0 (built-in, ref page): mpg-ref-told. (line 6) * top_sort/2 (ugraphs): lib-ugraphs. (line 106) * top_sort/2 (wgraphs): lib-wgraphs. (line 103) * trace/0 (built-in): Basic Debug. (line 28) * trace/0 (built-in, ref page): mpg-ref-trace. (line 6) * transitive_closure/2 (ugraphs): lib-ugraphs. (line 89) * transitive_closure/2 (wgraphs): lib-wgraphs. (line 92) * transpose/2 (lists): lib-lists. (line 267) * transpose_ugraph/2 (ugraphs): lib-ugraphs. (line 70) * transpose_wgraph/2 (wgraphs): lib-wgraphs. (line 87) * tree_size/2 (trees): lib-trees. (line 44) * tree_to_list/2 (trees): lib-trees. (line 48) * trimcore/0 (built-in): ref-mgc-ove-rsp. (line 6) * trimcore/0 (built-in, ref page): mpg-ref-trimcore. (line 6) * true/0 (built-in, ref page): mpg-ref-true. (line 6) * true/0 (plunit option): PlUnit A Unit Test Box. (line 97) * true/1 (plunit option): PlUnit A Unit Test Box. (line 97) * type_definition/[2,3] (structs): str-etr. (line 11) * ugraph_to_wgraph/2 (wgraphs): lib-wgraphs. (line 49) * ugraph_to_wgraph/3 (wgraphs): lib-wgraphs. (line 63) * undefine_method/3 (objects): obj-exp-undefine_method. (line 6) * unify_with_occurs_check/2 (built-in): ref-lte-met-usu. (line 21) * unify_with_occurs_check/2 (built-in, ref page): mpg-ref-unify_with_occurs_check. (line 6) * uninherit/1 (objects): obj-exp-uninherit. (line 6) * union/[2,3,4] (sets): lib-sets. (line 159) * unknown/2 (built-in): Undefined Predicates. (line 21) * unknown/2 (built-in, ref page): mpg-ref-unknown. (line 6) * unknown_predicate_handler/3 (hook, ref page): mpg-ref-unknown_predicate_handler. (line 6) * unknown_predicate_handler/3 (user, hook) <1>: Undefined Predicates. (line 6) * unknown_predicate_handler/3 (user, hook): ref-ere-hex-hup. (line 6) * unload_foreign_resource/1 (built-in): Interface Predicates. (line 22) * unload_foreign_resource/1 (built-in, ref page): mpg-ref-unload_foreign_resource. (line 6) * unregister_event_listener/1 (prologbeans): PB Prolog Server Interface. (line 175) * unregister_query/1 (prologbeans): PB Prolog Server Interface. (line 103) * update_mutable/2 (built-in): ref-lte-mut. (line 40) * update_mutable/2 (built-in, ref page): mpg-ref-update_mutable. (line 6) * use_module/[1,2,3] (built-in): ref-mod-lod. (line 27) * use_module/[1,2,3] (built-in, ref page): mpg-ref-use_module. (line 6) * user:breakpoint_expansion/2 (hook) <1>: Condition Macros. (line 23) * user:breakpoint_expansion/2 (hook): Hooks Related to Breakpoints. (line 8) * user:debugger_command_hook/2 (hook) <1>: Hooks Related to Breakpoints. (line 72) * user:debugger_command_hook/2 (hook): Breakpoint Predicates. (line 111) * user:error_exception/1 (hook): Exceptions Debug. (line 15) * user:file_search_path/2 (hook): ref-fdi-fsp-def. (line 6) * user:generate_message_hook/3 (hook): Message Handling Predicates. (line 16) * user:message_hook/3 (hook): Message Handling Predicates. (line 25) * user:portray/1 (hook) <1>: ref-iou-tou-por. (line 6) * user:portray/1 (hook): CLPQR Fragments and Bits. (line 12) * user:portray_message/2 (hook): Message Handling Predicates. (line 12) * user:query_class_hook/5 (hook): Query Handling Predicates. (line 20) * user:query_hook/6 (hook): Query Handling Predicates. (line 14) * user:query_input_hook/3 (hook): Query Handling Predicates. (line 33) * user:query_map_hook/4 (hook): Query Handling Predicates. (line 43) * user:runtime_entry/1 (hook): too-spld. (line 73) * user:term_expansion/6 (hook): ref-lod-exp. (line 12) * user:unknown_predicate_handler/3 (hook) <1>: ref-ere-hex-hup. (line 6) * user:unknown_predicate_handler/3 (hook): Undefined Predicates. (line 6) * var/1 (built-in, ref page): mpg-ref-var. (line 6) * variant/2 (terms): lib-terms. (line 19) * varnumbers/[2,3] (varnumbers): lib-varnumbers. (line 43) * verify_attributes/3 (Module): lib-atts. (line 69) * vertices/2 (ugraphs): lib-ugraphs. (line 34) * vertices/2 (wgraphs): lib-wgraphs. (line 33) * vertices_edges_to_ugraph/3 (ugraphs): lib-ugraphs. (line 27) * vertices_edges_to_wgraph/3 (wgraphs): lib-wgraphs. (line 68) * view/0 (gauge): lib-gauge. (line 12) * volatile/1 (built-in, ref page): mpg-ref-volatile. (line 6) * volatile/1 (declaration): Volatile Declarations. (line 6) * wgraph_to_ugraph/2 (wgraphs): lib-wgraphs. (line 36) * when/2 (built-in, ref page): mpg-ref-when. (line 6) * with_output_to_codes/[2,3,4] (codesio): lib-codesio. (line 52) * write/[1,2] (built-in): ref-iou-tou-wrt. (line 6) * write/[1,2] (built-in, ref page): mpg-ref-write. (line 6) * write_canonical/[1,2] (built-in): ref-iou-tou-wrt. (line 6) * write_canonical/[1,2] (built-in, ref page): mpg-ref-write_canonical. (line 6) * write_term/[2,3] (built-in): ref-iou-tou-wrt. (line 6) * write_term/[2,3] (built-in, ref page): mpg-ref-write_term. (line 6) * write_term_to_codes/[3,4] (codesio): lib-codesio. (line 27) * write_to_codes/[2,3] (codesio): lib-codesio. (line 20) * writeq/[1,2] (built-in): ref-iou-tou-wrt. (line 6) * writeq/[1,2] (built-in, ref page): mpg-ref-writeq. (line 6) * xml_parse/[2,3] (xml): lib-xml. (line 71) * xml_pp/1 (xml): lib-xml. (line 98) * xml_subterm/2 (xml): lib-xml. (line 93) * zip/0 (built-in): Basic Debug. (line 23) * zip/0 (built-in, ref page): mpg-ref-zip. (line 6) * {}/1 (clpqr): CLPQR Solver Predicates. (line 10)  File: sicstus.info, Node: Keystroke Index, Next: Book Index, Prev: Predicate Index, Up: Top Keystroke Index *************** [index] * Menu: * & (debugger command) <1>: Debug Commands. (line 244) * & (debugger command): FDBG Debugger Commands. (line 9) * * (debugger command): Debug Commands. (line 265) * + (debugger command): Debug Commands. (line 262) * - (debugger command): Debug Commands. (line 272) * . (debugger command): Debug Commands. (line 300) * ; (top-level command): Queries. (line 44) * < (debugger command): Debug Commands. (line 352) * < (top-level command): Queries. (line 53) * (debugger command): Debug Commands. (line 53) * = (debugger command): Debug Commands. (line 258) * ? (debugger command): Debug Commands. (line 372) * ? (interruption command): Execution. (line 32) * ? (top-level command): Queries. (line 77) * @ (debugger command): Debug Commands. (line 322) * [ (debugger command): Debug Commands. (line 219) * \ (debugger command): Debug Commands. (line 277) * ] (debugger command): Debug Commands. (line 224) * ^ (debugger command): Debug Commands. (line 358) * ^ (top-level command): Queries. (line 63) * a (debugger command): Debug Commands. (line 304) * A (debugger command): FDBG Debugger Commands. (line 15) * a (interruption command): Execution. (line 22) * b (debugger command): Debug Commands. (line 310) * b (interruption command): Execution. (line 35) * b (top-level command): Queries. (line 50) * c (debugger command): Debug Commands. (line 52) * c (interruption command): Execution. (line 25) * C-c ? (emacs command): Usage. (line 174) * C-c C-\ (emacs command): Usage. (line 188) * C-c C-b (emacs command): Usage. (line 52) * C-c C-c (emacs command): Usage. (line 185) * C-c C-c b (emacs command): Usage. (line 64) * C-c C-c f (emacs command): Usage. (line 61) * C-c C-c p (emacs command): Usage. (line 70) * C-c C-c r (emacs command): Usage. (line 67) * C-c C-d (emacs command): Usage. (line 122) * C-c C-g (emacs command): Usage. (line 130) * C-c C-n (emacs command): Usage. (line 160) * C-c C-o (emacs command): Usage. (line 139) * C-c C-p (emacs command): Usage. (line 58) * C-c C-r (emacs command): Usage. (line 55) * C-c C-s (emacs command): Usage. (line 157) * C-c C-t (emacs command): Usage. (line 118) * C-c C-v a (emacs command): Usage. (line 170) * C-c C-z (emacs command): Usage. (line 126) * C-c RET (emacs command): Usage. (line 180) * C-M-a (emacs command): Usage. (line 88) * C-M-c (emacs command): Usage. (line 85) * C-M-e (emacs command): Usage. (line 91) * C-M-h (emacs command): Usage. (line 94) * C-M-n (emacs command): Usage. (line 106) * C-M-p (emacs command): Usage. (line 109) * C-u C-c C-d (emacs command): Usage. (line 123) * C-u C-c C-g (emacs command): Usage. (line 131) * C-u C-c C-o (emacs command): Usage. (line 140) * C-u C-c C-t (emacs command): Usage. (line 119) * C-u C-c C-z (emacs command): Usage. (line 127) * C-u C-c RET (emacs command): Usage. (line 181) * C-u C-x SPC (emacs command): Usage. (line 153) * C-x SPC (emacs command): Usage. (line 152) * d (debugger command): Debug Commands. (line 178) * D (debugger command): Debug Commands. (line 285) * d (interruption command): Execution. (line 38) * E (debugger command): Debug Commands. (line 293) * e (debugger command): Debug Commands. (line 346) * e (interruption command): Execution. (line 28) * f (debugger command): Debug Commands. (line 130) * g (debugger command): Debug Commands. (line 190) * h (debugger command): Debug Commands. (line 373) * h (interruption command): Execution. (line 31) * h (top-level command): Queries. (line 76) * j

(debugger command): Debug Commands. (line 145) * l (debugger command): Debug Commands. (line 61) * M-; (emacs command): Usage. (line 112) * M-a (emacs command): Usage. (line 78) * M-e (emacs command): Usage. (line 82) * M-h (emacs command): Usage. (line 103) * M-RET (emacs command): Usage. (line 164) * M-{ (emacs command): Usage. (line 97) * M-} (emacs command): Usage. (line 100) * n (debugger command): Debug Commands. (line 252) * n (top-level command): Queries. (line 45) * o (debugger command): Debug Commands. (line 94) * p (debugger command): Debug Commands. (line 182) * q (debugger command): Debug Commands. (line 99) * r (debugger command): Debug Commands. (line 107) * RET (top-level command): Queries. (line 39) * s (debugger command): Debug Commands. (line 77) * t (debugger command): Debug Commands. (line 202) * t (interruption command): Execution. (line 40) * u (debugger command): Debug Commands. (line 335) * v (debugger command): Debug Commands. (line 229) * w (debugger command): Debug Commands. (line 187) * W (debugger command): FDBG Debugger Commands. (line 30) * y (top-level command): Queries. (line 40) * z (debugger command): Debug Commands. (line 72) * z (interruption command): Execution. (line 39)