! /0 Cut (discard choicepoints)
! /1 Cut block. See block/3
, /2xfy 1000 Conjuction of goals
-> /2xfy 1050 If-then-else
. /2 Consult. Also list constructor
; /2xfy 1100 Disjunction of goals. Same as | /2
< /2xfx 700 Arithmetic smaller
= /2xfx 700 Unification
=.. /2xfx 700 ``Univ.'' Term to list conversion
=:= /2xfx 700 Arithmetic equal
=< /2xfx 700 Arithmetic smaller or equal
== /2xfx 700 Identical
=@= /2xfx 700 Structural identical
=¯ /2xfx 700 Arithmetic not equal
> /2xfx 700 Arithmetic larger
>= /2xfx 700 Arithmetic larger or equal
@< /2xfx 700 Standard order smaller
@=< /2xfx 700 Standard order smaller or equal
@> /2xfx 700 Standard order larger
@>= /2xfx 700 Standard order larger or equal
/1 fy 900 Negation by failure (argument not provable). Same as not/1
¯ /2xfx 700 Not unifyable
¯= /2xfx 700 Not identical
¯@= /2xfx 700 Not structural identical
^ /2xfy 200 Existential quantification ( bagof/3, setof/3)
| /2xfy 1100 Disjunction of goals. Same as ; /2
abolish/2 Remove predicate definition from the database
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
access_file/2 Check access permissions of a file
append/1 Append to a file
append/3 Concatenate lists
apply/2 Call goal with additional arguments
apropos/1 library( online_help): Show related predicates and manual sections
arg/3 Access argument of a term
arithmetic_function/1 Register an evaluable function
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)
assertz/1 Add a clause to the database (last)
assertz/2 Add a clause to the database (last)
at_halt/1 Register goal to run at halt/1
at_initialization/1 Register goal to run at start-up
atom/1 Type check for an atom
atom_char/2 Convert between atom and ASCII value
atom_chars/2 Convert between atom and list of ASCII values
atom_length/2 Determine length of an atom
atom_to_term/3 Convert between atom and term
atomic/1 Type check for primitive
autoload/0 Autoload all predicates now
bagof/3 Find all solutions to a goal
between/3 Integer range checking/generating
block/3 Start a block (`catch'/`throw')
break/0 Start interactive toplevel
call/1 Call a goal
call/[2..] Call with aditional arguments
call_dll_function/2 Win32: Call function in dynamic link library (.dll file)
call_shared_object_function/2 UNIX: Call C-function in shared (.so) file
character_count/2 Get character index on a stream
chdir/1 Change working directory
checklist/2 Invoke goal on all members of a list
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_dde_conversation/1 Win32: Close DDE channel
close_dll/1 Win32: Close dynamic link library (.dll file)
close_shared_object/1 UNIX: Close shared library (.so file)
compare/3 Compare, using a predicate to determine the order
compiling/0 Is this a compilation run?
compound/1 Test for compound term
concat/3 Append two atoms
concat_atom/2 Append a list of atoms
consult/1 Read (compile) a Prolog source file
context_module/1 Get context module of current goal
convert_time/8 Convert time stamp
copy_term/2 Make a copy of a term
current_arithmetic_function/1 Examine evaluable functions
current_atom/1 Examine existing atoms
current_flag/1 Examine existing flags
current_foreign_library/2 library( shlib): Examine loaded shared libraries (.so files)
current_functor/2 Examine existing name/arity pairs
current_input/1 Get current input stream
current_key/1 Examine existing database keys
current_module/1 Examine existing modules
current_module/2 Examine existing modules
current_op/3 Examine current operator declaractions
current_output/1 Get the current output stream
current_predicate/2 Examine existing predicates
current_stream/3 Examine open streams
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_unregister_service/1 Win32: Terminate a DDE service
debug/0 Test for debugging mode
debugging/0 Show debugger status
default_module/2 Get the default modules of a module
delete/3 Delete all matching members from a list
delete_file/1 Remove a file from the file system
discontiguous/1fx 1150 Indicate distributed definition of a predicate
display/1 Write a term, ignore operators
display/2 Write a term, ignore operators on a stream
displayq/1 Write a term with quotes, ignore operators
displayq/2 Write a term with quotes, ignore operators on a stream
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/1fx 1150 Indicate predicate definition may change
ed/0 Edit last edited predicate
ed/1 Edit a predicate
edit/0 Edit last edited file
edit/1 Edit a file
edit_source/1 (hook) Intercept editing
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
exit/2 Exit from named block. See block/3
expand_file_name/2 Wildcard expansion of file names
expand_file_search_path/2 Wildcard expansion of file paths
expand_term/2 Compiler: expand read term into clause(s)
explain/1 library( explain): Explain argument
explain/2 library( explain): 2nd argument is expalanation of first
export/1 Export a predicate from a module
export_list/2 List of public predicates of a module
fail/0 Always false
fail/1 Immediately fail named block. See block/3
feature/2 Get system configuration parameters
file_base_name/2 Get file part of path
file_directory_name/2 Get directory part of path
file_search_path/2 Define path-aliases for locating files
fileerrors/2 Do/Don't warn on file errors
findall/3 Find all solutions to a goal
flag/3 Simple global variable system
flatten/2 Transform nested list into flat list
float/1 Type check for a floating point number
flush/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
foreign_file/1 Examine loaded foreign files
format/1 Formatted output
format/2 Formatted output with arguments
format/3 Formatted output on a stream
format_predicate/2 Program format/[1,2]
free_variables/2 Find unbound variables in a term
functor/3 Get name and arity of a term or construct a term
garbage_collect/0 Invoke the garbage collector
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
get0/1 Read next character
get0/2 Read next character from a stream
get_single_char/1 Read next character from the terminal
get_time/1 Get current time
getenv/2 Get shell environment variable
ground/1 Verify term holds no unbound variables
halt/0 Exit from Prolog
halt/1 Exit from Prolog with status
hash_term/2 Hash-value of ground term
help/0 Give help on help
help/1 Give help on predicates and show parts of manual
history_depth/1 Number of remembered queries
ignore/1 Call the argument, but always succeed
import/1 Import a predicate from a module
index/1 Change clause indexing
initialization/1 Initialization directive
int_to_atom/2 Convert from integer to atom
int_to_atom/3 Convert from integer to atom (non-decimal)
integer/1 Type check for integer
intersection/3 Set intersection
is/2xfx 700 Evaluate arithmetic expression
is_absolute_file_name/1 True if arg defines an absolute path
is_list/1 Type check for a list
is_set/1 Type check for a set
keysort/2 Sort, using a key
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
limit_stack/2 Limit stack expansion
line_count/2 Line number on stream
line_position/2 Character position in line on stream
list_to_set/2 Remove duplicates
listing/0 List program in current module
listing/1 List predicate
load_foreign/2 Load foreign (C) module
load_foreign/5 Load foreign (C) module
load_foreign_library/1 library( shlib): Load shared library (.so file)
load_foreign_library/2 library( shlib): Load shared library (.so file)
make/0 Reconsult all changed source files
make_fat_filemap/1 Win32: Create file containing non-FAT filenames
make_library_index/1 Create autoload file INDEX.pl
maplist/3 Transform all elements of a list
member/2 Element is member of a list
memberchk/2 Deterministic member/2
merge/3 Merge two sorted lists
merge_set/3 Merge two sorted sets
module/1 Query/set current type-in module
module/2 Declare a module
module_transparent/1fx 1150 Indicate module based meta predicate
msort/2 Sort, do not remove duplicates
multifile/1fx 1150 Indicate distributed definition of predicate
name/2 Convert between atom and list of ASCII characters
nl/0 Generate a newline
nl/1 Generate a newline on a stream
nodebug/0 Disable debugging
nonvar/1 Type check for bound term
noprotocol/0 Disable logging of user interaction
nospy/1 Remove spy point
nospyall/0 Remove all spy points
not/1fy 900 Negation by failure (argument not provable). Same as /1
notrace/0 Stop tracing
nth0/3 N-th element of a list (0-based)
nth1/3 N-th element of a list (1-based)
nth_clause/3 N-th clause of a predicate
number/1 Type check for integer or float
number_chars/2 Convert between number and atom
numbervars/4 Enumerate unbound variables of a term using a given base
once/1 Call a goal deterministicaly
op/3 Declare an operator
open/3 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_shared_object/2 UNIX: Open shared library (.so file)
phrase/2 Activate grammar-rule set
phrase/3 Activate grammar-rule set (returning rest)
please/3 Query/change environment parameters
plus/3 Logical integer addition
portray/1 (hook) Modify behaviour of print/1
portray_clause/1 Pretty print a clause
predicate_property/2 Query predicate attributes
predsort/3 Sort, using a predicate to determine the order
preprocessor/2 Install a preprocessor before the compiler
print/1 Print a term
print/2 Print a term on a stream
profile/3 Obtain execution statistics
profile_count/3 Obtain profile results on a predicate
profiler/2 Obtain/change status of the profiler
prolog/0 Run interactive toplevel
prolog_current_frame/1 Reference to goal's environment stack
prolog_frame_attribute/3 Obtain information on a goal environment
prolog_load_context/2 Context information for directives
prolog_skip_level/2 Indicate deepest recursion to trace
prolog_to_os_filename/2 Convert between Prolog and OS filenames
prolog_trace_interception/3 library( user): Intercept the Prolog tracer
prompt1/1 Change prompt for 1 line
prompt/2 Change the prompt used by read/1
proper_list/1 Type check for list
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
put/1 Write a character
put/2 Write a character on a stream
qcompile/1 Compile source to Quick Load File
qload/1 Load Quick Load File as consult/1
qsave_program/1 Create runtime application
qsave_program/2 Create runtime application
read/1 Read Prolog term
read/2 Read Prolog term from stream
read_clause/1 Read clause
read_clause/2 Read clause from stream
read_history/6 Read using history substitution
read_link/3 Read a symbolic link
read_variables/2 Read clause including variable names
read_variables/3 Read clause including variable names from stream
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
rename_file/2 Change name of file
repeat/0 Succeed, leaving infinite backtrackpoints
require/1 This file requires these predicates
reset_profiler/0 Clear statistics obtained by the profiler
restore/1 Restore saved-state ( save/1, save_program/1)
retract/1 Remove clause from the database
retractall/1 Remove unifying clauses from the database
reverse/2 Inverse the order of the elements in a list
same_file/2 Succeeds if arguments refer to same file
save/1 Save program including current goal
save/2 Save program including current goal
save_program/1 Save the current program on a file
save_program/2 Save the current program on a file
see/1 Change the current input stream
seeing/1 Query the current input stream
seen/0 Close the current input stream
select/3 Select element of a list
set_feature/2 Define a system feature
set_input/1 Set current input stream from a stream
set_output/1 Set current output stream from a stream
set_tty/2 Set `tty' stream
setarg/3 Destructive assignment on term
setenv/2 Set shell environment variable
setof/3 Find all unique solutions to a goal
sformat/2 Format on a string
sformat/3 Format on a string
shell/0 Execute interactive subshell
shell/1 Execute OS command
shell/2 Execute OS command
show_profile/1 Show results of the profiler
size_file/2 Get size of a file in characters
skip/1 Skip to character in current input
skip/2 Skip to character on stream
sleep/1 Suspend execution for specified time
sort/2 Sort elements in a list
source_file/1 Examine currently loaded source files
source_file/2 Obtain source file of predicate
source_location/2 Location of last read term
spy/1 Force tracer on specified predicate
stack_parameter/4 Some systems: Query/Set runtime stack parameter
statistics/0 Show execution statistics
statistics/2 Obtain collected statistics
stream_position/3 Get/seek to position in file
string/1 Type check for string
string_length/2 Determine length of a string
string_to_atom/2 Conversion between string and atom
string_to_list/2 Conversion between string and list of ASCII
style_check/1 Change level of warnings
sublist/3 Determine elements that meet condition
subset/2 Generate/check subset relation
substring/4 Get part of a string
subtract/3 Delete elements that do not meet condition
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
tell/1 Change current output stream
telling/1 Query current output stream
term_expansion/2 (hook) Convert term before compilation
term_to_atom/2 Convert between term and atom
time/1 Determine time needed to execute goal
time_file/2 Get last modification time of file
tmp_file/2 Create a temporary filename
told/0 Close current output
trace/0 Start the tracer
trace/1 Set trace-point on predicate
trace/2 Set/Clear trace-point on ports
tracing/0 Query status of the tracer
trim_stacks/0 Release unused memory resources
true/0 Succeed
tty_get_capability/3 Get terminal parameter
tty_goto/2 Goto position on screen
tty_put/2 Write control string to terminal
ttyflush/0 Flush output on terminal
union/3 Union of two sets
unknown/2 Trap undefined predicates
unload_foreign_library/1 library( shlib): Detach shared library (.so file)
unsetenv/1 Delete shell environment variable
use_module/1 Import a module
use_module/2 Import predicates from a module
var/1 Type check for unbound variable
visible/1 Ports that are visible in the tracer
volatile/1fx 1150 Predicates that are not saved
wait_for_input/3 Wait for input with optional timeout
wildcard_match/2 Csh(1) style wildcard match
write/1 Write term
write/2 Write term to stream
write_ln/1 Write term, followed by a newline
writef/1 Formatted write
writef/2 Formatted write on stream
writeq/1 Write term, insert quotes
writeq/2 Write term, insert quotes on stream