Contents: Predicates

• Arithmetic comparison 1998/8/5
  • =:=/2, =\=/2, >/2, >=/2, </2, =</2 1998/8/5
• Arithmetic evaluation 2003/2/26
  • for/3 1997/6/22
  • is/2 2003/2/26
• Atomic term processing 2003/7/8
  • atom_chars/2 1998/8/11
  • atom_codes/2 1998/8/5
  • atom_concat/3 1997/6/22
  • atom_concat/2 2002/5/22
  • ....and 11 more ....
• Text Processing and Regular Expressions 2002/7/4
  • match/2/3 1999/5/10
  • match_all/3 1999/5/10
  • substitute/4 1999/5/10
  • substitute_all/4 2002/7/4
  • ....and 3 more ....
• Blackboards 2002/3/19
  • bb_clear/1 2001/2/7
  • bb_clear/2 2001/2/7
  • bb_contains/2 2001/2/7
  • bb_contains_key/2 2001/2/7
  • ....and 9 more ....
• BinaryIO 1999/5/10
• Character input/output 2001/8/28
  • get_char/1/2 2001/8/28
  • get_code/1/2 2001/8/28
  • nl/0/1 1997/6/22
  • peek_char/1/2 2001/8/28
  • ....and 3 more ....
• Constraints 2002/3/19
  • co_add/2 2002/3/19
  • co_get/2 2002/3/19
  • co_merge/2 2002/3/19
  • co_check/2 2002/3/19
• Compilation 2004/1/12
  • compile/1/3 2004/1/12
• Clause creation and destruction 2004/1/12
  • abolish/1 2003/2/26
  • asserta/1 2003/2/26
  • assertz/1 2003/2/26
  • collect/3 2003/2/26
  • ....and 5 more ....
• Clause retrieval and information 2003/2/26
  • clause/2 2002/3/19
  • current_predicate/1 2003/2/26
• global variables 2003/2/13
  • current_global/1 1997/6/22
  • get_global/2 2003/2/13
  • set_global/2 1998/8/6
• Grammar rules 1998/8/11
  • expand_term/2 1998/8/11
  • phrase/2 1997/6/22
• Lists 2001/2/7
  • append/3 2001/2/7
  • member/2 2001/2/7
  • reverse/2/3 2001/2/7
  • sort/2 2001/2/7
  • merge_sort/2 2001/2/7
• Logic and control 2003/2/28
  • abort/0 2001/2/7
  • ::(Apply)/2 2003/2/28
  • break 2001/2/7
  • call/1 2001/2/7
  • ....and 15 more ....
• All Solutions 1998/8/5
  • bagof/3 1998/8/5
  • findall/3 1998/8/5
  • setof/3 1998/8/5
• Communication between distributed Minerva processes. 2002/3/19
  • client_start/3 2002/3/19
  • client_stop/1 2002/3/19
  • listener_start/3 2002/3/19
  • listener_stop/3 2002/3/19
  • ....and 4 more ....
• Stream selection and control 2002/3/18
  • at_end_of_stream/0/1 1998/8/7
  • close/1 1998/8/11
  • current_error/1 1997/6/22
  • current_input/1 1997/6/22
  • ....and 6 more ....
• Servlet 2003/4/1
• Term comparison 1998/8/7
  • ==/2, \==/2, @</2, @=</2, @>/2, @>=/2 1998/8/7
• Term creation and decomposition 1998/8/11
  • arg/3 1998/8/11
  • copy_term/2 1998/8/7
  • functor/3 1998/8/7
  • =../2 1998/8/11
• Term input/output 2002/2/5
  • current_op/3 1998/8/11
  • op/3 1998/8/7
  • print/1/2 1999/11/29
  • println/1/2 1998/8/7
  • ....and 6 more ....
• Term unification 1998/8/7
  • \=/2 1998/8/7
  • =/2 1998/8/7
  • unifiy_with_occurs_check/2 1998/8/7
• Term vector 2003/1/23
  • tv_add/2 2002/3/19
  • tv_create/1 2002/3/19
  • tv_get/3 2003/1/23
  • tv_list/2 2002/3/19
  • ....and 3 more ....
• Term Stream 2002/3/20
  • read_binary_term/2 2001/11/1
  • write_binary_term/2 2001/11/1
• XML (eXtended Markup Language) terms 2001/12/14
  • read_xml/2/3 2001/12/14
  • write_xml/1/2 2001/12/14
  • term2xml/3 2001/12/14
  • term2xmldoc/3 2001/12/14
  • ....and 2 more ....
• Asynchronous timer handling 2002/3/20
  • timer_close/1 2001/5/17
  • timer_create/2 2001/5/17
  • timer_is_active/1 2001/5/17
  • timer_start/2 2001/5/17
  • timer_stop/1 2001/5/17
• Type testing 1998/8/7
  • atom/1 1997/6/22
  • atomic/1 1997/6/22
  • compound/1 1997/6/22
  • float/1 1998/8/7
  • ....and 4 more ....