Go to the first, previous, next, last section, table of contents.
This is a global index containing pointers to places where concepts,
predicates, modes, properties, types, applications, etc., are referred to
in the text of the document. Note that due to limitations of the
info
format unfortunately only the first reference will appear in
online versions of the document.
Jump to:
!
-
#
-
$
-
&
-
'
-
*
-
+
-
,
-
-
-
.
-
/
-
:
-
;
-
<
-
=
-
>
-
?
-
@
-
\
-
^
-
a
-
b
-
c
-
d
-
e
-
f
-
g
-
h
-
i
-
j
-
k
-
l
-
m
-
n
-
o
-
p
-
q
-
r
-
s
-
t
-
u
-
v
-
w
-
x
-
y
-
|
-
~
!/0, !/0
# /2
$/1
$/2, $/2
$is_persistent/2, $is_persistent/2
&-Prolog, &-Prolog
&/2, &/2
','/2
'<-'/1
'<-'/2
* /2
* projection
** /2
*/1, */1
*/2, */2, */2, */2, */2, */2
+ /1
+ /2
++ /1
+/1, +/1, +/1, +/1, +/1
+/2, +/2, +/2, +/2
,/2, ,/2
- /1
- /2
-- /1
-->/2
-/1, -/1, -/1, -/1
-/2, -/2, -/2, -/2
->/2, ->/2
./2, ./2
.ciaorc, .ciaorc, .ciaorc, .ciaorc, .ciaorc, .ciaorc, .ciaorc
.emacs, .emacs, .emacs, .emacs
.tar files
/ /2
// /2
/\ /2
/bin/sh, /bin/sh
/bin/sh.exe
::/2
:=/2
;/2, ;/2
<-/1
<-/2
</2, </2
<< /2
=../2, =../2
=/2, =/2
=:=/2, =:=/2
=</2, =</2
==/2, ==/2, ==/2
=>/2, =>/2, =>/2, =>/2
=\=/2, =\=/2
>/2, >/2
>=/2, >=/2
>> /2
?/1, ?/1, ?/1, ?/1, ?/1, ?/1
?/2, ?/2, ?/2, ?/2
@/1, @/1, @/1, @/1, @/1, @/1
@/2, @/2, @/2, @/2
@</2, @</2
@=</2, @=</2
@>/2, @>/2
@>=/2, @>=/2
\ /1
\+/1, \+/1
\/ /2
\=/2, \=/2
\==/2, \==/2
^/2, ^/2, ^/2, ^/2, ^/2
abolish/1, abolish/1
abort
abort/0
abs/1
absolute_file_name/2, absolute_file_name/2, absolute_file_name/2
absolute_file_name/7, absolute_file_name/7
abstract methods
acceptable modes
ACCLAIM
acknowledgments
acrobat reader, acrobat reader
active module, active module, active module
active modules, active modules
active object
active_agents/1, active_agents/1
add_after/4, add_after/4, add_after/4, add_after/4
add_before/4, add_before/4, add_before/4, add_before/4
add_clause_trans/1
add_edges/3, add_edges/3
add_goal_trans/1, add_goal_trans/1
add_sentence_trans/1, add_sentence_trans/1, add_sentence_trans/1, add_sentence_trans/1, add_sentence_trans/1, add_sentence_trans/1
add_term_trans/1, add_term_trans/1, add_term_trans/1
add_vertices/3, add_vertices/3
addmodule and pred(N) meta-arguments
address/1, address/1
aggregate function (sub)queries
aggregate function terms
aggregate_function/3
aggregate_functor/2, aggregate_functor/2, aggregate_functor/2
aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates
aggregation operations
aggregation predicates
analyzer output, analyzer output
ancestors
andprolog/andprolog
Anne Mulkers
answer variable, answer variable, answer variable
answer/1
answertableterm
answertableterm/1, answertableterm/1, answertableterm/1
answertupleterm/1, answertupleterm/1
append/3, append/3
apropos/1, apropos/1
apropos_spec/1
arg/2, arg/2
arg/3, arg/3
arg_expander/6, arg_expander/6, arg_expander/6
argnames/1
arithexpression/1, arithexpression/1, arithexpression/1
arithmetic
arithmetic goal
arithmetic_functor/2, arithmetic_functor/2
ASCII code
ask/2, ask/2
assert/1, assert/1
assert/2, assert/2
asserta/1, asserta/1
asserta/2, asserta/2
asserta_fact/1, asserta_fact/1, asserta_fact/1
asserta_fact/2, asserta_fact/2
assertion body syntax, assertion body syntax, assertion body syntax, assertion body syntax
assertion language
assertion language
assertion normalizer
assertions, assertions, assertions, assertions
assertions/assertions_props, assertions/assertions_props, assertions/assertions_props
assertions/assrt_lib
assertions/doc_props, assertions/doc_props, assertions/doc_props
assertions/meta_props, assertions/meta_props, assertions/meta_props, assertions/meta_props
assertz/1, assertz/1
assertz/2, assertz/2
assertz_fact/1, assertz_fact/1, assertz_fact/1, assertz_fact/1, assertz_fact/1, assertz_fact/1, assertz_fact/1
assertz_fact/2, assertz_fact/2
assrt_body/1, assrt_body/1, assrt_body/1
assrt_status/1, assrt_status/1
assrt_type/1, assrt_type/1
atan/1
atm/1, atm/1
atm_or_atm_list/1, atm_or_atm_list/1
atom/1, atom/1
atom2term
atom2term/2, atom2term/2, atom2term/2
atom_chars/2, atom_chars/2
atom_codes/2, atom_codes/2, atom_codes/2
atom_concat/2, atom_concat/2
atom_concat/3, atom_concat/3
atom_length/2, atom_length/2
atom_lock_state/2, atom_lock_state/2
Atomic goals
atomic/1, atomic/1
attach_attribute/2, attach_attribute/2
attribute
attribute/4, attribute/4, attribute/4, attribute/4, attribute/4
attributes, attributes
attributes/1, attributes/1, attributes/1, attributes/1
Austrian Research Institute for AI
axis_limit/1, axis_limit/1, axis_limit/1, axis_limit/1
backup file
bagof/3, bagof/3, bagof/3
barchart1/10
barchart1/7, barchart1/7, barchart1/7
barchart1/8
barchart1/9, barchart1/9, barchart1/9
barchart2/10
barchart2/11, barchart2/11, barchart2/11
barchart2/7, barchart2/7, barchart2/7
barchart2/8
barchart3/7, barchart3/7, barchart3/7
barchart3/9, barchart3/9, barchart3/9
barchart4/11, barchart4/11, barchart4/11
barchart4/7, barchart4/7, barchart4/7
basename/2, basename/2
bash, bash, bash, bash, bash
basic_props:regtype/1
between
bf
bf/af
bind_socket/3, bind_socket/3
bltwish_interp/1, bltwish_interp/1
body/1
body_expander/6, body_expander/6, body_expander/6, body_expander/6
box-type debugger
breadth first execution
breadth-first execution, breadth-first execution
breakpoins
breakpoint
breakpoints
breakpt/6, breakpt/6, breakpt/6, breakpt/6, breakpt/6
Bristol University
browse/2, browse/2
bugs, reporting
building standalone distributions
builtin directives, builtin directives
builtin modules
byte/1, byte/1
byte_list/1, byte_list/1, byte_list/1
C/3, C/3
c:/.emacs
c_assrt_body/1, c_assrt_body/1
c_itf
call/1, call/1, call/1
call/2, call/2, call/2, call/2
call/N
call_in_module/2, call_in_module/2, call_in_module/2
callable/1, callable/1
Calling emacs, Calling emacs
callme/1
callme/2, callme/2, callme/2, callme/2, callme/2
calls assertion, calls assertion
calls/1, calls/1, calls/1, calls/1, calls/1, calls/1
calls/2, calls/2, calls/2
canonic_html_term/1, canonic_html_term/1, canonic_html_term/1, canonic_html_term/1, canonic_html_term/1
canonic_xml_term/1, canonic_xml_term/1, canonic_xml_term/1
case_insensitive_match/2, case_insensitive_match/2
catch/3, catch/3, catch/3, catch/3
cd/1, cd/1, cd/1, cd/1
ceiling/1
cell_value/1, cell_value/1, cell_value/1
certainty factor, certainty factor
CGI, CGI
CGI executables
char_code/2, char_code/2
char_conversion/2
character string
character_code/1, character_code/1
character_count/2, character_count/2
chartlib/bltclass, chartlib/bltclass, chartlib/bltclass, chartlib/bltclass, chartlib/bltclass, chartlib/bltclass, chartlib/bltclass, chartlib/bltclass, chartlib/bltclass, chartlib/bltclass, chartlib/bltclass, chartlib/bltclass, chartlib/bltclass
chartlib/chartlib_errhandle
chartlib/color_pattern, chartlib/color_pattern, chartlib/color_pattern, chartlib/color_pattern, chartlib/color_pattern, chartlib/color_pattern, chartlib/color_pattern
chartlib/genbar1, chartlib/genbar1, chartlib/genbar1, chartlib/genbar1, chartlib/genbar1, chartlib/genbar1, chartlib/genbar1, chartlib/genbar1, chartlib/genbar1, chartlib/genbar1, chartlib/genbar1
chartlib/genbar2
chartlib/genbar3
chartlib/genbar4
chartlib/gengraph1, chartlib/gengraph1
chartlib/gengraph2
chartlib/genmultibar
chartlib/install_utils, chartlib/install_utils, chartlib/install_utils, chartlib/install_utils, chartlib/install_utils, chartlib/install_utils, chartlib/install_utils, chartlib/install_utils, chartlib/install_utils, chartlib/install_utils, chartlib/install_utils
chartlib/table_widget1, chartlib/table_widget1, chartlib/table_widget1, chartlib/table_widget1
chartlib/table_widget2
chartlib/table_widget3
chartlib/table_widget4
chartlib/test_format, chartlib/test_format, chartlib/test_format, chartlib/test_format, chartlib/test_format, chartlib/test_format, chartlib/test_format, chartlib/test_format, chartlib/test_format, chartlib/test_format, chartlib/test_format
chartlib_errhandle, chartlib_errhandle
chartlib_text_error_protect/1, chartlib_text_error_protect/1, chartlib_text_error_protect/1, chartlib_text_error_protect/1, chartlib_text_error_protect/1
chartlib_visual_error_protect/1, chartlib_visual_error_protect/1, chartlib_visual_error_protect/1
check assertion
check/1, check/1, check/1, check/1, check/1, check/1
check_sublist/4, check_sublist/4
chmod/2, chmod/2
chmod/3, chmod/3
Christian Holzbauer
ciao, ciao, ciao, ciao
Ciao basic builtins, Ciao basic builtins
Ciao engine, Ciao engine, Ciao engine, Ciao engine
Ciao engine builtins
Ciao preprocessor
ciao, global description
Ciao, why this name
ciao-shell, ciao-shell, ciao-shell, ciao-shell, ciao-shell
ciao-users
ciao.reg
ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc
ciaoc.bat
ciaolibdir/1, ciaolibdir/1
ciaopp, ciaopp, ciaopp, ciaopp, ciaopp, ciaopp, ciaopp, ciaopp, ciaopp
ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh
ciaosh.cpx, ciaosh.cpx
CICYT/MEC
class constructor
class instances
class_name/1, class_name/1
class_source/1, class_source/1
clause/1
clause/2, clause/2
clause/3, clause/3
clauses/1
clearerr/1, clearerr/1
client installation
client.bat
CLIP group
close/1, close/1, close/1, close/1
close/2, close/2
close_client/0, close_client/0
close_file/1, close_file/1
close_input/1, close_input/1
close_output/1, close_output/1
close_predicate/1, close_predicate/1
closed, closed, closed, closed
clterm/1
code_class/2, code_class/2, code_class/2
color/1, color/1, color/1
color/2, color/2
combine_attributes/2, combine_attributes/2, combine_attributes/2, combine_attributes/2, combine_attributes/2, combine_attributes/2, combine_attributes/2
command
command/1
comment assertion
comment string, comment string, comment string, comment string
comment/2, comment/2
comments, machine readable
comp assertion, comp assertion
comp/1, comp/1, comp/1, comp/1, comp/1, comp/1
comp/2, comp/2, comp/2
compare/3, compare/3
comparison goal
comparison operations
comparison/2, comparison/2
compat/2, compat/2
compatibility properties
compatible
compile/1, compile/1, compile/1, compile/1
compiler, standalone
compiler/c_itf, compiler/c_itf
compiler/compiler, compiler/compiler
compiler/exemaker
compiler_and_opts/2, compiler_and_opts/2
compiling programs, compiling programs, compiling programs, compiling programs, compiling programs, compiling programs
compiling, from command line
complete proof procedure, complete proof procedure
complete_dict/3, complete_dict/3
complete_vars_dict/3, complete_vars_dict/3
complex argument property, complex argument property, complex argument property, complex argument property, complex argument property, complex argument property, complex argument property, complex argument property
complex goal property, complex goal property, complex goal property
complex_arg_property/1, complex_arg_property/1, complex_arg_property/1, complex_arg_property/1, complex_arg_property/1, complex_arg_property/1, complex_arg_property/1, complex_arg_property/1, complex_arg_property/1
complex_goal_property/1, complex_goal_property/1, complex_goal_property/1, complex_goal_property/1
compound/1, compound/1
concurrency
concurrency/concurrency, concurrency/concurrency, concurrency/concurrency
concurrent, concurrent, concurrent
concurrent attribute
concurrent predicate, concurrent predicate, concurrent predicate
concurrent predicates
concurrent updates, concurrent updates
concurrent/1, concurrent/1, concurrent/1
conjunctions
connect_to_socket/3, connect_to_socket/3, connect_to_socket/3
connect_to_socket_type/4, connect_to_socket_type/4, connect_to_socket_type/4, connect_to_socket_type/4
constant arguments
constant/1, constant/1
constraint logic programming, constraint logic programming
constructor
constructor/0, constructor/0
constructor/1, constructor/1
consult/1, consult/1, consult/1, consult/1
contains1/2, contains1/2
contains_ro/2, contains_ro/2
Context-sensitive, Context-sensitive
contributed libraries, contributed libraries
control
copy_args/3, copy_args/3
copy_stdout/1, copy_stdout/1
copy_term/2, copy_term/2
cos/1
covered/1, covered/1
create_dict/2, create_dict/2
creep
csh
csh-compatible shell
ctrlc_clean/1, ctrlc_clean/1
ctrlcclean/0, ctrlcclean/0
current input stream, current input stream
current output stream, current output stream
current_atom/1, current_atom/1
current_executable/1, current_executable/1
current_fact/1, current_fact/1, current_fact/1, current_fact/1, current_fact/1, current_fact/1
current_fact/2, current_fact/2
current_fact_nb/1, current_fact_nb/1
current_host/1, current_host/1
current_infixop/4, current_infixop/4
current_input/1, current_input/1
current_key/2, current_key/2
current_module/1, current_module/1
current_op/3, current_op/3
current_output/1, current_output/1
current_postfixop/3, current_postfixop/3
current_predicate/1, current_predicate/1
current_predicate/2, current_predicate/2, current_predicate/2, current_predicate/2
current_prefixop/3, current_prefixop/3
current_prolog_flag/2, current_prolog_flag/2
current_stream/3, current_stream/3
D.H.D. Warren
D.L. Bowen
Daniel Cabeza
data file
data predicate, data predicate, data predicate, data predicate, data predicate, data predicate, data predicate
data/1, data/1, data/1, data/1, data/1, data/1, data/1, data/1, data/1, data/1, data/1, data/1
Database aggregation functions
Database arithmetic expressions
Database arithmetic functions
Database calls to is/2
Database comparison goals
database comparison operator
database initialization
database mediator server, database mediator server
datime/1, datime/1
datime/9, datime/9
datime_struct/1, datime_struct/1
davinci/0, davinci/0
davinci_get/1, davinci_get/1
davinci_get_all/1, davinci_get_all/1
davinci_lgraph/1, davinci_lgraph/1
davinci_put/1, davinci_put/1
davinci_quit/0, davinci_quit/0
davinci_ugraph/1, davinci_ugraph/1
db_client
db_eval_sql/3, db_eval_sql/3
db_get_tables/2, db_get_tables/2
db_login/5, db_login/5
db_logoff/1, db_logoff/1, db_logoff/1
db_one_tuple/2, db_one_tuple/2, db_one_tuple/2
db_query/4
db_query_one_tuple/4
db_stmt_handle/3, db_stmt_handle/3
db_table_types/3, db_table_types/3
dbassertz_fact/1, dbassertz_fact/1
dbcall/2, dbcall/2
dbconnection/1, dbconnection/1, dbconnection/1
dbcurrent_fact/1, dbcurrent_fact/1
dbfindall/4, dbfindall/4
dbhandle/1
dbname/1, dbname/1, dbname/1
dbqueryconnection/1, dbqueryconnection/1
dbretract_fact/1, dbretract_fact/1
dbretractall_fact/1, dbretractall_fact/1
dcg_expansion
dcg_translation/2, dcg_translation/2
debug
debug options
debug/0, debug/0, debug/0
debug/1
debug_goal/2, debug_goal/2
debug_goal/3, debug_goal/3
debug_message/1, debug_message/1
debug_message/2, debug_message/2
debug_module/1, debug_module/1, debug_module/1, debug_module/1
debug_module_source/1, debug_module_source/1, debug_module_source/1, debug_module_source/1, debug_module_source/1
debugger, debugger
debugger/debugger
debugger/debugger_lib
debugging
debugging tools
debugging/0, debugging/0
dec10_io, dec10_io
decl assertion, decl assertion
decl/1, decl/1, decl/1, decl/1, decl/1, decl/1
decl/2, decl/2, decl/2
declarations, user defined
DECsystem-10 Prolog User's Manual
deductive database
default constructor, default constructor
define_flag/3, define_flag/3, define_flag/3, define_flag/3
del_global/1, del_global/1
del_vertices/3, del_vertices/3
delaying predicate execution, delaying predicate execution
delete/3, delete/3, delete/3, delete/3
delete_file/1, delete_file/1
delete_on_ctrlc/2, delete_on_ctrlc/2
dependent files
depth first iterative deepening
depth limit
derived_from/2, derived_from/2
describe/1, describe/1
destroy/1, destroy/1
destructor
destructor/0, destructor/0
detach_attribute/1, detach_attribute/1
development environment, development environment, development environment
dgraph/1, dgraph/1
dgraph_to_ugraph/2, dgraph_to_ugraph/2
dic_get/3, dic_get/3
dic_lookup/3, dic_lookup/3
dic_lookup/4, dic_lookup/4
dic_node/2, dic_node/2
dic_replace/4, dic_replace/4
dict, dict
dict2varnamesl/2, dict2varnamesl/2
dictionary/1, dictionary/1
difference/3, difference/3
directives
directory_files/2, directory_files/2
directoryname/1
DISCIPL
discontiguous/1, discontiguous/1
disjunctions
display
display/1, display/1, display/1, display/1, display/1, display/1, display/1
display/2, display/2, display/2, display/2
display_list/1, display_list/1
display_string/1, display_string/1, display_string/1
display_term/1
displayq/1, displayq/1, displayq/1
displayq/2, displayq/2
disproves/2
distributed execution
dlgraph/1, dlgraph/1
dlgraph_to_lgraph/2, dlgraph_to_lgraph/2
dlist/3, dlist/3
do_not_free/2, do_not_free/2
do_on_abolish/1, do_on_abolish/1
docstring/1, docstring/1, docstring/1, docstring/1, docstring/1, docstring/1, docstring/1, docstring/1
documentation generator, documentation generator
downloading emacs
downloading new versions, downloading new versions
downloading, latest versions
dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic
dynamic predicate
dynamic/1, dynamic/1, dynamic/1, dynamic/1
dynamic_search_path/1, dynamic_search_path/1
dynmods, dynmods, dynmods
edges/2, edges/2
edges_to_lgraph/2, edges_to_lgraph/2
edges_to_ugraph/2, edges_to_ugraph/2
EDIPIA
elisp_string/1, elisp_string/1
ELLA
emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs
emacs interface, emacs interface, emacs interface
emacs lisp
emacs mode, emacs mode, emacs mode
emacs mode, setting up, Win32
emacs server
emacs, download
emacs, intro, emacs, intro
emacs_edit/1, emacs_edit/1
emacs_edit_nowait/1, emacs_edit_nowait/1
emacs_eval/1, emacs_eval/1
emacs_eval_nowait/1, emacs_eval_nowait/1
embedded debugger, embedded debugger
eng_backtrack/2, eng_backtrack/2, eng_backtrack/2
eng_call/3, eng_call/3
eng_call/4, eng_call/4, eng_call/4, eng_call/4
eng_cut/1, eng_cut/1
eng_kill/1, eng_kill/1, eng_kill/1
eng_killothers
eng_killothers/0, eng_killothers/0
eng_release/1, eng_release/1, eng_release/1, eng_release/1
eng_self/1, eng_self/1, eng_self/1
eng_status/0, eng_status/0
eng_wait/1, eng_wait/1, eng_wait/1, eng_wait/1
engine directory, engine directory
engine module
engine(basic_props)
Enrico Pontelli
ensure_loaded/1, ensure_loaded/1, ensure_loaded/1, ensure_loaded/1, ensure_loaded/1, ensure_loaded/1, ensure_loaded/1, ensure_loaded/1
entry assertion
entry/1, entry/1, entry/1, entry/1, entry/1
environment variables, setup
equal_lists/2, equal_lists/2
equality comparisons in the WHERE-clause
equalnumber/3, equalnumber/3
equi join in the WHERE-clause
erase/1, erase/1
errhandle
error term
error/1
error_file/2
error_message/1, error_message/1
error_message/2, error_message/2, error_message/2
error_message/3, error_message/3
error_protect/1, error_protect/1
etc
etc(xfrefs)
etc(xmrefs)
evaluable functors
examples, examples, examples, examples
exec/3, exec/3
exec/4, exec/4
executable
executables, compressed
executables, dynamic
executables, generating, executables, generating
executables, how to run
executables, lazy load
executables, self-contained
executables, static
executables, types
execution visualizers
existential quantification
exp/1
expander_pred/1
expansion
expansions
Explorer, Explorer
export/1, export/1, export/1, export/1, export/1, export/1, export/1, export/1
exports
extensibility
extension/2, extension/2
External interface, External interface
extract_paths/2, extract_paths/2
F.C.N. Pereira
fail
fail/0, fail/0
fails/1, fails/1
false assertion
false/1, false/1
fast_read/1, fast_read/1, fast_read/1, fast_read/1
fast_write/1, fast_write/1
fast_write_to_string/3, fast_write_to_string/3
fastrw, fastrw
feature terms, feature terms
fetch_url/3, fetch_url/3
file_exists/1, file_exists/1
file_exists/2, file_exists/2
file_locks/file_locks
file_name_extension/3, file_name_extension/3
file_properties/6, file_properties/6
file_property/2, file_property/2
file_search_path/2, file_search_path/2, file_search_path/2, file_search_path/2, file_search_path/2, file_search_path/2, file_search_path/2, file_search_path/2
file_terms/2, file_terms/2
file_to_string/2, file_to_string/2
fileerrors/0, fileerrors/0
fileinfo
filenames, filenames
find_name/4, find_name/4
findall/3, findall/3, findall/3, findall/3, findall/3, findall/3, findall/3
findall/4, findall/4
findnsols/4, findnsols/4, findnsols/4
findnsols/5, findnsols/5
flag/1
float/1, float/1, float/1
float_fractional_part/1
float_integer_part/1
floor/1
flt/1, flt/1, flt/1
flush_output/0, flush_output/0
flush_output/1, flush_output/1
fmode/2, fmode/2
foldl/4, foldl/4
footer/1, footer/1
force_lazy/1, force_lazy/1, force_lazy/1, force_lazy/1
foreign/1, foreign/1, foreign/1
foreign/2, foreign/2, foreign/2
ForEmacs.txt
form_assignment/1, form_assignment/1
form_default/3, form_default/3
form_dict/1, form_dict/1
form_empty_value/1, form_empty_value/1
form_request_method/1, form_request_method/1
form_value/1, form_value/1
format, format, format, format, format, format, format, format, format
format/2, format/2
format/3, format/3
format_control/1, format_control/1
formatting commands
formatting/2, formatting/2
Francisco Bueno
freeze/2, freeze/2, freeze/2, freeze/2
FROM-clauses
frozen/2, frozen/2, frozen/2
func/1
function/1
functional syntax, functional syntax
functions, functions, functions
functor of a goal
functor/3, functor/3
g_assrt_body/1, g_assrt_body/1
garbage collection, garbage collection
garbage_collect/0, garbage_collect/0
garbage_collection_option/1
gc/0, gc/0
gc_result/1
gcd/2
genbar1, genbar1, genbar1
genbar2, genbar2, genbar2
genbar3, genbar3, genbar3
genbar4, genbar4, genbar4
gengraph1, gengraph1, gengraph1, gengraph1, gengraph1, gengraph1, gengraph1, gengraph1
gengraph2, gengraph2, gengraph2, gengraph2, gengraph2, gengraph2, gengraph2, gengraph2
genmultibar, genmultibar
Gerda Janssens
German Puebla
get1_code/1, get1_code/1
get1_code/2, get1_code/2
get_alias_path/0, get_alias_path/0
get_arch/1, get_arch/1
get_attribute/2, get_attribute/2, get_attribute/2
get_byte/1, get_byte/1
get_byte/2, get_byte/2
get_char/1, get_char/1
get_char/2, get_char/2
get_code/1, get_code/1
get_code/2, get_code/2
get_cookies/1, get_cookies/1
get_form_input/1, get_form_input/1
get_form_value/3, get_form_value/3
get_global/2, get_global/2
get_line/1, get_line/1
get_line/2, get_line/2
get_os/1, get_os/1
get_pid/1, get_pid/1
get_primes/2, get_primes/2
get_query_id/1
getcounter/2, getcounter/2
getct/2, getct/2
getct1/2, getct1/2
getenvstr/2, getenvstr/2
ghostview, ghostview
global variables, global variables
gmax/3
gnd/1, gnd/1
GNU emacs, GNU emacs
GNU General Public License, GNU General Public License
go/1, go/1
go/2, go/2
Goal, Goal
Gopal Gupta
grammar rule
graph_b1/13, graph_b1/13, graph_b1/13, graph_b1/13
graph_b1/9, graph_b1/9, graph_b1/9, graph_b1/9
graph_b2/13, graph_b2/13, graph_b2/13, graph_b2/13
graph_b2/9, graph_b2/9, graph_b2/9, graph_b2/9
graph_w1/13, graph_w1/13, graph_w1/13
graph_w1/9, graph_w1/9, graph_w1/9
graph_w2/13, graph_w2/13, graph_w2/13
graph_w2/9, graph_w2/9, graph_w2/9
graphs/lgraphs
graphs/ugraphs, graphs/ugraphs
ground/1, ground/1, ground/1, ground/1
H. Ait-Kaci
halt/0, halt/0
halt/1, halt/1
halt_server/0, halt_server/0
handle_error/2, handle_error/2
handler_type/1
hard side-effects
head pattern, head pattern, head pattern, head pattern
head_pattern/1, head_pattern/1, head_pattern/1, head_pattern/1, head_pattern/1
header/1, header/1
hello, hello
help, help, help, help, help
help, unix
help, windows
higher-order library, higher-order library
hms_time/1, hms_time/1
hostname_address/2, hostname_address/2
HTML, HTML
html2terms/2, html2terms/2
html_expansion/2, html_expansion/2
html_protect/1, html_protect/1
html_report_error/1, html_report_error/1
html_template/3, html_template/3
html_term/1, html_term/1, html_term/1
HTTP, HTTP
http_date/1, http_date/1, http_date/1, http_date/1, http_date/1, http_date/1
http_lines/3, http_lines/3
http_request_param/1, http_request_param/1
http_response_param/1, http_response_param/1
hw
hw.pls, hw.pls
icon_address.pl, icon_address.pl, icon_address.pl, icon_address.pl
icon_address/2, icon_address/2, icon_address/2
idlists, idlists
if/3, if/3
image/1, image/1, image/1
impl_defined/1
implements/1, implements/1, implements/1, implements/1, implements/1, implements/1
import/2
imports
imports_meta_pred/3, imports_meta_pred/3
in/1, in/1, in/1, in/1
in/2, in/2, in/2, in/2
in_noblock/1, in_noblock/1
in_stream/2, in_stream/2
inccounter/2, inccounter/2
include/1, include/1, include/1, include/1
indep/1, indep/1, indep/1, indep/1, indep/1
indep/2, indep/2, indep/2, indep/2, indep/2
independent
info, info
inform_user/1
inherit_class/1, inherit_class/1
inheritable interface
inheritable/1, inheritable/1
inheritance relationship
inherited/1, inherited/1
init_persdb/0, init_persdb/0
init_sql_persdb/0, init_sql_persdb/0
initialization clauses
initialization file, initialization file
initialization/1
initialize_db/0, initialize_db/0, initialize_db/0
INRIA
insert/3, insert/3
insert_last/3, insert_last/3
installation, installation
installation, Windows clients
installation, Windows server
installation, Windows, from binaries
instance/2, instance/2
instance_codes/2, instance_codes/2
instance_id/1, instance_id/1
instance_of/2, instance_of/2, instance_of/2, instance_of/2, instance_of/2, instance_of/2, instance_of/2, instance_of/2, instance_of/2, instance_of/2, instance_of/2, instance_of/2, instance_of/2, instance_of/2, instance_of/2
instances
instantiation mode, instantiation mode
instantiation properties
instantiation state
int/1, int/1, int/1, int/1
int_list/1, int_list/1
integer/1, integer/1, integer/1, integer/1, integer/1, integer/1
inter-process communication
intercept/3, intercept/3, intercept/3
interface file
interface inheritance
interface/2, interface/2
interface_name/1, interface_name/1
interface_source/1, interface_source/1
interfaces, interfaces
internal_module_id/1
interp_file/2, interp_file/2
interpreted mode, interpreted mode
intersection/3, intersection/3
intlist/1, intlist/1
intset_delete/3, intset_delete/3
intset_in/2, intset_in/2
intset_insert/3, intset_insert/3
intset_sequence/3, intset_sequence/3
io_aux
io_mode/1, io_mode/1
is/2, is/2, is/2, is/2, is/2
is_det/1, is_det/1
iso, iso, iso, iso, iso
ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog
ISO-Prolog builtins, ISO-Prolog builtins, ISO-Prolog builtins, ISO-Prolog builtins
iso-prolog, compliance
iso/1, iso/1
iso_byte_char, iso_byte_char, iso_byte_char, iso_byte_char, iso_byte_char, iso_byte_char
iso_incomplete, iso_incomplete, iso_incomplete, iso_incomplete, iso_incomplete, iso_incomplete
iso_misc, iso_misc, iso_misc, iso_misc, iso_misc, iso_misc, iso_misc
isomodes
issue_debug_messages/1, issue_debug_messages/1, issue_debug_messages/1, issue_debug_messages/1, issue_debug_messages/1, issue_debug_messages/1
iterative deepening-based execution, iterative deepening-based execution
iterative-deepening
Jan Maluzynski
Java commands, Java commands, Java commands, Java commands
Java event handling from Prolog
Java exception handling from Prolog
Java interface, Java interface
java_add_listener/3, java_add_listener/3
java_connection/0, java_connection/0
java_constructor/1, java_constructor/1
java_create_object/2, java_create_object/2
java_delete_object/1, java_delete_object/1
java_disconnection/0, java_disconnection/0
java_event/1, java_event/1
java_fast_read/2, java_fast_read/2
java_fast_write/2, java_fast_write/2
java_field/1, java_field/1
java_get_value/2, java_get_value/2
java_invoke_method/2, java_invoke_method/2
java_method/1, java_method/1
java_object/1, java_object/1
java_remote_connection/1, java_remote_connection/1
java_remove_listener/3, java_remove_listener/3
java_set_value/2, java_set_value/2
java_stream/3, java_stream/3
javall/javasock, javall/javasock
javart
Johan Widen
John Gallagher
jtopl
K.U. Leuven
Kalyan Muthukumar
Kevin Greene
keyboard
keypair/1
keysort/2, keysort/2
keyword/1
Kim Marriott
L. Byrd
L.M. Pereira
last/2, last/2
leap
leash/1, leash/1, leash/1
length/2, length/2
letter_match/2, letter_match/2
lgraph/2, lgraph/2
lib library, lib library
libpaths
libraries used
library('xrefs/mrefs')
library('xrefs/pxrefs')
library(iso_byte_char)
library(modes)
library(pure)
library(xrefs)
library/pillow/doc
library_directory/1, library_directory/1, library_directory/1, library_directory/1, library_directory/1, library_directory/1, library_directory/1
librowser
limitations, limitations
limitations, architecture-specific
linda_client/1, linda_client/1
linda_timeout/2, linda_timeout/2
line/1
line_count/2, line_count/2
line_position/2, line_position/2
linear/1, linear/1
linker_and_opts/2, linker_and_opts/2
Linkoping U., Linkoping U.
list/1, list/1, list/1
list/2, list/2, list/2, list/2, list/2
list1/2, list1/2
list_breakpt/0, list_breakpt/0
list_concat/2, list_concat/2
list_insert/2, list_insert/2, list_insert/2, list_insert/2
list_lookup/3, list_lookup/3
list_lookup/4, list_lookup/4
list_to_list_of_lists/2, list_to_list_of_lists/2
lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists
load_compilation_module/1, load_compilation_module/1, load_compilation_module/1, load_compilation_module/1
loading mode
loading programs, loading programs
lock_atom/1, lock_atom/1
log/1
LogIn
Low level Java to Prolog interface
Low-Level Prolog to Java Interface Structure
Low-Level Prolog to Java Interface Structure. Java side
Low-Level Prolog to Java Interface Structure. Prolog side
lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc
LPdoc
lpmake, lpmake, lpmake, lpmake, lpmake, lpmake, lpmake
machine_name/1, machine_name/1
mailing list, mailing list, mailing list
main/0, main/0, main/0, main/0, main/0, main/0
main/1, main/1, main/1, main/1, main/1, main/1, main/1, main/1, main/1, main/1, main/1, main/1
make, make, make, make, make, make, make, make
make_actmod/2, make_actmod/2, make_actmod/2
make_exec/2, make_exec/2, make_exec/2, make_exec/2
make_persistent/2, make_persistent/2, make_persistent/2
make_po/1, make_po/1
make_sql_persistent/3, make_sql_persistent/3, make_sql_persistent/3, make_sql_persistent/3, make_sql_persistent/3
Makefile
Makefile.pl, Makefile.pl, Makefile.pl
manual, printing, manual, printing, manual, printing, manual, printing
manual, tour
manuals, printing, manuals, printing
Manuel Carro
Manuel Hermenegildo, Manuel Hermenegildo
map/3, map/3
Maria Jose Garcia de la Banda
marshalling, marshalling
match_pattern/2, match_pattern/2
match_pattern/3, match_pattern/3
match_pattern_pred/2, match_pattern_pred/2
match_string/3, match_string/3
Mats Carlsson, Mats Carlsson, Mats Carlsson
Maurice Bruynooghe
max/3, max/3, max/3, max/3
maxdepth/1, maxdepth/1
MCC
Melbourne U.
member/2, member/2
member_0/2, member_0/2
memberchk/2, memberchk/2
memory management, memory management
memory_option/1
memory_result/1
merge/3, merge/3
message/1, message/1
message/2, message/2, message/2, message/2
message_lns/4, message_lns/4
messages, messages, messages, messages
meta_predicate/1, meta_predicate/1
metaspec/1
metaterms, metaterms, metaterms, metaterms, metaterms
method_spec/1, method_spec/1
mktemp/2, mktemp/2
mod/2
mode
mode, mode
mode spec
modedef/1, modedef/1, modedef/1, modedef/1, modedef/1
modes, modes
modif_time/2, modif_time/2, modif_time/2
modif_time0/2, modif_time0/2
modular interface
module qualification
module/2, module/2
module/3, module/3, module/3, module/3, module/3, module/3, module/3
modulename/1
modules, active
Monash U.
month/1, month/1
mshare/1, mshare/1
multi-evaluated
multibar_attribute/1
multibarchart/10, multibarchart/10, multibarchart/10
multibarchart/8, multibarchart/8, multibarchart/8, multibarchart/8
multifile predicate
multifile/1, multifile/1, multifile/1, multifile/1, multifile/1
multpredspec/1
mut_exclusive/1, mut_exclusive/1
my_url/1, my_url/1
n_assrt_body/5, n_assrt_body/5, n_assrt_body/5
nabody/1, nabody/1
Name, Name, Name
name server
name/2, name/2, name/2
native/1, native/1
native/2, native/2
negated comparison goal
negated database goal
negated goals
negated_comparison/2
negations
neighbors/3, neighbors/3
netscape
New Mexico State University
new/2, new/2, new/2, new/2, new/2, new/2, new/2, new/2, new/2
new_atom/1, new_atom/1
new_declaration/1, new_declaration/1
new_declaration/2, new_declaration/2
new_interp/1, new_interp/1
nl/0, nl/0
nl/1, nl/1
nnegint/1, nnegint/1
no_path_file_name/2, no_path_file_name/2
nobreakall/0, nobreakall/0
nobreakpt/6, nobreakpt/6, nobreakpt/6, nobreakpt/6
nocontainsx/2, nocontainsx/2
nodebug, nodebug
nodebug/0, nodebug/0, nodebug/0
nodebug_module/1, nodebug_module/1, nodebug_module/1
nofileerrors/0, nofileerrors/0
nogc/0, nogc/0
nonsingle/1, nonsingle/1
nonvar/1, nonvar/1
nospy
nospy/1, nospy/1, nospy/1, nospy/1, nospy/1
nospyall/0, nospyall/0
NOT EXISTS-subqueries
not_covered/1, not_covered/1
not_empty/3, not_empty/3
not_empty/4, not_empty/4
not_fails/1, not_fails/1
not_further_inst/1
not_further_inst/2, not_further_inst/2
not_mut_exclusive/1, not_mut_exclusive/1
notation
note/1
note_message/1, note_message/1
note_message/2, note_message/2
note_message/3, note_message/3
notrace/0, notrace/0
ntemacs
nth/3, nth/3
null_dict/1, null_dict/1
num/1, num/1
number/1, number/1
number_chars/2, number_chars/2
number_codes/2, number_codes/2, number_codes/2
number_codes/3, number_codes/3
numbervars/3, numbervars/3
numlist/1, numlist/1
object
object oriented programming, object oriented programming
objects/objects_rt, objects/objects_rt
ODBC
odbc_connect/2, odbc_connect/2
odbc_disconnect/1, odbc_disconnect/1, odbc_disconnect/1
old_database
on_abort/1
once/1, once/1
op/3, op/3, op/3, op/3
open/3, open/3
open/4, open/4
open_client/2, open_client/2
open_input/2, open_input/2
open_null_stream/1, open_null_stream/1
open_output/2, open_output/2
open_predicate/1, open_predicate/1
operations file
operator table
operator_specifier/1, operator_specifier/1
operators, operators, operators, operators, operators, operators, operators, operators, operators
optional_message/2, optional_message/2
optional_message/3, optional_message/3
ord_delete/3, ord_delete/3
ord_disjoint/2, ord_disjoint/2
ord_intersect/2, ord_intersect/2
ord_intersection/3, ord_intersection/3
ord_intersection_diff/4, ord_intersection_diff/4
ord_member/2, ord_member/2
ord_subset/2, ord_subset/2
ord_subset_diff/3, ord_subset_diff/3
ord_subtract/3, ord_subtract/3
ord_test_member/3, ord_test_member/3
ord_union/3, ord_union/3
ord_union_change/3, ord_union_change/3
ord_union_diff/4, ord_union_diff/4
ord_union_symdiff/4, ord_union_symdiff/4
out/1, out/1, out/1, out/1
out/2, out/2
out_stream/2, out_stream/2
output_html/1, output_html/1, output_html/1
overriden, overriden
P. Lincoln
package file, package file, package file, package file, package file, package file, package file, package file
pair/1
parallel programming, parallel programming
parallel Prolog
parallelizing compiler
parametric property
parametric regular type abstractions
PARFORCE
parse_term/3, parse_term/3
passertz_fact/1, passertz_fact/1, passertz_fact/1
passwd/1, passwd/1, passwd/1
path alias, path alias, path alias, path alias, path alias, path alias, path alias, path alias
path aliases
pattern/1, pattern/1, pattern/1, pattern/1
pattern/2, pattern/2
patterns, patterns, patterns
pause/1, pause/1
Pawel Pietrzak
pcurrent_fact/1, pcurrent_fact/1, pcurrent_fact/1
Pedro Lopez
peek_byte/1, peek_byte/1
peek_byte/2, peek_byte/2
peek_char/1, peek_char/1
peek_char/2, peek_char/2
peek_code/1, peek_code/1
peek_code/2, peek_code/2
percentbarchart1/7, percentbarchart1/7, percentbarchart1/7
percentbarchart2/7, percentbarchart2/7, percentbarchart2/7
percentbarchart3/7, percentbarchart3/7, percentbarchart3/7
percentbarchart4/7, percentbarchart4/7, percentbarchart4/7
persdb, persdb, persdb
persdb_sql, persdb_sql
persdb_sql/db_client
persdb_sql/insert_compiler/pl2sqlinsert
persdb_sql/pl2sql
persdb_sql/sqltypes, persdb_sql/sqltypes
persdb_sql/string2term
persistence set
persistent, persistent, persistent, persistent
Persistent predicate, Persistent predicate
persistent predicate
persistent predicates, persistent predicates
persistent/2, persistent/2
persistent_dir/2, persistent_dir/2, persistent_dir/2, persistent_dir/2, persistent_dir/2, persistent_dir/2
Peter Stuckey
phrase/2, phrase/2
phrase/3, phrase/3
Pierre Deransart
pillow
PiLLoW on-line tutorial
pillow.pl, pillow.pl
pillow/html
pillow/http
pillow/http_ll
pillow/pillow_aux, pillow/pillow_aux
pillow/pillow_types, pillow/pillow_types
pkunzip
pl2sql, pl2sql, pl2sql, pl2sql
pl2sqlstring/3, pl2sqlstring/3, pl2sqlstring/3, pl2sqlstring/3, pl2sqlstring/3, pl2sqlstring/3
pl2sqlterm/3, pl2sqlterm/3, pl2sqlterm/3
platform-dependent
platform-independent, platform-independent
point_to/3, point_to/3
Polymorphism
pop_global/2, pop_global/2
pop_prolog_flag/1, pop_prolog_flag/1, pop_prolog_flag/1
popen/3, popen/3
popen_mode/1, popen_mode/1
portray/1, portray/1, portray/1
portray_attribute/1
portray_attribute/2, portray_attribute/2, portray_attribute/2
portray_clause/1, portray_clause/1
portray_clause/2, portray_clause/2, portray_clause/2
positive database goal
possibly_fails/1, possibly_fails/1
possibly_nondet/1, possibly_nondet/1
powerset/2, powerset/2
pred assertion, pred assertion
pred/1, pred/1, pred/1, pred/1, pred/1, pred/1, pred/1, pred/1, pred/1, pred/1, pred/1
pred/2, pred/2, pred/2
predfunctor/1, predfunctor/1
predicate declarations
predicate spec
predicate_property/2, predicate_property/2
predname/1, predname/1, predname/1
preprocessor, preprocessor
pretract_fact/1, pretract_fact/1, pretract_fact/1
pretty_print/2, pretty_print/2
pretty_print/3, pretty_print/3
prettyvars/1, prettyvars/1
print
print/1, print/1, print/1
print/2, print/2
printable_char/1, printable_char/1
printdepth
printing assertion information
printing code-related information
printing, manual, printing, manual, printing, manual, printing, manual
printqueries/1, printqueries/1
Procedure Box
process_first_command/1
process_next_command/2
program assertions
programming environment, programming environment
project files
projterm/1, projterm/1, projterm/1
Prolog answers, Prolog answers
prolog flag, prolog flag, prolog flag, prolog flag, prolog flag, prolog flag
Prolog predicate argument positions
Prolog predicate names
Prolog scripts
Prolog server
Prolog shell scripts
Prolog to SQL compiler
Prolog to SQL translation, Prolog to SQL translation
Prolog to SQL translator
prolog-emacs interface
prolog_flag/3, prolog_flag/3
prolog_goal/1, prolog_goal/1
prolog_parse/2
prolog_query/1
prolog_server/0, prolog_server/0
prolog_sys, prolog_sys, prolog_sys
PrologName, PrologName
prompt
prompt/2, prompt/2
prop assertion, prop assertion
prop/1, prop/1, prop/1, prop/1, prop/1
prop/2, prop/2, prop/2, prop/2, prop/2
prop_abs/1
properties of computations
properties of execution states
properties, basic
properties, native
property
property abstraction, property abstraction
property compatibility
property declarations
property_conjunction/1, property_conjunction/1, property_conjunction/1, property_conjunction/1
property_starterm/1, property_starterm/1, property_starterm/1, property_starterm/1, property_starterm/1
propfunctor/1, propfunctor/1
protected
proves/2
providing information to the compiler, providing information to the compiler
prune_dict/3, prune_dict/3
public
public domain, public domain
public interface
public/1, public/1, public/1
pure, pure
pure Prolog, pure Prolog, pure Prolog
push_global/2, push_global/2
push_prolog_flag/2, push_prolog_flag/2, push_prolog_flag/2
put_byte/1, put_byte/1
put_byte/2, put_byte/2
put_char/1, put_char/1
put_char/2, put_char/2
put_code/1, put_code/1
put_code/2, put_code/2
q_delete/3, q_delete/3
q_empty/1, q_empty/1
q_insert/3, q_insert/3
q_member/2, q_member/2
qualified attributes
query
query_generation/3
querybody/1, querybody/1, querybody/1, querybody/1
quoted string
random/1, random/1
random/3, random/3
random/random, random/random, random/random, random/random, random/random, random/random, random/random, random/random
random_color/1, random_color/1
random_darkcolor/1, random_darkcolor/1
random_lightcolor/1, random_lightcolor/1
random_pattern/1, random_pattern/1
range variable
rd/1, rd/1
rd/2, rd/2
rd_findall/3, rd_findall/3
rd_noblock/1, rd_noblock/1
read, read, read, read, read, read, read, read, read, read, read, read, read, read, read, read, read
read/1, read/1, read/1
read/2, read/2, read/2, read/2
read_command/1
read_term/2, read_term/2, read_term/2
read_term/3, read_term/3, read_term/3, read_term/3
read_top_level/3, read_top_level/3
recorda/3, recorda/3
recorded/3, recorded/3
records, records
recordz/3, recordz/3
recursive level, recursive level
redefined
redefining/1
reexport/1
reexport/2
reference/1
references, to Ciao
referring to Ciao
regedit
regtype assertion, regtype assertion
regtype/1, regtype/1, regtype/1, regtype/1, regtype/1, regtype/1, regtype/1
regtype/2, regtype/2, regtype/2, regtype/2, regtype/2
regular expresions
regular expressions
regular type
regular type definitions
regular types
relation name
relation/3, relation/3, relation/3, relation/3
relational databases
rem/2
rename/2, rename/2
repeat/0, repeat/0
reporting bugs, reporting bugs, reporting bugs
retract/1, retract/1
retract_fact/1, retract_fact/1, retract_fact/1, retract_fact/1, retract_fact/1, retract_fact/1, retract_fact/1, retract_fact/1
retract_fact_nb/1, retract_fact_nb/1
retractall/1, retractall/1
retractall_fact/1, retractall_fact/1, retractall_fact/1, retractall_fact/1
retry
returns/2, returns/2
reverse/2, reverse/2
reverse/3, reverse/3
Roger Nasr, Roger Nasr
round/1
row/1, row/1
rtchecks/rtchecks_sys
run-time checks, run-time checks
running programs, running programs, running programs, running programs
s_assrt_body/1, s_assrt_body/1
Saumya Debray
scattergraph1_b1/13
scattergraph_b1/12, scattergraph_b1/12, scattergraph_b1/12
scattergraph_b1/8, scattergraph_b1/8, scattergraph_b1/8, scattergraph_b1/8
scattergraph_b2/12, scattergraph_b2/12, scattergraph_b2/12
scattergraph_b2/8, scattergraph_b2/8, scattergraph_b2/8
scattergraph_w1/12, scattergraph_w1/12, scattergraph_w1/12
scattergraph_w1/8, scattergraph_w1/8, scattergraph_w1/8, scattergraph_w1/8
scattergraph_w2/12, scattergraph_w2/12, scattergraph_w2/12
scattergraph_w2/13
scattergraph_w2/8, scattergraph_w2/8, scattergraph_w2/8
scripts, scripts, scripts
second_prompt/2, second_prompt/2
see/1, see/1
seeing/1, seeing/1
seen/0, seen/0
Seif Haridi
select/3, select/3
select_socket/5, select_socket/5
self/1, self/1
semantic analisys
semaphore, semaphore
sequence/2, sequence/2
sequence_or_list/2, sequence_or_list/2
set at a time
set_cookie/2, set_cookie/2
set_debug_mode/1, set_debug_mode/1, set_debug_mode/1
set_fact/1, set_fact/1
set_global/2, set_global/2
set_input/1, set_input/1
set_nodebug_mode/1, set_nodebug_mode/1, set_nodebug_mode/1
set_output/1, set_output/1
set_prolog_flag/1
set_prolog_flag/2, set_prolog_flag/2, set_prolog_flag/2
setarg/3, setarg/3
setcounter/2, setcounter/2
setof/3, setof/3, setof/3, setof/3, setof/3, setof/3
setproduct/3, setproduct/3
sets, sets, sets, sets, sets
sh
sh-compatible shell
sharing sets
shell
shell scripts
shell/0, shell/0
shell/1, shell/1
shell/2, shell/2
shell_s/0
shortcut, windows
SICS
SICStus Prolog
sideff_hard/1, sideff_hard/1
sideff_pure/1, sideff_pure/1
sideff_soft/1, sideff_soft/1
sign/1
simple_client.pl
simple_message/1, simple_message/1
simple_message/2, simple_message/2
sin/1
size/1, size/1
size_lb/2, size_lb/2
size_of/3, size_of/3
size_ub/2, size_ub/2
skip
skip_code/1, skip_code/1
skip_code/2, skip_code/2
smooth/1, smooth/1
Socket implementation
Socket interface, Socket interface
socket_accept/2, socket_accept/2
socket_connection/2, socket_connection/2
socket_disconnection/0, socket_disconnection/0
socket_recv/2, socket_recv/2, socket_recv/2
socket_recv_code/3, socket_recv_code/3, socket_recv_code/3
socket_send/2, socket_send/2, socket_send/2
socket_type/1, socket_type/1
socketname/1, socketname/1, socketname/1
sockets/sockets, sockets/sockets, sockets/sockets, sockets/sockets
sockets/sockets_c
soft side-effects
solve/1
solve_on_thread/1
sort, sort, sort, sort, sort, sort, sort, sort, sort, sort, sort, sort, sort
sort/2, sort/2
source-level debugger
source-level debugging, source-level debugging, source-level debugging, source-level debugging, source-level debugging
sourcename/1, sourcename/1, sourcename/1, sourcename/1
sourcenames/1
specifications
spy
spy-points, spy-points
spy/1, spy/1, spy/1, spy/1, spy/1
SQL, SQL, SQL
SQL attributes
SQL Databases
SQL queries
SQL query, SQL query, SQL query
SQL server
SQL table names
SQL tables, SQL tables
SQL-like database interface, SQL-like database interface
sql_get_tables/2, sql_get_tables/2
sql_persistent/3, sql_persistent/3, sql_persistent/3, sql_persistent/3, sql_persistent/3, sql_persistent/3, sql_persistent/3
sql_persistent_location/2, sql_persistent_location/2
sql_query/3, sql_query/3, sql_query/3, sql_query/3
sql_query_one_tuple/3, sql_query_one_tuple/3
sql_table_types/3, sql_table_types/3
sqlstring/1, sqlstring/1
sqlterm2string/2, sqlterm2string/2
sqltype/1, sqltype/1, sqltype/1
sqltypes, sqltypes
sqrt/1
srandom/1, srandom/1
standalone compiler
standalone utilities, standalone utilities
standard total ordering
statistics/0, statistics/0
statistics/2, statistics/2
status, this manual
steps_lb/2, steps_lb/2
steps_ub/2, steps_ub/2
stmthandle/1
stream/1, stream/1
stream_code/2, stream_code/2
stream_property/2, stream_property/2
stream_to_string/2, stream_to_string/2
streams, streams, streams, streams
string/1, string/1
string/3, string/3
string2term/2, string2term/2
stringcommand/1, stringcommand/1, stringcommand/1, stringcommand/1, stringcommand/1, stringcommand/1
strings, strings, strings, strings, strings, strings
struct/1, struct/1
style sheets, style sheets, style sheets
sub_atom/4, sub_atom/4
sub_atom/5, sub_atom/5
sublist/2, sublist/2
subordlist/2, subordlist/2
subterm
subtract/3, subtract/3
success assertion, success assertion
success/1, success/1, success/1, success/1, success/1
success/2, success/2, success/2
sum_list/2, sum_list/2
sum_list/3, sum_list/3
sum_list_of_lists/2, sum_list_of_lists/2
sum_list_of_lists/3, sum_list_of_lists/3
super class
Swedish Institute of Computer Science
symbol/1, symbol/1
symbol_option/1
symbol_result/1
syntax of regular types
syntax/1
system, system, system, system, system, system, system, system, system, system, system, system, system, system, system
system libraries, system libraries
system/1, system/1
system/2, system/2
system_lib/1, system_lib/1
tab/1, tab/1
tab/2, tab/2
table/1, table/1
table_widget1, table_widget1
table_widget2, table_widget2
table_widget3, table_widget3
table_widget4, table_widget4
tablewidget1/4, tablewidget1/4, tablewidget1/4
tablewidget1/5, tablewidget1/5, tablewidget1/5
tablewidget2/4, tablewidget2/4, tablewidget2/4, tablewidget2/4
tablewidget2/5, tablewidget2/5, tablewidget2/5
tablewidget3/4, tablewidget3/4, tablewidget3/4
tablewidget3/5, tablewidget3/5, tablewidget3/5
tablewidget4/4, tablewidget4/4, tablewidget4/4, tablewidget4/4
tablewidget4/5, tablewidget4/5, tablewidget4/5
tag_attrib/1
Tcl/tk interface, Tcl/tk interface
tcl_delete/1, tcl_delete/1
tcl_eval/3, tcl_eval/3
tcl_event/3, tcl_event/3
tcl_new/1, tcl_new/1
tclCommand/1, tclCommand/1
tclInterpreter/1, tclInterpreter/1
tcltk
tcltk/tcltk_low_level
tcltk_raw_code/2, tcltk_raw_code/2
tcsh
Technical University of Madrid
tell/1, tell/1
telling/1, telling/1
term/1, term/1
terms, terms, terms, terms
this_module/1, this_module/1
throw/1, throw/1
time/1, time/1, time/1
time_option/1
time_result/1
title/1, title/1
tk_event_loop/1, tk_event_loop/1
tk_loop/1, tk_loop/1
tk_new/2, tk_new/2
tk_new/4, tk_new/4
tk_next_event/2, tk_next_event/2
tokenize
told/0, told/0
top-level
top-level shell, starting, unix
top-level shell, starting, windows
topd/0, topd/0
toplev
toplevel
tour, of the manual
trace
trace/0, trace/0, trace/0
trace/1
transactional update
transient state
translate_arithmetic_function/5, translate_arithmetic_function/5
translate_comparison/5
translate_conjunction/5
translate_goal/5
translate_projection/3
translation_predname/1
transpose/2, transpose/2
triple/1
troubleshooting
true assertion
true/0, true/0, true/0
true/1, true/1
truncate/1, truncate/1
trust assertion
trust/1, trust/1, trust/1, trust/1
ttydisplay/1, ttydisplay/1
ttydisplay_string/1, ttydisplay_string/1
ttydisplayq/1, ttydisplayq/1
ttyflush/0, ttyflush/0
ttyget/1, ttyget/1
ttyget1/1, ttyget1/1
ttynl/0, ttynl/0
ttyout, ttyout
ttyput/1, ttyput/1
ttyskip/1, ttyskip/1
ttyskipeol/0, ttyskipeol/0
ttytab/1, ttytab/1
tuple at a time
tuple/1, tuple/1, tuple/1
tuples, tuples
type, type
type declarations
type/2, type/2
U. of Arizona
ugraph/1, ugraph/1
ugraph2term/2, ugraph2term/2
ugraphs
umask/2, umask/2
undo/1, undo/1
undo_force_lazy/1, undo_force_lazy/1
unify
unify_with_occurs_check/2, unify_with_occurs_check/2
UNION-operator
union/3, union/3
union_idlists/3, union_idlists/3
Unix/Linux machine
unload/1, unload/1
unlock_atom/1, unlock_atom/1
unmarshalling, unmarshalling
unzip
update/0, update/0, update/0
update_attribute/2, update_attribute/2
update_files/2, update_files/2, update_files/2, update_files/2
updated state
Updates to persistent predicates
UPM
url_info/2, url_info/2, url_info/2
url_info_relative/3, url_info_relative/3
url_query/2, url_query/2
url_term/1, url_term/1
usage
usage relationship
use_active_module
use_active_module/2, use_active_module/2
use_class/1, use_class/1, use_class/1, use_class/1, use_class/1, use_class/1, use_class/1, use_class/1, use_class/1, use_class/1, use_class/1
use_module
use_module/1, use_module/1, use_module/1, use_module/1, use_module/1, use_module/1, use_module/1, use_module/1, use_module/1, use_module/1, use_module/1, use_module/1, use_module/1, use_module/1, use_module/1
use_module/2, use_module/2, use_module/2
use_package/1, use_package/1, use_package/1, use_package/1, use_package/1
user module, user module
user modules, debugging
user setup
user/1, user/1, user/1
users mailing list
using alternate engines or libraries
valid_attributes/2, valid_attributes/2
valid_format/4, valid_format/4
valid_table/2, valid_table/2
valid_vectors/4, valid_vectors/4
value_dict/1, value_dict/1
var/1, var/1, var/1
variable names
variables occurring in several goals
variant/2, variant/2
varname/1, varname/1
varnamedict/1, varnamedict/1
varnamesl/1, varnamesl/1
varnamesl2dict/2, varnamesl2dict/2
vars_names_dict/3, vars_names_dict/3
varsbag/3, varsbag/3
varset/2, varset/2
vector/1, vector/1
vectors_format/4, vectors_format/4
verify_attribute/2, verify_attribute/2, verify_attribute/2, verify_attribute/2, verify_attribute/2, verify_attribute/2, verify_attribute/2
Veroniek Dumortier
vertices/2, vertices/2
vertices_edges_to_lgraph/3, vertices_edges_to_lgraph/3
vertices_edges_to_ugraph/3, vertices_edges_to_ugraph/3
vertices_edges_to_wgraph/3, vertices_edges_to_wgraph/3
views
virtual
virtual/1, virtual/1
virtual_method_spec/1, virtual_method_spec/1
vndict
wakeup_exp/1, wakeup_exp/1
WAM
warning/1
warning_message/1, warning_message/1
warning_message/2, warning_message/2
warning_message/3, warning_message/3
Web interface, Web interface
WebDB, WebDB, WebDB
weekday/1, weekday/1
wellformed_body/3, wellformed_body/3
when/2, when/2, when/2, when/2
WHERE-clause
WHERE-clauses
where/1, where/1
whitespace/2, whitespace/2
whitespace0/2, whitespace0/2
why the name Ciao
Win32
Win95/NT machine
windows shortcut
WinZip
Wlodek Drabent
working_directory/2, working_directory/2
write, write, write, write, write, write, write, write, write, write, write, write, write, write, write, write, write, write, write, write
write/1, write/1, write/1, write/1, write/1
write/2, write/2, write/2, write/2
write_answer/1
write_assertion/6, write_assertion/6
write_assertion_as_comment/6, write_assertion_as_comment/6
write_canonical/1, write_canonical/1
write_canonical/2, write_canonical/2
write_list1/1, write_list1/1
write_option/1, write_option/1, write_option/1
write_string/1, write_string/1
write_string/2, write_string/2
write_term/2, write_term/2
write_term/3, write_term/3
writeq/1, writeq/1, writeq/1
writeq/2, writeq/2
WWW browser
WWW, interfacing with
xbarelement1
xbarelement1/1, xbarelement1/1
xbarelement2/1, xbarelement2/1, xbarelement2/1, xbarelement2/1
xbarelement3/1
xbarelement4/1
xelement/1
XML, XML
xml2terms/2, xml2terms/2
yelement/1, yelement/1
|/2
~/.cshrc
~/.emacs, ~/.emacs
~/.profile
~/1
Go to the first, previous, next, last section, table of contents.