meta_predicate
Declaration
load_foreign_executable/1
load_foreign_files/2
tcp_create_listener(
?Address, -PassiveSocket)
tcp_destroy_listener(
+PassiveSocket)
tcp_listener(
?PassiveSocket)
tcp_address_to_file(
+ServerFile,
+Address)
tcp_address_from_file(
+ServerFile,
-Address)
tcp_address_from_shell(
+Host,
+ServerFile,
-Address)
tcp_address_from_shell(
+Host,
+UserId,
+ServerFile,
-Address)
tcp_connect(
+Address,
-Socket)
tcp_connected(
?Socket)
tcp_connected(
?Socket,?PassiveSocket)
tcp_shutdown(
+Socket)
library(arg)
library(changearg)
library(occurs)
library(samefunctor)
library(subsumes)
library(unify)
library(termdepth)
library(strings)
library(printlength)
library(ctypes)
<-/2
<</2
>>/2
class/1
directive
class_ancestor/2
class_method/1
directive
class_superclass/2
class_of/2
create/2
current_class/1
debug_message/0
directive
define_method/3
descendant_of/2
destroy/1
direct_message/4
end_class/[0,1]
directive
fetch_slot/2
inherit/1
directive
instance_method/1
directive
message/4
nodebug_message/0
directive
pointer_object/2
store_slot/2
undefine_method/3
uninherit/1
directive
button_press
and button_release
Events
circulate_notify
Event
circulate_request
Event
client_message
Event
colormap_notify
Event
configure_notify
Event
configure_request
Event
create_notify
Event
destroy_notify
Event
enter_notify
and leave_notify
Events
expose
Event
focus_in
and focus_out
Events
graphics_expose
Event
no_expose
Event
gravity_notify
Event
keymap_notify
Event
key_press
and key_release
Events
map_notify
Event
unmap_notify
Event
mapping_notify
Event
map_request
Event
motion_notify
Event
property_notify
Event
reparent_notify
Event
resize_request
Event
selection_clear
Event
selection_notify
Event
selection_request
Event
visibility_notify
Event
default
Event
active_windows/[0,1]
events_queued/[2,3]
pending/[1,2]
new_event/[1,2]
dispose_event/1
next_event/[2,3]
peek_event/[2,3]
window_event/4
check_window_event/4
mask_event/[3,4]
check_mask_event/[3,4]
check_typed_event/[2,3]
check_typed_window_event/3
put_back_event/[1,2]
send_event/[4,5]
send/[4,5]
get_event_values/2
put_event_values/2
get_motion_events/4
!/0
;/2
-- disjunction
,/2
;/2
-- if-then-else
->/2
=/2
=../2
</2
, =:=/2
, =</2
, =\=/2
, >/2
, >=/2
\+/1
==/2
, \==/2
@</2
, @=</2
, @>/2
, @>=/2
^/2
abolish/[1,2]
abort/0
absolute_file_name/[2,3]
add_advice/3
development
add_spypoint/1
development
append/3
arg/3
meta-logical
assert/[1,2]
assign/2
at_end_of_file/[0,1]
at_end_of_line/[0,1]
atom/1
meta-logical
atom_chars/2
atomic/1
meta-logical
bagof/3
break/0
development
C/3
call/1
callable/1
meta-logical
character_count/2
check_advice/[0,1]
development
clause/[2,3]
close/1
compare/3
compile/1
compound/1
meta-logical
consult/1
copy_term/2
meta-logical
current_advice/3
development
current_atom/1
meta-logical
current_input/1
current_key/2
current_module/[1,2]
current_output/1
current_op/3
current_predicate/2
current_spypoint/1
development
current_stream/3
db_reference/1
meta-logical
debug/0
development
debugging/0
development
discontiguous/1
declaration
display/1
dynamic/1
declaration
ensure_loaded/1
erase/1
expand_term/2
hookable
extern/1
declaration
fail/0
false/0
file_search_path/2
extendable
fileerrors/0
findall/3
float/1
meta-logical
flush_output/1
foreign/[2,3]
hook
foreign_file/2
hook
format/[2,3]
functor/3
meta-logical
garbage_collect/0
garbage_collect_atoms/0
gc/0
get/[1,2]
get0/[1,2]
get_profile_results/4
development
ground/1
meta-logical
halt/[0,1]
hash_term/2
help/[0,1]
hookable,development
initialization/1
declaration
instance/2
integer/1
meta-logical
is/2
keysort/2
leash/1
development
length/2
line_count/2
line_position/2
listing/[0,1]
load_files/[1,2]
load_foreign_executable/1
hookable
load_foreign_files/2
hookable
manual/[0,1]
development
message_hook/3
hook
meta_predicate/1
declaration
mode/1
declaration
module/1
module/2
declaration
multifile/1
declaration
multifile_assertz/1
name/2
nl/[0,1]
no_style_check/1
nocheck_advice/[0,1]
development
nodebug/0
development
nofileerrors/0
nogc/0
nonvar/1
meta-logical
noprofile/0
development
nospy/1
development
nospyall/0
development
notrace/0
development
number/1
meta-logical
number_chars/2
numbervars/3
meta-logical
on_exception/3
op/3
open/[3,4]
open_null_stream/1
otherwise/0
peek_char/[1,2]
phrase/[2,3]
portray/1
hook
portray_clause/1
predicate_property/2
print/1
hookable
print_message/2
hookable
print_message_lines/3
profile/[0,1,2,3]
development
prolog_flag/[2,3]
prolog_load_context/2
prompt/[2,3]
public/1
declaration
put/[1,2]
query_abbreviation/3
extendable
query_hook/6
hook
raise_exception/1
read/[1,2]
read_term/[2,3]
reconsult/1
recorda/3
recorded/3
recordz/3
remove_advice/3
development
remove_spypoint/1
development
repeat/0
restore/1
retract/1
retractall/1
save_modules/2
save_predicates/2
save_program/[1,2]
see/1
seeing/1
seek/4
seen/0
set_input/1
set_output/1
setof/3
show_profile_results/[0,1,2]
development
simple/1
meta-logical
skip/[1,2]
skip_line/[0,1]
sort/2
source_file/[1,2,3]
spy/1
development
statistics/[0,2]
stream_code/2
stream_position/[2,3]
style_check/1
subsumes_chk/2
meta-logical
tab/[1,2]
tell/1
telling/1
term_expansion/2
hook
told/0
trace/0
development
trimcore/0
true/0
ttyflush/0
, ttyget/1
, ttyget0/1
, ttynl/0
, ttyput/1
, ttyskip/1
, ttytab/1
unix/1
unknown/2
unknown_predicate_handler/3
hook
use_module/[1,2,3]
user_help/0
hook
var/1
meta-logical
version/[0,1]
vms/[1,2]
volatile/1
declaration
write/[1,2]
write_canonical/[1,2]
write_term/[2,3]
writeq/[1,2]
QP_action()
QP_add_*()
QP_add_tty()
QP_atom_from_string()
, QP_atom_from_padded_string()
QP_char_count()
QP_clearerr()
QP_close_query()
QP_compare()
QP_cons_*(
)
QP_cut_query()
QP_error_message()
QP_exception_term()
QP_fclose()
QP_fdopen()
QP_ferror()
QP_fgetc()
QP_fgets()
QP_flush()
QP_fnewln()
QP_fopen()
QP_fpeekc()
QP_fprintf()
QP_fputc()
QP_fputs()
QP_fread()
QP_fskipln()
QP_fwrite()
QP_get_*(
)
QP_getchar()
QP_getpos()
QP_initialize()
QP_is_*()
QP_line_count()
QP_line_position()
QP_malloc(
), QP_free(
)
QP_new_term_ref()
QP_newline()
QP_newln()
QP_next_solution()
QP_open_query()
QP_peekc()
QP_peekchar()
QP_perror()
QP_pred()
QP_predicate()
QP_prepare_stream()
QP_printf()
QP_put_*(
)
QP_puts()
QP_query()
QP_register_atom()
, QP_unregister_atom()
QP_register_stream()
QP_remove_*()
QP_rewind()
QP_seek()
QP_select()
QP_setinput()
QP_setoutput()
QP_setpos()
QP_skipline()
QP_skipln()
QP_string_from_atom(
), QP_padded_string_from_atom()
QP_tab()
QP_tabto()
QP_term_type()
QP_toplevel()
QP_trimcore(
)
QP_ungetc()
QP_unify()
QP_vfprintf()
QP_wait_input()
QU_alloc_mem()
, QU_alloc_init_mem()
, QU_free_mem()
QU_fdopen()
user-redefinable
QU_free_mem()
user-redefinable
QU_initio()
user-redefinable
QU_open()
user-redefinable
QU_stream_param()
user-redefinable
prolog
-- Quintus Prolog Development System
qcon
-- QOF consolidator
qgetpath
-- Get parameters of Quintus utilities and runtime applications
qld
-- QOF link editor
qnm
-- print QOF file information
qpc
-- Quintus Prolog compiler
qplm
-- Quintus Prolog license manager
qsetpath
-- Set parameters of Quintus utilities and runtime applications
qui
-- Quintus User Interface
This manual documents Quintus Prolog Release December 2003.
Prolog is a simple but powerful programming language developed at the University of Marseille, as a practical tool for programming in logic. From a user's point of view the major attraction of the language is ease of programming. Clear, readable, concise programs can be written quickly with few errors.