New Built-in Predicates

See the Reference Pages for information on the following new predicates.


absolute_file_name/3
generalization of absolute_file_name/2
add_spypoint/1
add a spypoint
add_advice/3
specify an advice action for a particular port of a predicate
append/3
list concatenation relation
assign/2
assign a value to a foreign data structure
at_end_of_file/0
test if the current input stream is at end of file
at_end_of_file/1
test if the specified stream is at end of file
at_end_of_line/0
test if the current input stream is at end of line
at_end_of_line/1
test if the specified stream is at end of line
callable/1
test if the a term is syntactically valid as an argument to call/1; that is, not a variable, a number or a database reference
check_advice/0
enable advice-checking for all predicates with advice
check_advice/1
enable advice-checking for the specified predicates
compound/1
test if a term is a compound term
current_advice/3
find out what advice exists
current_spypoint/1
find out what spypoints exist
db_reference/1
test if a term is a database reference
extern/1
declare predicate to be callable from C
ground/1
test if a term is ground (contains no unbound variables)
hash_term/2
produce a hash-value corresponding to a term
initialization/1
declare a goal to be called when a file is loaded or when an executable file containing it is run
load_files/1
load source or QOF files
load_files/2
load source or QOF files with specified options
nocheck_advice/0
turn off all advice checking
nocheck_advice/1
turn off advice checking for specified predicates
on_exception/3
execute a goal in the context of an exception handler
open/4
open a file with specified options
peek_char/1
return the next character in the current input stream without consuming it
peek_char/2
return the next character in specified stream without consuming it
print_message/2
print an error, warning, help, silent or informational message
print_message_lines/3
auxiliary routine for message printing
prompt/3
examine or change the prompt for a particular stream
raise_exception/1
raise an exception
read_term/2
read a term from current input stream
read_term/3
read a term from specified stream
remove_advice/3
remove advice for specified port of a predicate
remove_spypoint/1
remove a spypoint
save_modules/2
save a module or modules to QOF
save_predicates/2
save a predicate or predicates to QOF
save_program/2
save the program state and specify goal to be run on start-up
seek/4
byte-oriented random access to files
simple/1
opposite of compound/1; true of variables, atoms, numbers and database references
skip_line/0
skips characters on current input up to end of line
skip_line/1
skips characters on specified stream up to end of line
source_file/3
relation between source file, predicate and clause number
volatile/1
declare that a predicate should be excluded when saving
write_term/2
write a term to current output
write_term/3
write a term to specified stream