Previous: , Up: Prolog Reference Pages   [Contents][Index]

11.3 Built-In Predicates

The following reference pages, alphabetically arranged, describe the SICStus Prolog built-in predicates.

For a functional grouping of these predicates including brief descriptions, see mpg-top.

In many cases, the heading of a reference page, as well as an entry in a list of built-in predicates, will be annotated with keywords. These annotations are defined in mpg-ref-cat.

Further information about categories of predicates and arguments, mode annotations, and the conventions observed in the reference pages is found in mpg-ref.

• mpg-ref-cut  !/0
• mpg-ref-and  ,/2
• mpg-ref-if_then  ->/2
• mpg-ref-or  ;/2
• mpg-ref-less_than  </2
• mpg-ref-univ  =../2
• mpg-ref-unify  =/2
• mpg-ref-equal_to  =:=/2
• mpg-ref-not_greater_than  =</2
• mpg-ref-term_equal_to  ==/2
• mpg-ref-not_equal_to  =\=/2
• mpg-ref-greater_than  >/2
• mpg-ref-not_less_than  >=/2
• mpg-ref-term_unify_decided  ?=/2
• mpg-ref-term_less_than  @</2
• mpg-ref-term_not_greater_than  @=</2
• mpg-ref-term_greater_than  @>/2
• mpg-ref-term_not_less_than  @>=/2
• mpg-ref-not_provable  \+/1
• mpg-ref-not_unifiable  \=/2
• mpg-ref-term_not_equal_to  \==/2
• mpg-ref-exists  ^/2
• mpg-ref-abolish  abolish/[1,2]
• mpg-ref-abort  abort/0
• mpg-ref-absolute_file_name  absolute_file_name/[2,3]
• mpg-ref-acyclic_term  acyclic_term/1
• mpg-ref-add_breakpoint  add_breakpoint/2
• mpg-ref-append  append/3
• mpg-ref-arg  arg/3
• mpg-ref-ask_query  ask_query/4
• mpg-ref-assert  assert/[1,2]
• mpg-ref-asserta  asserta/[1,2]
• mpg-ref-assertz  assertz/[1,2]
• mpg-ref-at_end_of_line  at_end_of_line/[0,1]
• mpg-ref-at_end_of_stream  at_end_of_stream/[0,1]
• mpg-ref-atom  atom/1
• mpg-ref-atom_chars  atom_chars/2
• mpg-ref-atom_codes  atom_codes/2
• mpg-ref-atom_concat  atom_concat/3
• mpg-ref-atom_length  atom_length/2
• mpg-ref-atomic  atomic/1
• mpg-ref-bagof  bagof/3
• mpg-ref-bb_delete  bb_delete/2
• mpg-ref-bb_get  bb_get/2
• mpg-ref-bb_put  bb_put/2
• mpg-ref-bb_update  bb_update/3
• mpg-ref-block  block/1
• mpg-ref-break  break/0
• mpg-ref-breakpoint_expansion  breakpoint_expansion/2
• mpg-ref-byte_count  byte_count/2
• mpg-ref-call  call/[1,2,...,255]
• mpg-ref-call_cleanup  call_cleanup/2
• mpg-ref-call_residue_vars  call_residue_vars/2
• mpg-ref-callable  callable/1
• mpg-ref-catch  catch/3
• mpg-ref-char_code  char_code/2
• mpg-ref-char_conversion  char_conversion/2
• mpg-ref-character_count  character_count/2
• mpg-ref-clause  clause/[2,3]
• mpg-ref-close  close/[1,2]
• mpg-ref-compare  compare/3
• mpg-ref-compile  compile/1
• mpg-ref-compound  compound/1
• mpg-ref-consult  consult/1
• mpg-ref-copy_term  copy_term/[2,3]
• mpg-ref-coverage_data  coverage_data/1
• mpg-ref-create_mutable  create_mutable/2
• mpg-ref-current_atom  current_atom/1
• mpg-ref-current_breakpoint  current_breakpoint/5
• mpg-ref-current_char_conversion  current_char_conversion/2
• mpg-ref-current_input  current_input/1
• mpg-ref-current_key  current_key/2
• mpg-ref-current_module  current_module/[1,2]
• mpg-ref-current_op  current_op/3
• mpg-ref-current_output  current_output/1
• mpg-ref-current_predicate  current_predicate/[1,2]
• mpg-ref-current_prolog_flag  current_prolog_flag/2
• mpg-ref-current_stream  current_stream/3
• mpg-ref-db_reference  db_reference/1
• mpg-ref-debug  debug/0
• mpg-ref-debugger_command_hook  debugger_command_hook/2
• mpg-ref-debugging  debugging/0
• mpg-ref-dif  dif/2
• mpg-ref-disable_breakpoints  disable_breakpoints/1
• mpg-ref-discontiguous  discontiguous/1
• mpg-ref-display  display/1
• mpg-ref-do  do/2
• mpg-ref-dynamic  dynamic/1
• mpg-ref-enable_breakpoints  enable_breakpoints/1
• mpg-ref-ensure_loaded  ensure_loaded/1
• mpg-ref-erase  erase/1
• mpg-ref-error_exception  error_exception/1
• mpg-ref-execution_state  execution_state/[1,2]
• mpg-ref-expand_term  expand_term/2
• mpg-ref-fail  fail/0
• mpg-ref-false  false/0
• mpg-ref-file_search_path  file_search_path/2
• mpg-ref-findall  findall/[3,4]
• mpg-ref-float  float/1
• mpg-ref-flush_output  flush_output/[0,1]
• mpg-ref-foreign  foreign/[2,3]
• mpg-ref-foreign_resource  foreign_resource/2
• mpg-ref-format  format/[2,3]
• mpg-ref-freeze  freeze/2
• mpg-ref-frozen  frozen/2
• mpg-ref-functor  functor/3
• mpg-ref-garbage_collect  garbage_collect/0
• mpg-ref-garbage_collect_atoms  garbage_collect_atoms/0
• mpg-ref-generate_message  generate_message/3
• mpg-ref-generate_message_hook  generate_message_hook/3
• mpg-ref-get_byte  get_byte/[1,2]
• mpg-ref-get_char  get_char/[1,2]
• mpg-ref-get_code  get_code/[1,2]
• mpg-ref-get_mutable  get_mutable/2
• mpg-ref-goal_expansion  goal_expansion/5
• mpg-ref-goal_source_info  goal_source_info/3
• mpg-ref-ground  ground/1
• mpg-ref-halt  halt/[0,1]
• mpg-ref-if  if/3
• mpg-ref-include  include/1
• mpg-ref-initialization  initialization/1
• mpg-ref-instance  instance/2
• mpg-ref-integer  integer/1
• mpg-ref-is  is/2
• mpg-ref-keysort  keysort/2
• mpg-ref-leash  leash/1
• mpg-ref-length  length/2
• mpg-ref-library_directory  library_directory/1
• mpg-ref-line_count  line_count/2
• mpg-ref-line_position  line_position/2
• mpg-ref-listing  listing/[0,1]
• mpg-ref-load_files  load_files/[1,2]
• mpg-ref-load_foreign_resource  load_foreign_resource/1
• mpg-ref-member  member/2
• mpg-ref-memberchk  memberchk/2
• mpg-ref-message_hook  message_hook/3
• mpg-ref-meta_predicate  meta_predicate/1
• mpg-ref-mode  mode/1
• mpg-ref-module  module/[2,3]
• mpg-ref-multifile  multifile/1
• mpg-ref-mutable  mutable/1
• mpg-ref-name  name/2
• mpg-ref-nl  nl/[0,1]
• mpg-ref-nodebug  nodebug/0
• mpg-ref-nonmember  nonmember/2
• mpg-ref-nonvar  nonvar/1
• mpg-ref-nospy  nospy/1
• mpg-ref-nospyall  nospyall/0
• mpg-ref-notrace  notrace/0
• mpg-ref-nozip  nozip/0
• mpg-ref-number  number/1
• mpg-ref-number_chars  number_chars/2
• mpg-ref-number_codes  number_codes/2
• mpg-ref-numbervars  numbervars/3
• mpg-ref-on_exception  on_exception/3
• mpg-ref-once  once/1
• mpg-ref-op  op/3
• mpg-ref-open  open/[3,4]
• mpg-ref-open_null_stream  open_null_stream/1
• mpg-ref-otherwise  otherwise/0
• mpg-ref-peek_byte  peek_byte/[1,2]
• mpg-ref-peek_char  peek_char/[1,2]
• mpg-ref-peek_code  peek_code/[1,2]
• mpg-ref-phrase  phrase/[2,3]
• mpg-ref-portray  portray/1
• mpg-ref-portray_clause  portray_clause/[1,2]
• mpg-ref-portray_message  portray_message/2
• mpg-ref-predicate_property  predicate_property/2
• mpg-ref-print  print/[1,2]
• mpg-ref-print_coverage  print_coverage/[0,1]
• mpg-ref-print_message  print_message/2
• mpg-ref-print_message_lines  print_message_lines/3
• mpg-ref-print_profile  print_profile/[0,1]
• mpg-ref-profile_data  profile_data/1
• mpg-ref-profile_reset  profile_reset/0
• mpg-ref-prolog_flag  prolog_flag/[2,3]
• mpg-ref-prolog_load_context  prolog_load_context/2
• mpg-ref-prompt  prompt/2
• mpg-ref-public  public/1
• mpg-ref-put_byte  put_byte/[1,2]
• mpg-ref-put_char  put_char/[1,2]
• mpg-ref-put_code  put_code/[1,2]
• mpg-ref-query_abbreviation  query_abbreviation/3
• mpg-ref-query_class  query_class/5
• mpg-ref-query_class_hook  query_class_hook/5
• mpg-ref-query_hook  query_hook/6
• mpg-ref-query_input  query_input/3
• mpg-ref-query_input_hook  query_input_hook/3
• mpg-ref-query_map  query_map/4
• mpg-ref-query_map_hook  query_map_hook/4
• mpg-ref-raise_exception  raise_exception/1
• mpg-ref-read  read/[1,2]
• mpg-ref-read_line  read_line/[1,2]
• mpg-ref-read_term  read_term/[2,3]
• mpg-ref-reconsult  reconsult/1
• mpg-ref-recorda  recorda/3
• mpg-ref-recorded  recorded/3
• mpg-ref-recordz  recordz/3
• mpg-ref-remove_breakpoints  remove_breakpoints/1
• mpg-ref-repeat  repeat/0
• mpg-ref-restore  restore/1
• mpg-ref-retract  retract/1
• mpg-ref-retractall  retractall/1
• mpg-ref-runtime_entry  runtime_entry/1
• mpg-ref-save_files  save_files/2
• mpg-ref-save_modules  save_modules/2
• mpg-ref-save_predicates  save_predicates/2
• mpg-ref-save_program  save_program/[1,2]
• mpg-ref-see  see/1
• mpg-ref-seeing  seeing/1
• mpg-ref-seek  seek/4
• mpg-ref-seen  seen/0
• mpg-ref-set_input  set_input/1
• mpg-ref-set_module  set_module/1
• mpg-ref-set_output  set_output/1
• mpg-ref-set_prolog_flag  set_prolog_flag/2
• mpg-ref-set_stream_position  set_stream_position/2
• mpg-ref-setof  setof/3
• mpg-ref-simple  simple/1
• mpg-ref-skip_byte  skip_byte/[1,2]
• mpg-ref-skip_char  skip_char/[1,2]
• mpg-ref-skip_code  skip_code/[1,2]
• mpg-ref-skip_line  skip_line/[0,1]
• mpg-ref-sort  sort/2
• mpg-ref-source_file  source_file/[1,2]
• mpg-ref-spy  spy/[1,2]
• mpg-ref-statistics  statistics/[0,2]
• mpg-ref-stream_code  stream_code/2
• mpg-ref-stream_position  stream_position/2
• mpg-ref-stream_position_data  stream_position_data/3
• mpg-ref-stream_property  stream_property/2
• mpg-ref-sub_atom  sub_atom/5
• mpg-ref-subsumes_term  subsumes_term/2
• mpg-ref-tell  tell/1
• mpg-ref-telling  telling/1
• mpg-ref-term_expansion  term_expansion/6
• mpg-ref-term_variables  term_variables/2
• mpg-ref-throw  throw/1
• mpg-ref-told  told/0
• mpg-ref-trace  trace/0
• mpg-ref-trimcore  trimcore/0
• mpg-ref-true  true/0
• mpg-ref-unify_with_occurs_check  unify_with_occurs_check/2
• mpg-ref-unknown  unknown/2
• mpg-ref-unknown_predicate_handler  unknown_predicate_handler/3
• mpg-ref-unload_foreign_resource  unload_foreign_resource/1
• mpg-ref-update_mutable  update_mutable/2
• mpg-ref-use_module  use_module/[1,2,3]
• mpg-ref-var  var/1
• mpg-ref-volatile  volatile/1
• mpg-ref-when  when/2
• mpg-ref-write  write/[1,2]
• mpg-ref-write_canonical  write_canonical/[1,2]
• mpg-ref-write_term  write_term/[2,3]
• mpg-ref-writeq  writeq/[1,2]
• mpg-ref-zip  zip/0
Send feedback on this subject.