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