| Did you know ... | Search Documentation: |
 | Predicates |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
F.1 Predicates
The predicate summary is used by the Prolog predicate apropos/1 to suggest predicates from a keyword.
| @/2 | Call using calling context |
| !/0 | Cut (discard choicepoints) |
| $/0 | Discard choicepoints and demand deterministic success |
| $/1 | Verify goal succeeds deterministically |
| ,/2 | Conjunction of goals |
| ->/2 | If-then-else |
| *->/2 | Soft-cut |
| ./2 | Consult. Also functional notation |
| :</2 | Select keys from a dict |
| :=/2 | WASM: Call JavaScript |
| ;/2 | Disjunction of two goals |
| </2 | Arithmetic smaller |
| =/2 | True when arguments are unified |
| =../2 | “Univ.” Term to list conversion |
| =:=/2 | Arithmetic equality |
| =</2 | Arithmetic smaller or equal |
| ==/2 | Test for strict equality |
| =@=/2 | Test for structural equality (variant) |
| =\=/2 | Arithmetic not equal |
| >/2 | Arithmetic larger |
| >=/2 | Arithmetic larger or equal |
| >:</2 | Partial dict unification |
| ?=/2 | Test of terms can be compared now |
| @</2 | Standard order smaller |
| @=</2 | Standard order smaller or equal |
| @>/2 | Standard order larger |
| @>=/2 | Standard order larger or equal |
| \+/1 | Negation by failure. Same as not/1 |
| \=/2 | True if arguments cannot be unified |
| \==/2 | True if arguments are not strictly equal |
| \=@=/2 | Not structural identical |
| ^/2 | Existential quantification (bagof/3, setof/3) |
| |/2 | Disjunction in DCGs. Same as ;/2 |
| /1 | DCG escape; constraints |
| abolish/1 | Remove predicate definition from the database |
| abolish/2 | Remove predicate definition from the database |
| abolish_all_tables/0 | Abolish computed tables |
| abolish_module_tables/1 | Abolish all tables in a module |
| abolish_monotonic_tables/0 | Abolish all monotonic tables |
| abolish_nonincremental_tables/0 | Abolish non-auttomatic tables |
| abolish_nonincremental_tables/1 | Abolish non-auttomatic tables |
| abolish_private_tables/0 | Abolish tables of this thread |
| abolish_shared_tables/0 | Abolish tables shared between threads |
| abolish_table_subgoals/1 | Abolish tables for a goal |
| abort/0 | Abort execution, return to top level |
| absolute_file_name/2 | Get absolute path name |
| absolute_file_name/3 | Get absolute path name with options |
| answer_count_restraint/0 | Undefined
answer due to max_answers |
| access_file/2 | Check access permissions of a file |
| acyclic_term/1 | Test term for cycles |
| add_import_module/3 | Add module to the auto-import list |
| add_nb_set/2 | Add term to a non-backtrackable set |
| add_nb_set/3 | Add term to a non-backtrackable set |
| append/1 | Append to a file |
| apple_current_locale_identifier/1 | Get Apple locale info |
| apply/2 | Call goal with additional arguments |
| apropos/1 | library(online_help)
Search manual |
| arg/3 | Access argument of a term |
| assoc_to_list/2 | Convert association tree to list |
| assert/1 | Add a clause to the database |
| assert/2 | Add a clause to the database, give reference |
| asserta/1 | Add a clause to the database (first) |
| asserta/2 | Add a clause to the database (first) |
| assertion/1 | Make assertions about your program |
| assertz/1 | Add a clause to the database (last) |
| assertz/2 | Add a clause to the database (last) |
| attach_console/0 | Attach I/O console to thread |
| attach_packs/0 | Attach add-ons |
| attach_packs/1 | Attach add-ons from directory |
| attach_packs/2 | Attach add-ons from directory |
| attribute_goals/3 | Project attributes to goals |
| attr_unify_hook/2 | Attributed variable unification hook |
| attr_portray_hook/2 | Attributed variable print hook |
| attvar/1 | Type test for attributed variable |
| at_end_of_stream/0 | Test for end of file on input |
| at_end_of_stream/1 | Test for end of file on stream |
| at_halt/1 | Register goal to run at halt/1 |
| atom/1 | Type check for an atom |
| atom_chars/2 | Convert between atom and list of characters |
| atom_codes/2 | Convert between atom and list of characters codes |
| atom_concat/3 | Contatenate two atoms |
| atom_length/2 | Determine length of an atom |
| atom_number/2 | Convert between atom and number |
| atom_prefix/2 | Test for start of atom |
| atom_string/2 | Conversion between atom and string |
| atom_to_term/3 | Convert between atom and term |
| atomic/1 | Type check for primitive |
| atomic_concat/3 | Concatenate two atomic values to an atom |
| atomic_list_concat/2 | Append a list of atomics |
| atomic_list_concat/3 | Append a list of atomics with separator |
| atomics_to_string/2 | Concatenate list of inputs to a string |
| atomics_to_string/3 | Concatenate list of inputs to a string |
| autoload/1 | Declare a file for autoloading |
| autoload/2 | Declare a file for autoloading specific predicates |
| autoload_all/0 | Autoload all predicates now |
| autoload_path/1 | Add directories for autoloading |
| await/2 | WASM: Wait for a Promise |
| b_getval/2 | Fetch backtrackable global variable |
| b_set_dict/3 | Destructive assignment on a dict |
| b_setval/2 | Assign backtrackable global variable |
| bagof/3 | Find all solutions to a goal |
| between/3 | Integer range checking/generating |
| blob/2 | Type check for a blob |
| bounded_number/3 | Number between bounds |
| break/0 | Start interactive top level |
| break_hook/6 | (hook) Debugger hook |
| byte_count/2 | Byte-position in a stream |
| call/1 | Call a goal |
| call/[2..] | Call with additional arguments |
| call_cleanup/2 | Guard a goal with a cleaup-handler |
| call_dcg/3 | As phrase/3 without type checking |
| call_delays/2 | Get the condition associated with an answer |
| call_residue_vars/2 | Find residual attributed variables |
| call_residual_program/2 | Get residual program associated with an answer |
| call_shared_object_function/2 | UNIX: Call C-function in shared (.so) file |
| call_with_depth_limit/3 | Prove goal with bounded depth |
| call_with_inference_limit/3 | Prove goal in limited inferences |
| callable/1 | Test for atom or compound term |
| cancel_halt/1 | Cancel halt/0 from an at_halt/1 hook |
| catch/3 | Call goal, watching for exceptions |
| char_code/2 | Convert between character and character code |
| char_conversion/2 | Provide mapping of input characters |
| char_type/2 | Classify characters |
| character_count/2 | Get character index on a stream |
| chdir/1 | Compatibility: change working directory |
| chr_constraint/1 | CHR Constraint declaration |
| chr_show_store/1 | List suspended CHR constraints |
| chr_trace/0 | Start CHR tracer |
| chr_type/1 | CHR Type declaration |
| chr_notrace/0 | Stop CHR tracer |
| chr_leash/1 | Define CHR leashed ports |
| chr_option/2 | Specify CHR compilation options |
| clause/2 | Get clauses of a predicate |
| clause/3 | Get clauses of a predicate |
| clause_property/2 | Get properties of a clause |
| close/1 | Close stream |
| close/2 | Close stream (forced) |
| close_dde_conversation/1 | Win32: Close DDE channel |
| close_shared_object/1 | UNIX: Close shared library (.so file) |
| collation_key/2 | Sort key for locale dependent ordering |
| comment_hook/3 | (hook) handle comments in sources |
| compare/3 | Compare, using a predicate to determine the order |
| compile_aux_clauses/1 | Compile predicates for goal_expansion/2 |
| compile_predicates/1 | Compile dynamic code to static |
| compiling/0 | Is this a compilation run? |
| compound/1 | Test for compound term |
| compound_name_arity/3 | Name and arity of a compound term |
| compound_name_arguments/3 | Name and arguments of a compound term |
| code_type/2 | Classify a character-code |
| consult/1 | Read (compile) a Prolog source file |
| context_module/1 | Get context module of current goal |
| convert_time/8 | Break time stamp into fields |
| convert_time/2 | Convert time stamp to string |
| copy_stream_data/2 | Copy all data from stream to stream |
| copy_stream_data/3 | Copy n bytes from stream to stream |
| copy_predicate_clauses/2 | Copy clauses between predicates |
| copy_term/2 | Make a copy of a term |
| copy_term/3 | Copy a term and obtain attribute-goals |
| copy_term/4 | Copy part of the variables in a term |
| copy_term_nat/2 | Make a copy of a term without attributes |
| copy_term_nat/4 | Copy part of the variables in a term |
| create_prolog_flag/3 | Create a new Prolog flag |
| current_arithmetic_function/1 | Examine evaluable functions |
| current_atom/1 | Examine existing atoms |
| current_blob/2 | Examine typed blobs |
| current_char_conversion/2 | Query input character mapping |
| current_engine/1 | Enumerate known engines |
| current_flag/1 | Examine existing flags |
| current_foreign_library/2 | library(shlib)
Examine loaded shared libraries (.so files) |
| current_format_predicate/2 | Enumerate user-defined format codes |
| current_functor/2 | Examine existing name/arity pairs |
| current_input/1 | Get current input stream |
| current_key/1 | Examine existing database keys |
| current_locale/1 | Get the current locale |
| current_module/1 | Examine existing modules |
| current_op/3 | Examine current operator declarations |
| current_output/1 | Get the current output stream |
| current_predicate/1 | Examine existing predicates (ISO) |
| current_predicate/2 | Examine existing predicates |
| current_signal/3 | Current software signal mapping |
| current_stream/3 | Examine open streams |
| current_table/2 | Find answer table for a variant |
| current_transaction/1 | Detect encapsulating transactions |
| current_trie/1 | Enumerate known tries |
| cyclic_term/1 | Test term for cycles |
| day_of_the_week/2 | Determine ordinal-day from date |
| date_time_stamp/2 | Convert date structure to time-stamp |
| date_time_value/3 | Extract info from a date structure |
| dcg_translate_rule/2 | Source translation of DCG rules |
| dcg_translate_rule/4 | Source translation of DCG rules |
| dde_current_connection/2 | Win32: Examine open DDE connections |
| dde_current_service/2 | Win32: Examine DDE services provided |
| dde_execute/2 | Win32: Execute command on DDE server |
| dde_register_service/2 | Win32: Become a DDE server |
| dde_request/3 | Win32: Make a DDE request |
| dde_poke/3 | Win32: POKE operation on DDE server |
| dde_unregister_service/1 | Win32: Terminate a DDE service |
| debug/0 | Test for debugging mode |
| debug/1 | Select topic for debugging |
| debug/3 | Print debugging message on topic |
| debug_control_hook/1 | (hook) Extend spy/1, etc. |
| debugging/0 | Show debugger status |
| debugging/1 | Test where we are debugging topic |
| default_module/2 | Query module inheritance |
| del_attr/2 | Delete attribute from variable |
| del_attrs/1 | Delete all attributes from variable |
| del_dict/4 | Delete Key-Value pair from a dict |
| delays_residual_program/2 | Get the residual program for an answer |
| delete_directory/1 | Remove a folder from the file system |
| delete_file/1 | Remove a file from the file system |
| delete_import_module/2 | Remove module from import list |
| det/1 | Declare predicates as deterministic |
| deterministic/1 | Test deterministicy of current clause |
| dif/2 | Constrain two terms to be different |
| directory_files/2 | Get entries of a directory/folder |
| discontiguous/1 | Indicate distributed definition of a predicate |
| divmod/4 | Compute quotient and remainder of two integers |
| downcase_atom/2 | Convert atom to lower-case |
| duplicate_term/2 | Create a copy of a term |
| dwim_match/2 | Atoms match in “Do What I Mean” sense |
| dwim_match/3 | Atoms match in “Do What I Mean” sense |
| dwim_predicate/2 | Find predicate in “Do What I Mean” sense |
| dynamic/1 | Indicate predicate definition may change |
| dynamic/2 | Indicate predicate definition may change |
| edit/0 | Edit current script- or associated file |
| edit/1 | Edit a file, predicate, module (extensible) |
| elif/1 | Part of conditional compilation (directive) |
| else/0 | Part of conditional compilation (directive) |
| empty_assoc/1 | Create/test empty association tree |
| empty_nb_set/1 | Test/create an empty non-backtrackable set |
| encoding/1 | Define encoding inside a source file |
| endif/0 | End of conditional compilation (directive) |
| engine_create/3 | Create an interactor |
| engine_create/4 | Create an interactor |
| engine_destroy/1 | Destroy an interactor |
| engine_fetch/1 | Get term from caller |
| engine_next/2 | Ask interactor for next term |
| engine_next_reified/2 | Ask interactor for next term |
| engine_post/2 | Send term to an interactor |
| engine_post/3 | Send term to an interactor and wait for reply |
| engine_self/1 | Get handle to running interactor |
| engine_yield/1 | Make term available to caller |
| ensure_loaded/1 | Consult a file if that has not yet been done |
| erase/1 | Erase a database record or clause |
| exception/3 | (hook) Handle runtime exceptions |
| exists_directory/1 | Check existence of directory |
| exists_file/1 | Check existence of file |
| exists_source/1 | Check existence of a Prolog source |
| exists_source/2 | Check existence of a Prolog source |
| expand_answer/2 | Expand answer of query (deprecated) |
| expand_answer/3 | Expand answer of query |
| expand_file_name/2 | Wildcard expansion of file names |
| expand_file_search_path/2 | Wildcard expansion of file paths |
| expand_goal/2 | Compiler: expand goal in clause-body |
| expand_goal/4 | Compiler: expand goal in clause-body |
| expand_query/4 | Expanded entered query |
| expand_term/2 | Compiler: expand read term into clause(s) |
| expand_term/4 | Compiler: expand read term into clause(s) |
| expects_dialect/1 | For which Prolog dialect is this code written? |
| explain/1 | library(explain)
Explain argument |
| explain/2 | library(explain)
2nd argument is explanation of first |
| export/1 | Export a predicate from a module |
| fail/0 | Always false |
| false/0 | Always false |
| fast_term_serialized/2 | Fast term (de-)serialization |
| fast_read/2 | Read binary term serialization |
| fast_write/2 | Write binary term serialization |
| current_prolog_flag/2 | Get system configuration parameters |
| file_base_name/2 | Get file part of path |
| file_directory_name/2 | Get directory part of path |
| file_name_extension/3 | Add, remove or test file extensions |
| file_search_path/2 | Define path-aliases for locating files |
| find_chr_constraint/1 | Returns a constraint from the store |
| findall/3 | Find all solutions to a goal |
| findall/4 | Difference list version of findall/3 |
| findnsols/4 | Find first N solutions |
| findnsols/5 | Difference list version of findnsols/4 |
| fill_buffer/1 | Fill the input buffer of a stream |
| flag/3 | Simple global variable system |
| float/1 | Type check for a floating point number |
| float_class/2 | Classify (special) floats |
| float_parts/4 | Get mantissa and exponent of a float |
| flush_output/0 | Output pending characters on current stream |
| flush_output/1 | Output pending characters on specified stream |
| forall/2 | Prove goal for all solutions of another goal |
| format/1 | Formatted output |
| format/2 | Formatted output with arguments |
| format/3 | Formatted output on a stream |
| format_time/3 | C strftime() like date/time formatter |
| format_time/4 | date/time formatter with explicit locale |
| format_predicate/2 | Program format/[1,2] |
| term_attvars/2 | Find attributed variables in a term |
| term_variables/2 | Find unbound variables in a term |
| term_variables/3 | Find unbound variables in a term |
| text_to_string/2 | Convert arbitrary text to a string |
| freeze/2 | Delay execution until variable is bound |
| frozen/2 | Query delayed goals on var |
| functor/3 | Get name and arity of a term or construct a term |
| functor/4 | Get name and arity of a term or construct a term |
| garbage_collect/0 | Invoke the garbage collector |
| garbage_collect_atoms/0 | Invoke the atom garbage collector |
| garbage_collect_clauses/0 | Invoke clause garbage collector |
| gen_assoc/3 | Enumerate members of association tree |
| gen_nb_set/2 | Generate members of non-backtrackable set |
| gensym/2 | Generate unique atoms from a base |
| get/1 | Read first non-blank character |
| get/2 | Read first non-blank character from a stream |
| get_assoc/3 | Fetch key from association tree |
| get_assoc/5 | Fetch key from association tree |
| get_attr/3 | Fetch named attribute from a variable |
| get_attrs/2 | Fetch all attributes of a variable |
| get_byte/1 | Read next byte (ISO) |
| get_byte/2 | Read next byte from a stream (ISO) |
| get_char/1 | Read next character as an atom (ISO) |
| get_char/2 | Read next character from a stream (ISO) |
| get_code/1 | Read next character (ISO) |
| get_code/2 | Read next character from a stream (ISO) |
| get_dict/3 | Get the value associated to a key from a dict |
| get_dict/5 | Replace existing value in a dict |
| get_flag/2 | Get value of a flag |
| get_single_char/1 | Read next character from the terminal |
| get_string_code/3 | Get character code at index in string |
| get_time/1 | Get current time |
| get0/1 | Read next character |
| get0/2 | Read next character from a stream |
| getenv/2 | Get shell environment variable |
| goal_expansion/2 | Hook for macro-expanding goals |
| goal_expansion/4 | Hook for macro-expanding goals |
| ground/1 | Verify term holds no unbound variables |
| gdebug/0 | Debug using graphical tracer |
| gspy/1 | Spy using graphical tracer |
| gtrace/0 | Trace using graphical tracer |
| guitracer/0 | Install hooks for the graphical debugger |
| gxref/0 | Cross-reference loaded program |
| halt/0 | Exit from Prolog |
| halt/1 | Exit from Prolog with status |
| term_hash/2 | Hash-value of ground term |
| term_hash/4 | Hash-value of term with depth limit |
| help/0 | Give help on help |
| help/1 | Give help on predicates and show parts of manual |
| help_hook/1 | (hook) User-hook in the help-system |
| if/1 | Start conditional compilation (directive) |
| ignore/1 | Call the argument, but always succeed |
| import/1 | Import a predicate from a module |
| import_module/2 | Query import modules |
| in_pce_thread/1 | Run goal in XPCE thread |
| in_pce_thread_sync/1 | Run goal in XPCE thread |
| include/1 | Include a file with declarations |
| initialization/1 | Initialization directive |
| initialization/2 | Initialization directive |
| initialize/0 | Run program initialization |
| instance/2 | Fetch clause or record from reference |
| integer/1 | Type check for integer |
| interactor/0 | Start new thread with console and top level |
| is/2 | Evaluate arithmetic expression |
| is_absolute_file_name/1 | True if arg defines an absolute path |
| is_assoc/1 | Verify association list |
| is_async/0 | WASM: Test Prolog can call await/2 |
| is_dict/1 | Type check for a dict |
| is_dict/2 | Type check for a dict in a class |
| is_engine/1 | Type check for an engine handle |
| is_list/1 | Type check for a list |
| is_message_queue/1 | Type check for a message queue |
| is_most_general_term/1 | Type check for general term |
| is_object/1 | WASM: Test JavaScript object |
| is_object/2 | WASM: Test JavaScript object and class |
| is_stream/1 | Type check for a stream handle |
| is_trie/1 | Type check for a trie handle |
| is_thread/1 | Type check for an thread handle |
| join_threads/0 | Join all terminated threads interactively |
| keysort/2 | Sort, using a key |
| known_licenses/0 | Print known licenses |
| last/2 | Last element of a list |
| leash/1 | Change ports visited by the tracer |
| length/2 | Length of a list |
| library_directory/1 | (hook) Directories holding Prolog libraries |
| license/0 | Evaluate licenses of loaded modules |
| license/1 | Define license for current file |
| license/2 | Define license for named module |
| line_count/2 | Line number on stream |
| line_position/2 | Character position in line on stream |
| list_debug_topics/0 | List registered topics for debugging |
| list_to_assoc/2 | Create association tree from list |
| list_to_set/2 | Remove duplicates from a list |
| list_strings/0 | Help porting to version 7 |
| load_files/1 | Load source files |
| load_files/2 | Load source files with options |
| load_foreign_library/1 | library(shlib)
Load shared library (.so file) |
| load_foreign_library/2 | library(shlib)
Load shared library (.so file) |
| locale_create/3 | Create a new locale object |
| locale_destroy/1 | Destroy a locale object |
| locale_property/2 | Query properties of locale objects |
| locale_sort/2 | Language dependent sort of atoms |
| make/0 | Reconsult all changed source files |
| make_directory/1 | Create a folder on the file system |
| make_library_index/1 | Create autoload file INDEX.pl |
| malloc_property/1 | Property of the allocator |
| make_library_index/2 | Create selective autoload file INDEX.pl |
| map_assoc/2 | Map association tree |
| map_assoc/3 | Map association tree |
| dict_create/3 | Create a dict from data |
| dict_pairs/3 | Convert between dict and list of pairs |
| dict_same_keys/2 | True when dicts have the same keys |
| max_assoc/3 | Highest key in association tree |
| memberchk/2 | Deterministic member/2 |
| message_hook/3 | Intercept print_message/2 |
| message_line_element/2 | (hook) Intercept print_message_lines/3 |
| message_property/2 | (hook) Define display of a message |
| message_queue_create/1 | Create queue for thread communication |
| message_queue_create/2 | Create queue for thread communication |
| message_queue_destroy/1 | Destroy queue for thread communication |
| message_queue_property/2 | Query message queue properties |
| message_queue_set/2 | Set a message queue property |
| message_to_string/2 | Translate message-term to string |
| meta_predicate/1 | Declare access to other predicates |
| min_assoc/3 | Lowest key in association tree |
| module/1 | Query/set current type-in module |
| module/2 | Declare a module |
| module/3 | Declare a module with language options |
| module_property/2 | Find properties of a module |
| module_transparent/1 | Indicate module based meta-predicate |
| msort/2 | Sort, do not remove duplicates |
| multifile/1 | Indicate distributed definition of predicate |
| mutex_create/1 | Create a thread-synchronisation device |
| mutex_create/2 | Create a thread-synchronisation device |
| mutex_destroy/1 | Destroy a mutex |
| mutex_lock/1 | Become owner of a mutex |
| mutex_property/2 | Query mutex properties |
| mutex_statistics/0 | Print statistics on mutex usage |
| mutex_trylock/1 | Become owner of a mutex (non-blocking) |
| mutex_unlock/1 | Release ownership of mutex |
| mutex_unlock_all/0 | Release ownership of all mutexes |
| name/2 | Convert between atom and list of character codes |
| nb_current/2 | Enumerate non-backtrackable global variables |
| nb_delete/1 | Delete a non-backtrackable global variable |
| nb_getval/2 | Fetch non-backtrackable global variable |
| nb_link_dict/3 | Non-backtrackable assignment to dict |
| nb_linkarg/3 | Non-backtrackable assignment to term |
| nb_linkval/2 | Assign non-backtrackable global variable |
| nb_set_to_list/2 | Convert non-backtrackable set to list |
| nb_set_dict/3 | Non-backtrackable assignment to dict |
| nb_setarg/3 | Non-backtrackable assignment to term |
| nb_setval/2 | Assign non-backtrackable global variable |
| nl/0 | Generate a newline |
| nl/1 | Generate a newline on a stream |
| nodebug/0 | Disable debugging |
| nodebug/1 | Disable debug-topic |
| noguitracer/0 | Disable the graphical debugger |
| nonground/2 | Term is not ground due to witness |
| nonvar/1 | Type check for bound term |
| nonterminal/1 | Set predicate property |
| noprofile/1 | Hide (meta-) predicate for the profiler |
| noprotocol/0 | Disable logging of user interaction |
| normalize_space/2 | Normalize white space |
| nospy/1 | Remove spy point |
| nospyall/0 | Remove all spy points |
| not/1 | Negation by failure (argument not provable). Same as \+/1 |
| not_exists/1 | Tabled negation for non-ground or non-tabled goals |
| notrace/0 | Stop tracing |
| notrace/1 | Do not debug argument goal |
| nth_clause/3 | N-th clause of a predicate |
| nth_integer_root_and_remainder/4 | Integer root and remainder |
| number/1 | Type check for integer or float |
| number_chars/2 | Convert between number and one-char atoms |
| number_codes/2 | Convert between number and character codes |
| number_string/2 | Convert between number and string |
| numbervars/3 | Number unbound variables of a term |
| numbervars/4 | Number unbound variables of a term |
| on_signal/3 | Handle a software signal |
| once/1 | Call a goal deterministically |
| op/3 | Declare an operator |
| open/3 | Open a file (creating a stream) |
| open/4 | Open a file (creating a stream) |
| open_dde_conversation/3 | Win32: Open DDE channel |
| open_null_stream/1 | Open a stream to discard output |
| open_resource/3 | Open a program resource as a stream |
| open_shared_object/2 | UNIX: Open shared library (.so file) |
| open_shared_object/3 | UNIX: Open shared library (.so file) |
| open_source_hook/3 | (hook) Open a source file |
| open_string/2 | Open a string as a stream |
| ord_list_to_assoc/2 | Convert ordered list to assoc |
| parse_time/2 | Parse text to a time-stamp |
| parse_time/3 | Parse text to a time-stamp |
| pce_dispatch/1 | Run XPCE GUI in separate thread |
| pce_call/1 | Run goal in XPCE GUI thread |
| peek_byte/1 | Read byte without removing |
| peek_byte/2 | Read byte without removing |
| peek_char/1 | Read character without removing |
| peek_char/2 | Read character without removing |
| peek_code/1 | Read character-code without removing |
| peek_code/2 | Read character-code without removing |
| peek_string/3 | Read a string without removing |
| phrase/2 | Activate grammar-rule set |
| phrase/3 | Activate grammar-rule set (returning rest) |
| phrase_from_quasi_quotation/2 | Parse quasi quotation with DCG |
| please/3 | Query/change environment parameters |
| plus/3 | Logical integer addition |
| portray/1 | (hook) Modify behaviour of print/1 |
| predicate_property/2 | Query predicate attributes |
| predsort/3 | Sort, using a predicate to determine the order |
| print/1 | Print a term |
| print/2 | Print a term on a stream |
| print_message/2 | Print message from (exception) term |
| print_message_lines/3 | Print message to stream |
| profile/1 | Obtain execution statistics |
| profile/2 | Obtain execution statistics |
| profile_count/3 | Obtain profile results on a predicate |
| profiler/2 | Obtain/change status of the profiler |
| prolog/0 | Run interactive top level |
| prolog_alert_signal/2 | Query/set unblock signal |
| prolog_choice_attribute/3 | Examine the choice point stack |
| prolog_current_choice/1 | Reference to most recent choice point |
| prolog_current_frame/1 | Reference to goal's environment stack |
| prolog_cut_to/1 | Realise global cuts |
| prolog_edit:locate/2 | Locate targets for edit/1 |
| prolog_edit:locate/3 | Locate targets for edit/1 |
| prolog_edit:edit_source/1 | Call editor for edit/1 |
| prolog_edit:edit_command/2 | Specify editor activation |
| prolog_edit:load/0 | Load edit/1 extensions |
| prolog_exception_hook/4 | Rewrite exceptions |
| prolog_file_type/2 | Define meaning of file extension |
| prolog_frame_attribute/3 | Obtain information on a goal environment |
| prolog_ide/1 | Program access to the development environment |
| prolog_interrupt/0 | Allow debugging a thread |
| prolog_list_goal/1 | (hook) Intercept tracer’L’command |
| prolog_listen/2 | Listen to Prolog events |
| prolog_listen/3 | Listen to Prolog events |
| prolog_load_context/2 | Context information for directives |
| prolog_load_file/2 | (hook) Program load_files/2 |
| prolog_skip_level/2 | Indicate deepest recursion to trace |
| prolog_skip_frame/1 | Perform‘skip’on a frame |
| prolog_stack_property/2 | Query properties of the stacks |
| prolog_to_os_filename/2 | Convert between Prolog and OS filenames |
| prolog_trace_interception/4 | library(user)
Intercept the Prolog tracer |
| prolog_unlisten/2 | Stop listening to Prolog events |
| project_attributes/2 | Project constraints to query variables |
| prompt1/1 | Change prompt for 1 line |
| prompt/2 | Change the prompt used by read/1 |
| protocol/1 | Make a log of the user interaction |
| protocola/1 | Append log of the user interaction to file |
| protocolling/1 | On what file is user interaction logged |
| public/1 | Declaration that a predicate may be called |
| put/1 | Write a character |
| put/2 | Write a character on a stream |
| put_assoc/4 | Add Key-Value to association tree |
| put_attr/3 | Put attribute on a variable |
| put_attrs/2 | Set/replace all attributes on a variable |
| put_byte/1 | Write a byte |
| put_byte/2 | Write a byte on a stream |
| put_char/1 | Write a character |
| put_char/2 | Write a character on a stream |
| put_code/1 | Write a character-code |
| put_code/2 | Write a character-code on a stream |
| put_dict/3 | Add/replace multiple keys in a dict |
| put_dict/4 | Add/replace a single key in a dict |
| qcompile/1 | Compile source to Quick Load File |
| qcompile/2 | Compile source to Quick Load File |
| qsave_program/1 | Create runtime application |
| qsave_program/2 | Create runtime application |
| quasi_quotation_syntax/1 | Declare quasi quotation syntax |
| quasi_quotation_syntax_error/1 | Raise syntax error |
| radial_restraint/0 | Tabbling radial restraint was violated |
| random_property/1 | Query properties of random generation |
| rational/1 | Type check for a rational number |
| rational/3 | Decompose a rational |
| read/1 | Read Prolog term |
| read/2 | Read Prolog term from stream |
| read_clause/3 | Read clause from stream |
| read_link/3 | Read a symbolic link |
| read_pending_codes/3 | Fetch buffered input from a stream |
| read_pending_chars/3 | Fetch buffered input from a stream |
| read_string/3 | Read a number of characters into a string |
| read_string/5 | Read string upto a delimiter |
| read_term/2 | Read term with options |
| read_term/3 | Read term with options from stream |
| read_term_from_atom/3 | Read term with options from atom |
| read_term_with_history/2 | Read term with command line history |
| recorda/2 | Record term in the database (first) |
| recorda/3 | Record term in the database (first) |
| recorded/2 | Obtain term from the database |
| recorded/3 | Obtain term from the database |
| recordz/2 | Record term in the database (last) |
| recordz/3 | Record term in the database (last) |
| redefine_system_predicate/1 | Abolish system definition |
| reexport/1 | Load files and re-export the imported predicates |
| reexport/2 | Load predicates from a file and re-export it |
| reload_foreign_libraries/0 | Reload DLLs/shared objects |
| reload_library_index/0 | Force reloading the autoload index |
| rename_file/2 | Change name of file |
| repeat/0 | Succeed, leaving infinite backtrack points |
| require/1 | This file requires these predicates |
| reset/3 | Wrapper for delimited continuations |
| reset_gensym/1 | Reset a gensym key |
| reset_gensym/0 | Reset all gensym keys |
| reset_profiler/0 | Clear statistics obtained by the profiler |
| resource/2 | Declare a program resource |
| resource/3 | Declare a program resource |
| retract/1 | Remove clause from the database |
| retractall/1 | Remove unifying clauses from the database |
| same_file/2 | Succeeds if arguments refer to same file |
| same_term/2 | Test terms to be at the same address |
| see/1 | Change the current input stream |
| seeing/1 | Query the current input stream |
| seek/4 | Modify the current position in a stream |
| seen/0 | Close the current input stream |
| select_dict/2 | Select matching attributes from a dict |
| select_dict/3 | Select matching attributes from a dict |
| set_end_of_stream/1 | Set physical end of an open file |
| set_flag/2 | Set value of a flag |
| set_input/1 | Set current input stream from a stream |
| set_locale/1 | Set the default local |
| set_malloc/1 | Set memory allocator property |
| set_module/1 | Set properties of a module |
| set_output/1 | Set current output stream from a stream |
| set_prolog_IO/3 | Prepare streams for interactive session |
| set_prolog_flag/2 | Define a system feature |
| set_prolog_gc_thread/1 | Control the gc thread |
| set_prolog_stack/2 | Modify stack characteristics |
| set_random/1 | Control random number generation |
| set_stream/2 | Set stream attribute |
| set_stream_position/2 | Seek stream to position |
| set_system_IO/3 | Rebind stdin/stderr/stdout |
| setup_call_cleanup/3 | Undo side-effects safely |
| setup_call_catcher_cleanup/4 | Undo side-effects safely |
| setarg/3 | Destructive assignment on term |
| setenv/2 | Set shell environment variable |
| setlocale/3 | Set/query C-library regional information |
| setof/3 | Find all unique solutions to a goal |
| shell/1 | Execute OS command |
| shell/2 | Execute OS command |
| shift/1 | Shift control to the closest reset/3 |
| shift_for_copy/1 | Shift control to the closest reset/3 |
| show_profile/1 | Show results of the profiler |
| sig_atomic/1 | Run goal without handling signals |
| sig_block/1 | Block matching thread signals |
| sig_pending/1 | Query pending signals |
| sig_remove/2 | Remove pending signals |
| sig_unblock/1 | Unblock matching thread signals |
| size_abstract_term/3 | Abstract a term (tabling support) |
| size_file/2 | Get size of a file in characters |
| size_nb_set/2 | Determine size of non-backtrackable set |
| skip/1 | Skip to character in current input |
| skip/2 | Skip to character on stream |
| sleep/1 | Suspend execution for specified time |
| snapshot/1 | Run goal in isolation |
| sort/2 | Sort elements in a list |
| sort/4 | Sort elements in a list |
| source_exports/2 | Check whether source exports a predicate |
| source_file/1 | Examine currently loaded source files |
| source_file/2 | Obtain source file of predicate |
| source_file_property/2 | Information about loaded files |
| source_location/2 | Location of last read term |
| split_string/4 | Break a string into substrings |
| spy/1 | Force tracer on specified predicate |
| stamp_date_time/3 | Convert time-stamp to date structure |
| statistics/2 | Obtain collected statistics |
| stream_pair/3 | Create/examine a bi-directional stream |
| stream_position_data/3 | Access fields from stream position |
| stream_property/2 | Get stream properties |
| string/1 | Type check for string |
| string_bytes/3 | Translates between text and bytes in encoding |
| string_concat/3 | atom_concat/3 for strings |
| string_length/2 | Determine length of a string |
| string_chars/2 | Conversion between string and list of characters |
| string_codes/2 | Conversion between string and list of character codes |
| string_code/3 | Get or find a character code in a string |
| string_lower/2 | Case conversion to lower case |
| string_upper/2 | Case conversion to upper case |
| string_predicate/1 | (hook) Predicate contains strings |
| strip_module/3 | Extract context module and term |
| style_check/1 | Change level of warnings |
| sub_atom/5 | Take a substring from an atom |
| sub_atom_icasechk/3 | Case insensitive substring match |
| sub_string/5 | Take a substring from a string |
| subsumes_term/2 | One-sided unification test |
| succ/2 | Logical integer successor relation |
| swritef/2 | Formatted write on a string |
| swritef/3 | Formatted write on a string |
| tab/1 | Output number of spaces |
| tab/2 | Output number of spaces on a stream |
| table/1 | Declare predicate to be tabled |
| tabled_call/1 | Helper for not_exists/1 |
| tdebug/0 | Switch all threads into debug mode |
| tdebug/1 | Switch a thread into debug mode |
| tell/1 | Change current output stream |
| telling/1 | Query current output stream |
| term_expansion/2 | (hook) Convert term before compilation |
| term_expansion/4 | (hook) Convert term before compilation |
| term_singletons/2 | Find singleton variables in a term |
| term_string/2 | Read/write a term from/to a string |
| term_string/3 | Read/write a term from/to a string |
| term_subsumer/3 | Most specific generalization of two terms |
| term_to_atom/2 | Convert between term and atom |
| thread_affinity/3 | Query and control the affinity mask |
| thread_alias/1 | Set the alias name of a thread |
| thread_at_exit/1 | Register goal to be called at exit |
| thread_create/2 | Create a new Prolog task |
| thread_create/3 | Create a new Prolog task |
| thread_detach/1 | Make thread cleanup after completion |
| thread_exit/1 | Terminate Prolog task with value |
| thread_get_message/1 | Wait for message |
| thread_get_message/2 | Wait for message in a queue |
| thread_get_message/3 | Wait for message in a queue |
| thread_idle/2 | Reduce footprint while waiting |
| thread_initialization/1 | Run action at start of thread |
| thread_join/1 | Wait for Prolog task-completion |
| thread_join/2 | Wait for Prolog task-completion |
| thread_local/1 | Declare thread-specific clauses for a predicate |
| thread_message_hook/3 | Thread local message_hook/3 |
| thread_peek_message/1 | Test for message |
| thread_peek_message/2 | Test for message in a queue |
| thread_property/2 | Examine Prolog threads |
| thread_self/1 | Get identifier of current thread |
| thread_send_message/2 | Send message to another thread |
| thread_send_message/3 | Send message to another thread |
| thread_setconcurrency/2 | Number of active threads |
| thread_signal/2 | Execute goal in another thread |
| thread_statistics/3 | Get statistics of another thread |
| thread_update/2 | Update a module and signal waiters |
| thread_wait/2 | Wait for a goal to become true |
| threads/0 | List running threads |
| throw/1 | Raise an exception (see catch/3) |
| time/1 | Determine time needed to execute goal |
| time_file/2 | Get last modification time of file |
| tmp_file/2 | Create a temporary filename |
| tmp_file_stream/3 | Create a temporary file and open it |
| tnodebug/0 | Switch off debug mode in all threads |
| tnodebug/1 | Switch off debug mode in a thread |
| tnot/1 | Tabled negation |
| told/0 | Close current output |
| tprofile/1 | Profile a thread for some period |
| trace/0 | Start the tracer |
| tracing/0 | Query status of the tracer |
| transaction/1 | Run goal in a transaction |
| transaction/2 | Run goal in a transaction |
| transaction/3 | Run goal in a transaction |
| transaction_updates/1 | Updates to be committed in a transaction |
| trie_delete/3 | Remove term from trie |
| trie_destroy/1 | Destroy a trie |
| trie_gen/3 | Get all terms from a trie |
| trie_gen_compiled/2 | Get all terms from a trie |
| trie_gen_compiled/3 | Get all terms from a trie |
| trie_insert/2 | Insert term into a trie |
| trie_insert/3 | Insert term into a trie |
| trie_insert/4 | Insert term into a trie |
| trie_lookup/3 | Lookup a term in a trie |
| trie_new/1 | Create a trie |
| trie_property/2 | Examine a trie's properties |
| trie_update/3 | Update associated value in trie |
| trie_term/2 | Get term from a trie by handle |
| trim_heap/0 | Release unused malloc() resources |
| trim_stacks/0 | Release unused stack resources |
| tripwire/2 | (hook) Handle a tabling tripwire event |
| true/0 | Succeed |
| tspy/1 | Set spy point and enable debugging in all threads |
| tspy/2 | Set spy point and enable debugging in a thread |
| tty_get_capability/3 | Get terminal parameter |
| tty_goto/2 | Goto position on screen |
| tty_put/2 | Write control string to terminal |
| tty_size/2 | Get row/column size of the terminal |
| ttyflush/0 | Flush output on terminal |
| undefined/0 | Well Founded Semantics: true nor false |
| undo/1 | Schedule goal for backtracking |
| unify_with_occurs_check/2 | Logically sound unification |
| unifiable/3 | Determining binding required for unification |
| unknown/2 | Trap undefined predicates |
| unload_file/1 | Unload a source file |
| unload_foreign_library/1 | library(shlib)
Detach shared library (.so file) |
| unload_foreign_library/2 | library(shlib)
Detach shared library (.so file) |
| unsetenv/1 | Delete shell environment variable |
| untable/1 | Remove tabling instrumentation |
| upcase_atom/2 | Convert atom to upper-case |
| use_foreign_library/1 | Load DLL/shared object (directive) |
| use_foreign_library/2 | Load DLL/shared object (directive) |
| use_module/1 | Import a module |
| use_module/2 | Import predicates from a module |
| valid_string_goal/1 | (hook) Goal handles strings |
| var/1 | Type check for unbound variable |
| var_number/2 | Check that var is numbered by numbervars |
| var_property/2 | Variable properties during macro expansion |
| variant_sha1/2 | Term-hash for term-variants |
| variant_hash/2 | Term-hash for term-variants |
| version/0 | Print system banner message |
| version/1 | Add messages to the system banner |
| visible/1 | Ports that are visible in the tracer |
| volatile/1 | Predicates that are not saved |
| wait_for_input/3 | Wait for input with optional timeout |
| when/2 | Execute goal when condition becomes true |
| wildcard_match/2 | POSIX style glob pattern matching |
| wildcard_match/3 | POSIX style glob pattern matching |
| win_add_dll_directory/1 | Add directory to DLL search path |
| win_add_dll_directory/2 | Add directory to DLL search path |
| win_remove_dll_directory/1 | Remove directory from DLL search path |
| win_exec/2 | Win32: spawn Windows task |
| win_has_menu/0 | Win32: true if console menu is available |
| win_folder/2 | Win32: get special folder by CSIDL |
| win_insert_menu/2 | swipl-win.exe: add menu |
| win_insert_menu_item/4 | swipl-win.exe: add item to menu |
| win_process_modules/1 | Win32 get .exe and .dll files of the process |
| win_shell/2 | Win32: open document through Shell |
| win_shell/3 | Win32: open document through Shell |
| win_registry_get_value/3 | Win32: get registry value |
| win_get_user_preferred_ui_languages/2 | Win32: get language preferences |
| win_window_color/2 | Win32: change colors of console window |
| win_window_pos/1 | Win32: change size and position of window |
| window_title/2 | Win32: change title of window |
| with_mutex/2 | Run goal while holding mutex |
| with_output_to/2 | Write to strings and more |
| with_quasi_quotation_input/3 | Parse quasi quotation from stream |
| with_tty_raw/1 | Run goal with terminal in raw mode |
| working_directory/2 | Query/change CWD |
| write/1 | Write term |
| write/2 | Write term to stream |
| writeln/1 | Write term, followed by a newline |
| writeln/2 | Write term, followed by a newline to a stream |
| write_canonical/1 | Write a term with quotes, ignore operators |
| write_canonical/2 | Write a term with quotes, ignore operators on a stream |
| write_length/3 | Dermine #characters to output a term |
| write_term/2 | Write term with options |
| write_term/3 | Write term with options to stream |
| writef/1 | Formatted write |
| writef/2 | Formatted write on stream |
| writeq/1 | Write term, insert quotes |
| writeq/2 | Write term, insert quotes on stream |
Tags are associated to your profile if you are logged in
Tags:
login to add a new annotation post.