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
!/0, !/0
# /2
##/2
#>/2
$/1
$/2, $/2
$check_attr/3, $check_attr/3, $check_attr/3, $check_attr/3
$class$/1, $class$/1, $class$/1, $class$/1, $class$/1, $class$/1
$combine_attr/4, $combine_attr/4, $combine_attr/4, $combine_attr/4
$factsdb$cached_goal/3, $factsdb$cached_goal/3
$is_persistent/2, $is_persistent/2
$meta_call/1, $meta_call/1
$metachoice/1, $metachoice/1
$metacut/1, $metacut/1
$nodebug_call/1, $nodebug_call/1
&-Prolog, &-Prolog
&/2, &/2
'$xml_search_match/3
','/2
'<-'/1
'<-'/2
'persdb/ll', 'persdb/ll', 'persdb/ll', 'persdb/ll'
* /2
* projection
** /2
*/1, */1
*/2, */2, */2, */2, */2, */2
+ /1
+ /2
++ /1
+/1, +/1, +/1, +/1, +/1, +/1
+/2, +/2, +/2, +/2, +/2
,/2, ,/2
- /1
- /2
-- /1
-/1, -/1, -/1, -/1, -/1
-/2, -/2, -/2, -/2, -/2
->/2, ->/2
.&./2
../2
./2, ./2
.<./2
.<>./2
.=./2
.=<./2
.>./2
.>=./2
.ciaorc, .ciaorc, .ciaorc, .ciaorc, .ciaorc, .ciaorc, .ciaorc, .ciaorc
.emacs, .emacs, .emacs, .emacs
.tar files
/ /2
// /2
/\ /2
/bin/sh, /bin/sh
/bin/sh.exe, /bin/sh.exe
/etc/bashrc, /etc/bashrc
/etc/csh.cshrc, /etc/csh.cshrc
/etc/csh.login, /etc/csh.login
/etc/skel, /etc/skel
/usr/share/emacs/.../lisp/site-init.pl, /usr/share/emacs/.../lisp/site-init.pl
:#/2, :#/2, :#/2
::/2, ::/2, ::/2
:=/1
:=/2
:~/1
:~/2, :~/2, :~/2
;/2, ;/2
<#/2
<-/1, <-/1
<-/2, <-/2
</2, </2
<< /2
<=/2
<LIBROOT>/ciao/DOTcshrc
=../2, =../2
=/2, =/2
=:=/2, =:=/2
=</2, =</2
==/2, ==/2, ==/2
=>/1
=>/2, =>/2
=>/4, =>/4
=\=/2, =\=/2
>/2, >/2
>=/2, >=/2
>> /2
?/1, ?/1, ?/1, ?/1, ?/1, ?/1
?/2, ?/2, ?/2, ?/2
?=/2
?\=/2
@/1, @/1, @/1, @/1, @/1, @/1
@/2, @/2, @/2, @/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, ^/2, ^/2
a_string/1
abolish/1, abolish/1, abolish/1
abort
abort/0, 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
accepted_type/2, accepted_type/2
ACCLAIM
acknowledgments
acrobat reader, acrobat reader
action_widget/1, action_widget/1
action_widget/3, action_widget/3
active module, active module, active module
active modules, active modules
active object
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_environment_whitespace/3, add_environment_whitespace/3
add_goal_trans/1, add_goal_trans/1
add_indentation/3, add_indentation/3
add_preffix/3, add_preffix/3
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_suffix/3, add_suffix/3
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
adjust_debugger_state/2, adjust_debugger_state/2
aggr/1, aggr/1, aggr/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, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates
aggregation operations
aggregation predicates
alias_file/1, alias_file/1
all_values/2, all_values/2
AMOS
analyzer output, analyzer output
ancestors
anchor/1, anchor/1
andprolog/andprolog_rt
angle_start/1, angle_start/1
Anne Mulkers
answer variable, answer variable, answer variable
answertableterm/1, answertableterm/1, answertableterm/1
answertupleterm/1, answertupleterm/1
any_term/1, any_term/1
append/3, append/3, append/3
apropos/1, apropos/1
apropos_spec/1
aref/3, aref/3
arefa/3, arefa/3
arefl/3, arefl/3
arg/2, arg/2
arg/3, arg/3
arg_expander/6, arg_expander/6, arg_expander/6
argnames/1, argnames/1, argnames/1, argnames/1, argnames/1, argnames/1, argnames/1, argnames/1, argnames/1, argnames/1
argspec/1
arithexpression/1, arithexpression/1, arithexpression/1
arithmetic
arithmetic goal
arithmetic_functor/2, arithmetic_functor/2
array_to_list/2, array_to_list/2
ASAP
ASCII code
aset/4, aset/4
ask/2, ask/2
assert/1, assert/1, assert/1
assert/2, assert/2, assert/2
asserta/1, asserta/1, asserta/1
asserta/2, asserta/2, asserta/2
asserta_fact/1, asserta_fact/1, asserta_fact/1, asserta_fact/1, asserta_fact/1, asserta_fact/1, asserta_fact/1, 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/assrt_lib
assertions/c_itf_props
assertions/doc_props, assertions/doc_props
assertions/native_props
assertz/1, assertz/1, assertz/1
assertz/2, 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/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
at_least_one/4, at_least_one/4
at_least_one/5, at_least_one/5
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_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
atom_number/2, atom_number/2
Atomic goals
atomic/1, atomic/1
attach_attribute/2, attach_attribute/2
attribute
attributed variables
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
background_color/1, background_color/1
backup file
bagof/3, 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, bash, bash, bash, bash
basic_props:regtype/1
basictypes
benchmark/6, benchmark/6, benchmark/6, benchmark/6
benchmark2/6, benchmark2/6, benchmark2/6, benchmark2/6
between, between, between
between/3, between/3, between/3
bf
bf/af
binary directory
bind_socket/3, bind_socket/3
bind_socket_interface/1, bind_socket_interface/1
bltwish_interp/1, bltwish_interp/1
body/1
body_expander/6, body_expander/6, body_expander/6, body_expander/6
borderwidth_value/1, borderwidth_value/1
bound/1, bound/1
bound_double/1, bound_double/1
boundary_check/3, boundary_check/3
boundary_rotation_first/2, boundary_rotation_first/2
boundary_rotation_last/2, boundary_rotation_last/2
bounds/3, bounds/3
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
build_foreign_interface/1, build_foreign_interface/1, build_foreign_interface/1, build_foreign_interface/1
build_foreign_interface_explicit_decls/1
build_foreign_interface_explicit_decls/2, build_foreign_interface_explicit_decls/2
build_foreign_interface_object/1, build_foreign_interface_object/1
building standalone distributions
builtin directives, builtin directives
builtin modules
byte/1, byte/1
byte_list/1, byte_list/1, byte_list/1, byte_list/1
bytecode object files
C
C/3, C/3
c:/.emacs
c_assrt_body/1, c_assrt_body/1
c_itf
cache
call/1, call/1, call/1, call/1, call/1, call/1, call/1
call/2, call/2, call/2, call/2
call/N, call/N
call_graph/2, call_graph/2
call_in_module/2, call_in_module/2, call_in_module/2
call_unknown/1, call_unknown/1, call_unknown/1, call_unknown/1
callable/1, callable/1
Calling emacs, Calling emacs
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_item/1
canonic_xml_query/1
canonic_xml_subquery/1
canonic_xml_term/1, canonic_xml_term/1, canonic_xml_term/1, canonic_xml_term/1
canvas_class/0, canvas_class/0
canvas_class/1, canvas_class/1
case_insensitive_match/2, case_insensitive_match/2
cat/2, cat/2
cat_append/2, cat_append/2
catch/3, catch/3, catch/3, catch/3
cd/1, cd/1, cd/1, cd/1, cd/1, cd/1
ceiling/1
cell_value/1, cell_value/1, cell_value/1
center/2, center/2, center/2, center/2
certainty factor, certainty factor
CGI, CGI
CGI executables
char_code/2, 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/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
children_nodes/1, children_nodes/1
chmod/2, chmod/2, chmod/2, chmod/2
chmod/3, chmod/3, chmod/3, chmod/3
choose_free_var/2, choose_free_var/2
choose_value/2, choose_value/2
choose_var/3, choose_var/3
choose_var_nd/2, choose_var_nd/2
Christian Holzbauer
ciao, ciao, 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-shell, ciao-shell
ciao-users
ciao.el
ciao.reg, ciao.reg
ciao_client_rt, ciao_client_rt, ciao_client_rt, ciao_client_rt, ciao_client_rt, ciao_client_rt, ciao_client_rt, ciao_client_rt
ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, 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, ciaopp, ciaopp
ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh
ciaosh.cpx, ciaosh.cpx
class constructor
class instances
class$attr_template/4, class$attr_template/4, class$attr_template/4, class$attr_template/4, class$attr_template/4, class$attr_template/4
class$constructor/4, class$constructor/4, class$constructor/4, class$constructor/4, class$constructor/4, class$constructor/4
class$default_cons/1, class$default_cons/1, class$default_cons/1, class$default_cons/1, class$default_cons/1, class$default_cons/1
class$destructor/3, class$destructor/3, class$destructor/3, class$destructor/3, class$destructor/3, class$destructor/3
class$implements/2, class$implements/2, class$implements/2, class$implements/2, class$implements/2, class$implements/2
class$initial_state/3, class$initial_state/3, class$initial_state/3, class$initial_state/3, class$initial_state/3, class$initial_state/3
class$super/2, class$super/2, class$super/2, class$super/2, class$super/2, class$super/2
class$virtual/6, class$virtual/6, class$virtual/6, class$virtual/6, class$virtual/6, class$virtual/6
class/class_rt, class/class_rt, class/class_rt, class/class_rt, class/class_rt
class/virtual, class/virtual, class/virtual, class/virtual, class/virtual
class_name/1, class_name/1
class_source/1, class_source/1
clause/1
clause/2, clause/2, clause/2
clause/3, clause/3, clause/3
clauses/1
clearerr/1, clearerr/1
click_result/1
client installation
client.bat
CLIP group
clockfreq_result/1
close/1, close/1, close/1
close/2, close/2
close_client/0, close_client/0
close_DEF/5, close_DEF/5
close_EXTERNPROTO/6, close_EXTERNPROTO/6
close_file/1, close_file/1, close_file/1
close_input/1, close_input/1
close_node/5, close_node/5
close_nodeGut/4, close_nodeGut/4
close_output/1, close_output/1
close_predicate/1, close_predicate/1
close_PROTO/6, close_PROTO/6
close_Script/5, close_Script/5
closed, closed, closed, closed
clterm/1
code_class/2, code_class/2, code_class/2
collecting files which are modules
color/1, color/1, color/1
color/2, color/2
column_value/1, column_value/1
columnspan_value/1, columnspan_value/1
combine_attributes/2, combine_attributes/2, combine_attributes/2
command
command_button/1, command_button/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
compare_benchmark/7, compare_benchmark/7
compare_benchmark2/7, compare_benchmark2/7
comparison goal
comparison operations
comparison/2, comparison/2
compat/2, compat/2
compatibility properties
compatible
compile the whole Ciao distribution
compile/1, compile/1, compile/1, compile/1
compiler, compiler, compiler, compiler
compiler, standalone
compiler/c_itf, compiler/c_itf, compiler/c_itf
compiler/c_itf_internal
compiler/compiler, compiler/compiler, compiler/compiler, compiler/compiler, 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
compiling, Win32
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, compound/1
conc_aggregates
concurrency
concurrency/concurrency, concurrency/concurrency, concurrency/concurrency
concurrent, concurrent, concurrent, concurrent
concurrent attribute
concurrent predicate, concurrent predicate, concurrent predicate, concurrent predicate
concurrent predicates, concurrent predicates
concurrent updates, concurrent updates
concurrent/1, concurrent/1, concurrent/1, concurrent/1, concurrent/1, concurrent/1, concurrent/1, concurrent/1
configuration file
conjunctions
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
continue/3, continue/3
contributed libraries, contributed libraries
control
convert_atoms_to_string/2, convert_atoms_to_string/2
convert_permissions/4, convert_permissions/4
coord/2, coord/2
coord/4, coord/4, coord/4, coord/4
copy_args/3, copy_args/3
copy_file/2, copy_file/2, copy_file/2, copy_file/2
copy_files/2, copy_files/2
copy_files_rec/3, copy_files_rec/3
copy_stdout/1, copy_stdout/1
copy_term/2, copy_term/2
core/1, core/1
correct_commenting/4, correct_commenting/4
cos/1
cost/3, cost/3
counters
covered/1, covered/1
covered/2, covered/2
create_dict/2, create_dict/2
create_dictionaries/1, create_dictionaries/1
create_directed_field/5, create_directed_field/5
create_environment/4, create_environment/4
create_field/3, create_field/3
create_field/4, create_field/4
create_field/5, create_field/5
create_node/3, create_node/3
create_parse_structure/1, create_parse_structure/1
create_parse_structure/2, create_parse_structure/2
create_parse_structure/3, create_parse_structure/3
create_proto_element/3, create_proto_element/3
creation_bind/1, creation_bind/1
creation_menu_name/1, creation_menu_name/1
creation_options/1, creation_options/1, creation_options/1, creation_options/1
creation_options_entry/1, creation_options_entry/1
creation_position/1, creation_position/1
creation_position_grid/1, creation_position_grid/1
creep
cross_product/2, cross_product/2
csh, csh, csh, csh
csh-compatible shell, csh-compatible shell, csh-compatible shell
ctrlc_clean/1, ctrlc_clean/1
ctrlcclean
ctrlcclean/0, ctrlcclean/0
CUBICO
current input
current input stream, current input stream
current output stream, current output stream
current_atom/1, current_atom/1, current_atom/1
current_env/2, current_env/2, current_env/2, current_env/2
current_executable/1, current_executable/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/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_host/1, current_host/1
current_infixop/4, current_infixop/4
current_input/1, current_input/1, current_input/1
current_key/2, current_key/2, current_key/2
current_module/1, current_module/1
current_op/3, current_op/3, current_op/3, current_op/3, 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/1
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
cyg2win/3, cyg2win/3, cyg2win/3, cyg2win/3
Cygnus Win32
D.H.D. Warren
D.L. Bowen
Daniel Cabeza
data
data declaration
data file
data predicate, 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, data/1, data/1, data/1, data/1
data_facts:asserta_fact/1, data_facts:asserta_fact/1
data_facts:assertz_fact/1, data_facts:assertz_fact/1
data_facts:current_fact/1, data_facts:current_fact/1
data_facts:retract_fact/1, data_facts:retract_fact/1
Database aggregation functions
Database arithmetic expressions
Database arithmetic functions
Database calls to is/2
Database comparison goals
database comparison operator
database initialization
datime/1, datime/1, datime/1, datime/1
datime/9, datime/9, datime/9, datime/9
datime_atom/1, datime_atom/1
datime_atom/2, datime_atom/2
datime_string/1, datime_string/1
datime_string/2, datime_string/2
datime_struct/1, datime_struct/1, datime_struct/1, datime_struct/1
davinci/0, davinci/0
davinci_command/1
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_query/4
db_query_one_tuple/4
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
dbId/2, dbId/2
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
ddlist/1, ddlist/1
debug
debug options
debug/0, debug/0, debug/0
debug/1, debug/1
debug_goal/1, debug_goal/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
debugger/debugger_lib
debugging
debugging tools
debugging/0, debugging/0
dec10_io, dec10_io, dec10_io, dec10_io, dec10_io, dec10_io, dec10_io, dec10_io
dec_indentation/2, dec_indentation/2
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
decompose_field/3, decompose_field/3
DECsystem-10 Prolog User's Manual
deductive database
default
default constructor, default constructor
default_predicates
define_flag/3, define_flag/3, define_flag/3, define_flag/3, define_flag/3, define_flag/3, define_flag/3, define_flag/3, define_flag/3, define_flag/3
del_dir_if_empty/1, del_dir_if_empty/1
del_endings_nofail/2, del_endings_nofail/2
del_env/1, del_env/1, del_env/1, del_env/1
del_file_nofail/1, del_file_nofail/1
del_file_nofail/2, del_file_nofail/2
del_global/1, del_global/1
del_vertices/3, del_vertices/3
delaying predicate execution, delaying predicate execution
delete/1, delete/1
delete/2, delete/2
delete/3, delete/3, delete/3, delete/3, delete/3
delete_after/2, delete_after/2
delete_directory/1, delete_directory/1, delete_directory/1, delete_directory/1
delete_file/1, delete_file/1, delete_file/1, delete_file/1
delete_files/1, delete_files/1
delete_files_nofail/1, delete_files_nofail/1
delete_filess/1, delete_filess/1
delete_non_ground/3, delete_non_ground/3
delete_on_ctrlc/2, delete_on_ctrlc/2
delete_top/2, delete_top/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, destructor/0, destructor/0
det_hook/det_hook_rt
det_try/3, det_try/3
detach_attribute/1, detach_attribute/1
detcond/1, detcond/1
determinate goal
determinate/2, determinate/2
development environment, development environment, 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, dictionary/1, dictionary/1, dictionary/1, dictionary/1
dictionary/5, dictionary/5
dictionary/6, dictionary/6
dictionary_insert/5, dictionary_insert/5
dictionary_lookup/5, dictionary_lookup/5
difference/3, difference/3
directives
directory_files/2, directory_files/2, 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_list/1
display_string/1, display_string/1, display_string/1
display_term/1, display_term/1
displayq/1, displayq/1, displayq/1
displayq/2, displayq/2
distributed execution
div_times/2, div_times/2
dlgraph/1, dlgraph/1
dlgraph_to_lgraph/2, dlgraph_to_lgraph/2
dlist/3, dlist/3
do/2, do/2
do_interface/1, do_interface/1
do_not_free/2, 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
DOTemacs
downloading emacs, downloading emacs
downloading new versions, downloading new versions
downloading, latest versions
dvips, dvips
dyn_load_cfg_module_into_make/1, dyn_load_cfg_module_into_make/1
dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic
dynamic predicate
dynamic/1, dynamic/1, dynamic/1, dynamic/1, dynamic/1, dynamic/1
dynamic_search_path/1, dynamic_search_path/1
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, 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 setup
emacs mode, setting up, Win32
emacs server
emacs, download, 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_goal_id/1, eng_goal_id/1, eng_goal_id/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_self/1
eng_status/0, eng_status/0
eng_wait/1, eng_wait/1, eng_wait/1, eng_wait/1
engine
engine directory, engine directory
engine module
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, ensure_loaded/1, ensure_loaded/1, ensure_loaded/1
ensure_loaded/2, ensure_loaded/2
entry assertion
entry/1, entry/1, entry/1, entry/1, entry/1
environment variable
environment variable definitions, environment variable definitions
environment variables
environment variables, setup
environment/1, environment/1
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, errhandle
error term
error/1, 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
error_vrml/1, error_vrml/1
etags/2, etags/2
etagss/2, etagss/2
etc, etc
etc(xfrefs)
etc(xmrefs)
eval/1, eval/1
evaluable functors
event_type_widget/1, event_type_widget/1
examples, examples, examples, examples
examples/webbased_server/webbased_server.pl
exceptions
exec/3, exec/3, exec/3, exec/3
exec/4, exec/4, exec/4, exec/4, exec/4
executable
executables
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
expand_value/1, expand_value/1, expand_value/1, expand_value/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
extra_compiler_options
extra_compiler_opts/1
extra_compiler_opts/2
extra_linker_options/1
extra_linker_opts/1
extra_linker_opts/2
extract_paths/2, extract_paths/2, extract_paths/2, extract_paths/2
F.C.N. Pereira
facts, facts, facts, facts, facts
facts/2
factsdb
factsdb_rt
faggregator/1, faggregator/1
fail
fail/0, fail/0
fails/1, fails/1
false assertion
false/0, false/0
false/1, false/1
fast_read/1, fast_read/1, fast_read/1, fast_read/1, fast_read/1, fast_read/1
fast_read/2, fast_read/2, fast_read/2, fast_read/2, fast_read/2, fast_read/2
fast_write/1, fast_write/1, fast_write/1
fast_write/2, fast_write/2, fast_write/2
fast_write_to_string/3, fast_write_to_string/3
fastrw, fastrw, fastrw
fd_item/1, fd_item/1
fd_range/1, fd_range/1
fd_store/1, fd_store/1
fd_store_entity/1, fd_store_entity/1
fd_subrange/1, fd_subrange/1
feature terms, feature terms, feature terms, feature terms
fetch_url/3, fetch_url/3
field_Id/1, field_Id/1
fieldType/1, fieldType/1
fieldValue/6, fieldValue/6
fieldValue_check/8, fieldValue_check/8
file_alias
file_alias/2, file_alias/2, file_alias/2, file_alias/2, file_alias/2, file_alias/2
file_exists/1, file_exists/1, file_exists/1, file_exists/1
file_exists/2, file_exists/2, 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_properties/6, file_properties/6
file_property/2, file_property/2, 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
file_utils
filed predicate
fileerrors/0, fileerrors/0
fileinfo
filenames, filenames, filenames, filenames, filenames
fill_type/1, fill_type/1, fill_type/1, fill_type/1
fillout/4, fillout/4
fillout/5, fillout/5
filter_alist_pattern/3, filter_alist_pattern/3
filter_dirs/3, filter_dirs/3
find_name/4, find_name/4
findall/3, findall/3, findall/3, findall/3, findall/3, findall/3, findall/3, findall/3
findall/4, findall/4, findall/4
findnsols/4, findnsols/4, findnsols/4, findnsols/4
findnsols/5, findnsols/5, findnsols/5
finite_solutions/1, finite_solutions/1
first-timers
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, fmode/2, fmode/2
fnot/1, fnot/1, fnot/1
foldl/4, foldl/4
font_type/1, font_type/1, font_type/1, font_type/1
footer/1, footer/1
force_lazy/1, force_lazy/1, force_lazy/1, force_lazy/1
foreground_color/1, foreground_color/1
foreign/1, foreign/1, foreign/1
foreign/2, foreign/2, foreign/2
foreign_compilation
foreign_inline/2
foreign_interface/foreign_interface_properties
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, format, format, format, format, format, format
format/2, format/2, format/2
format/3, format/3, format/3
format_control/1, format_control/1, format_control/1
formatting commands
formatting/2, formatting/2
forward/2, forward/2
Francisco Bueno
free variable
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, functions, functions, functions
functor of a goal
functor/3, functor/3
fuzzy/1, fuzzy/1, fuzzy/1
fuzzy_discrete/1
fuzzy_predicate/1, fuzzy_predicate/1, fuzzy_predicate/1
fuzzybody/1, fuzzybody/1
g_assrt_body/1, g_assrt_body/1
garbage collection, garbage collection
garbage_collect/0, garbage_collect/0, garbage_collect/0
garbage_collection_option/1
gc/0, gc/0
gc_result/1
gcc, gcc
gcd/2
genbar1, genbar1, genbar1
genbar2, genbar2, genbar2
genbar3, genbar3, genbar3
genbar4, genbar4, genbar4
generate_plot/2, generate_plot/2, generate_plot/2
generate_plot/3, generate_plot/3, generate_plot/3
generator/2, generator/2
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/1
get_byte/2, get_byte/2, get_byte/2, get_byte/2
get_char/1, get_char/1, get_char/1
get_char/2, get_char/2, 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_definition_dictionary/2, get_definition_dictionary/2
get_dictionaries/2, get_dictionaries/2
get_dirs/2, get_dirs/2
get_environment/2, get_environment/2
get_environment_name/2, get_environment_name/2
get_environment_type/2, get_environment_type/2
get_first_parsed/3, get_first_parsed/3
get_form_input/1, get_form_input/1, get_form_input/1
get_form_value/3, get_form_value/3
get_general_options/1, get_general_options/1, get_general_options/1
get_global/2, get_global/2
get_indentation/2, get_indentation/2
get_line/1, get_line/1
get_line/2, get_line/2
get_os/1, get_os/1
get_parsed/2, get_parsed/2
get_pid/1, get_pid/1, get_pid/1, get_pid/1
get_primes/2, get_primes/2
get_prototype_definition/2, get_prototype_definition/2
get_prototype_dictionary/2, get_prototype_dictionary/2
get_prototype_interface/2, get_prototype_interface/2
get_rec_dirs/2, get_rec_dirs/2
get_rec_dirs/3, get_rec_dirs/3
get_rec_dirs/4, get_rec_dirs/4
get_row_number/2, get_row_number/2
get_stream/2, get_stream/2
get_type/2, get_type/2
getcounter/2, getcounter/2
getct/2, getct/2
getct1/2, getct1/2
getenvstr/2, getenvstr/2, getenvstr/2, getenvstr/2
ghostview, ghostview, ghostview
glb/2, glb/2
global variables, global variables
gmake, gmake, gmake
gmax/3
gnd/1, gnd/1
GNU
GNU emacs, GNU emacs
GNU General Public License, GNU General Public License
GNU make
gnuplot, gnuplot, gnuplot, gnuplot
gnuplot/gnuplot
go/1, go/1
go/2, go/2
Goal, Goal
goal_id/1, goal_id/1, goal_id/1, goal_id/1
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, graphs/ugraphs
ground/1, ground/1, ground/1, ground/1
gunzip, gunzip
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
hash
hash_term/2, hash_term/2
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
height/1, height/1, height/1, height/1
height_value/1, height_value/1
hello, hello
help, help, help, help, help
help, unix
help, windows
hide_/0, hide_/0
hide_shape/1, hide_shape/1
higher-order library, higher-order library
highlight_color/1, highlight_color/1
highlightbackground_color/1, highlightbackground_color/1
hiordlib
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/2, icon_address/2, icon_address/2
identifier of a location, identifier of a location
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/2
in_noblock/1, in_noblock/1
in_stream/2, in_stream/2
inc_indentation/2, inc_indentation/2
inccounter/2, inccounter/2
include/1, include/1, include/1, include/1
indentation_list/2, indentation_list/2
indep/1, indep/1, indep/1, indep/1
indep/2, indep/2, indep/2, indep/2, indep/2, indep/2
independent
index/1
indexer
indexspecs/1
info, info, info, info, info, info
INFOPATH
inform_user/1, inform_user/1
inherit_class/1, inherit_class/1
inheritable interface
inheritable/1, inheritable/1
inheritance relationship
inherited/1, inherited/1
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/3, insert/3
insert_after/3, insert_after/3
insert_comments_in_beginning/3, insert_comments_in_beginning/3
insert_last/3, insert_last/3
insert_parsed/3, insert_parsed/3
insert_top/3, insert_top/3
inside_proto/1, inside_proto/1
installation, installation
installation, checking the
installation, Mac OS X, full instructions
installation, Mac OS X, summary
installation, network based
installation, Un*x, full instructions
installation, Un*x, summary
installation, Windows clients
installation, Windows server
installation, Windows, from binaries
installation, Windows, from sources
instance/2, 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
interpret_compiled_goal/2, interpret_compiled_goal/2
interpret_goal/2, interpret_goal/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_alias_redirection
io_aux
io_mode/1, io_mode/1
is/2, is/2, is/2, is/2, is/2, is/2, is/2
is_array/1, is_array/1
is_connected_to_java/0, is_connected_to_java/0
is_det/1, is_det/1
is_dictionaries/1, is_dictionaries/1
iso, iso
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_byte_char, iso_byte_char, iso_byte_char, iso_byte_char, iso_byte_char, iso_byte_char, iso_byte_char, iso_byte_char, iso_byte_char, iso_byte_char, iso_byte_char, iso_byte_char, iso_byte_char, iso_byte_char, iso_byte_char, 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_incomplete, iso_incomplete, iso_incomplete
iso_misc, iso_misc, iso_misc, iso_misc, iso_misc, iso_misc, iso_misc, iso_misc, iso_misc, iso_misc, 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 event handling from Prolog
Java exception handling from Prolog
Java interface, Java interface
Java to Prolog interface
java_add_listener/3, java_add_listener/3
java_connect/2, java_connect/2
java_constructor/1, java_constructor/1
java_create_object/2, java_create_object/2
java_debug/1, java_debug/1
java_debug_redo/1, java_debug_redo/1
java_delete_object/1, java_delete_object/1
java_disconnect/0, java_disconnect/0
java_event/1, java_event/1
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_query/2, java_query/2
java_remove_listener/3, java_remove_listener/3
java_response/2, java_response/2
java_set_value/2, java_set_value/2
java_start/0, java_start/0
java_start/1, java_start/1
java_start/2, java_start/2
java_stop/0, java_stop/0
java_use_module/1, java_use_module/1
javall/javasock, javall/javasock
javall/jtopl
javart
Johan Widen
John Gallagher
join_socket_interface/0, join_socket_interface/0
jtopl
justify_entry/1, justify_entry/1
justify_text/1, justify_text/1
K.U. Leuven
Kalyan Muthukumar
Kevin Greene
keyboard
keylist/1, keylist/1, keylist/1
keypair/1
keysort/2, keysort/2, keysort/2
keyword/1, keyword/1
Kim Marriott
L. Byrd
L.M. Pereira
label_value/1, label_value/1, label_value/1, label_value/1
labeling/1, labeling/1
last/2, last/2, last/2
latex, latex
leap
leash/1, leash/1, leash/1
length/2, length/2, length/2, length/2, length/2
length_next/2, length_next/2
length_prev/2, length_prev/2
letter_match/2, letter_match/2
lgraph/1
lgraph/2, lgraph/2
lib library, lib library
libpaths
libraries used
library directory
library('xrefs/mrefs')
library('xrefs/pxrefs')
library(basicmodes)
library(iso_byte_char)
library(isomodes), library(isomodes), library(isomodes)
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.
Linux
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_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, 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, lists
llists
load_compilation_module/1, load_compilation_module/1, load_compilation_module/1, load_compilation_module/1
loading mode
loading programs, loading programs
location/1
lock_atom/1, lock_atom/1
lock_file/3, lock_file/3
log/1
LogIn
look_ahead/3, look_ahead/3
look_first_parsed/2, look_first_parsed/2
lookup_check_field/6, lookup_check_field/6
lookup_check_interface_fieldValue/8, lookup_check_interface_fieldValue/8
lookup_check_node/4, lookup_check_node/4
lookup_field/4, lookup_field/4
lookup_field_access/4, lookup_field_access/4
lookup_fieldTypeId/1, lookup_fieldTypeId/1
lookup_get_fieldType/4, lookup_get_fieldType/4
lookup_route/5, lookup_route/5
lookup_set_def/3, lookup_set_def/3
lookup_set_extern_prototype/4, lookup_set_extern_prototype/4
lookup_set_prototype/4, lookup_set_prototype/4
LPdoc
lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc
lpmake, lpmake, lpmake, lpmake, lpmake, lpmake, lpmake, lpmake, lpmake, lpmake, lpmake, lpmake, lpmake, lpmake, lpmake, lpmake, lpmake, lpmake, lpmake, lpmake, lpmake
lpmake autodocumentation
ls/2, ls/2
ls/3, ls/3
lss/3, lss/3
lss/4, lss/4
lss/6, lss/6
lub/2, lub/2
Mac OS X, Mac OS X, Mac OS X
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, make, make, make, make, make, make, make, make, make, make, make, make, make, make, make
make/1, make/1
make/make_rt
make_actmod/2, make_actmod/2, make_actmod/2
make_directory/1, make_directory/1, make_directory/1, make_directory/1
make_directory/2, make_directory/2, make_directory/2, make_directory/2
make_dirpath/1, make_dirpath/1, make_dirpath/1, make_dirpath/1
make_dirpath/2, make_dirpath/2, make_dirpath/2, make_dirpath/2
make_exec/2, make_exec/2, make_exec/2, make_exec/2
make_option/1, make_option/1
make_persistent/2, make_persistent/2, make_persistent/2
make_po/1, make_po/1, 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, Makefile, Makefile, Makefile, Makefile, Makefile
Makefile.pl, Makefile.pl, Makefile.pl
man
MANPATH
manual, printing, manual, printing, manual, printing, manual, printing
manual, tour
manuals
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
Mats Carlsson, Mats Carlsson, Mats Carlsson
mattr_global/mattr_global_code, mattr_global/mattr_global_code
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
menu_data/1, menu_data/1
menu_name/1, menu_name/1, menu_name/1, menu_name/1
merge/3, merge/3
merge_tree/2, merge_tree/2
message/1, message/1, message/1
message/2, message/2, message/2, message/2
message_lns/4, message_lns/4
messages, messages, messages, messages, messages, messages
meta_predicate/1, meta_predicate/1
metaspec/1
method_spec/1, method_spec/1
mfstringValue/5, mfstringValue/5
mfstringValue/7, mfstringValue/7
MICYT
minimum/3, minimum/3
mkf-CIAOARCH
mktemp/2, mktemp/2, mktemp/2, mktemp/2
mod/2
mod_tester/2
mode, mode, mode, mode
mode
mode spec
mode_of_module/2, mode_of_module/2
modedef/1, modedef/1, modedef/1, modedef/1, modedef/1
modes, modes
modif_time/2, modif_time/2, modif_time/2, modif_time/2, modif_time/2
modif_time0/2, modif_time0/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
module_of/2, module_of/2
modulename/1
modules, active
modules_tester/2, modules_tester/2
Monash U.
month/1, month/1
most_general_instance/3, most_general_instance/3
most_specific_generalization/3, most_specific_generalization/3
move_file/2, move_file/2
move_files/2, move_files/2
mshare/1, mshare/1
multi-evaluated
multiarchitecture support
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
multifile:alias_file/1
multpredspec/1
mut_exclusive/1, mut_exclusive/1
my_url/1, my_url/1
mysql_connect/5, mysql_connect/5
mysql_disconnect/1, mysql_disconnect/1, mysql_disconnect/1
mysql_fetch/2, mysql_fetch/2
mysql_free_query_connection/1, mysql_free_query_connection/1
mysql_get_tables/2, mysql_get_tables/2
mysql_query/3, mysql_query/3
mysql_query_one_tuple/3, mysql_query_one_tuple/3
mysql_table_types/3, mysql_table_types/3
n_assrt_body/5, n_assrt_body/5, n_assrt_body/5
nabody/1, nabody/1
Name, Name, Name
name of a location
name server
name/2, name/2, name/2
name_menu/1, name_menu/1
Naming term aguments
native/1, native/1, native/1, native/1
native/2, native/2, native/2, native/2
negated comparison goal
negated database goal
negated goals
negated_comparison/2
negations
neighbors/3, neighbors/3
netscape, netscape
New Mexico State University
new/2, new/2, new/2, new/2, new/2, new/2, new/2, new/2, new/2
new_array/1, new_array/1
new_atom/1, new_atom/1, new_atom/1
new_declaration/1, new_declaration/1
new_declaration/2, new_declaration/2
new_interp/1, new_interp/1, new_interp/1, new_interp/1
new_interp/2, new_interp/2
new_interp_file/2, new_interp_file/2
next/2, next/2
nl/0, nl/0
nl/1, nl/1
nnegint/1, nnegint/1
no_path_file_name/2, no_path_file_name/2
no_tr_nl/2, no_tr_nl/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
nodeDeclaration/4, nodeDeclaration/4, nodeDeclaration/4, nodeDeclaration/4
nofileerrors/0, nofileerrors/0
nogc/0, nogc/0
non_det/1, non_det/1
nonground/1, nonground/1
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/1
note_message/1, note_message/1
note_message/2, note_message/2
note_message/3, note_message/3
notrace/0, notrace/0
ntemacs, ntemacs
nth/3, nth/3, nth/3
null/1, null/1
null_dict/1, null_dict/1
null_list/1, null_list/1
num/1, num/1
number/1, number/1
number_chars/2, 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, numbervars/3
numlist/1, numlist/1
object
object oriented programming, object oriented programming
objects/objects_rt, objects/objects_rt, objects/objects_rt, objects/objects_rt, objects/objects_rt, objects/objects_rt, objects/objects_rt, objects/objects_rt, objects/objects_rt, objects/objects_rt, objects/objects_rt, objects/objects_rt, objects/objects_rt, objects/objects_rt, objects/objects_rt, objects/objects_rt, objects/objects_rt, objects/objects_rt, objects/objects_rt
old_database, old_database, old_database, old_database, old_database
on_abort/1
once/1, once/1, once/1, once/1
op/3, op/3, op/3, op/3, op/3
open/3, open/3, open/3, open/3
open/4, open/4, open/4, open/4, open/4
open_client/2, open_client/2
open_DEF/5, open_DEF/5
open_EXTERNPROTO/5, open_EXTERNPROTO/5
open_input/2, open_input/2
open_node/6, open_node/6
open_null_stream/1, open_null_stream/1
open_option_list/1, open_option_list/1, open_option_list/1
open_output/2, open_output/2
open_predicate/1, open_predicate/1
open_PROTO/4, open_PROTO/4
open_Script/5, open_Script/5
operations file
operator table
operator_specifier/1, operator_specifier/1
operators, operators, operators, operators, operators, operators, operators, operators, operators, operators, operators, operators, operators, operators, operators, operators, operators
option/1, option/1
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
otherwise/0, otherwise/0
out/1, out/1, out/1, out/1, out/1, out/1
out/2, out/2
out/3, out/3
out_stream/2, out_stream/2
outline_color/1, outline_color/1, outline_color/1, outline_color/1
output_error/1, output_error/1
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
padx_value/1, padx_value/1, padx_value/1, padx_value/1
pady_value/1, pady_value/1, pady_value/1, pady_value/1
pair/1
parallel programming, parallel programming
parallel Prolog
parallelizing compiler
parametric type functor
PARFORCE
parse/1, parse/1, parse/1, parse/1
parse_term/3, parse_term/3
parser/2, parser/2
passerta_fact/1, passerta_fact/1, passerta_fact/1
passertz_fact/1, passertz_fact/1, passertz_fact/1
passwd/1, passwd/1, passwd/1
PATH
path, path, path
path alias, path alias, path alias, path alias, path alias, path alias, path alias, path alias
path aliases
path/1, path/1
pattern/1, pattern/1, pattern/1, pattern/1
pattern/2, pattern/2
patterns, patterns, patterns, patterns
Paulo Moura
pause/1, pause/1, pause/1, pause/1
Pawel Pietrzak
Pedro Lopez
peek_byte/1, peek_byte/1, peek_byte/1
peek_byte/2, peek_byte/2, peek_byte/2, peek_byte/2
peek_char/1, peek_char/1, peek_char/1
peek_char/2, peek_char/2, peek_char/2
peek_code/1, peek_code/1, peek_code/1
peek_code/2, 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
performance/3, performance/3
persdb, persdb, persdb, persdb, persdb, persdb, persdb, persdb, persdb, persdb
persdb/persdbcache, persdb/persdbcache
persdb_mysql/db_client_types, persdb_mysql/db_client_types
persdb_mysql/delete_compiler/pl2sqldelete
persdb_mysql/mysql_client
persdb_mysql/pl2sql
persdb_sql, persdb_sql
persdb_sql_common/pl2sqlinsert
persdb_sql_common/sqltypes, persdb_sql_common/sqltypes
persdbrt
persistence set
persistent, persistent, persistent, persistent
persistent predicate
Persistent predicate, Persistent predicate
persistent predicates, persistent predicates
persistent storage
persistent/2, persistent/2, persistent/2
persistent_dir
persistent_dir/2, persistent_dir/2, persistent_dir/2, persistent_dir/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
PiLLoW on-line tutorial
pillow.pl
pillow/html, pillow/html, pillow/html
pillow/http, pillow/http, pillow/http
pillow/http_ll
pillow/pillow_aux, pillow/pillow_aux
pillow/pillow_types, pillow/pillow_types, pillow/pillow_types
pitm/2, pitm/2
pkunzip
pl2sql, pl2sql, pl2sql, pl2sql
pl2sqlInsert/2, pl2sqlInsert/2
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/2, point/2
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/3, popen/3
popen_mode/1, popen_mode/1, popen_mode/1, popen_mode/1
portray/1, portray/1, portray/1
portray_attribute/2, portray_attribute/2, portray_attribute/2, portray_attribute/2
portray_clause/1, portray_clause/1, portray_clause/1
portray_clause/2, portray_clause/2, portray_clause/2, portray_clause/2
positive database goal
Posix threads
possibly_fails/1, possibly_fails/1
possibly_nondet/1, possibly_nondet/1
postgres2sqltype/2, postgres2sqltype/2
postgres2sqltypes_list/2, postgres2sqltypes_list/2
postgrestype/1, postgrestype/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
pred_tester/2, pred_tester/2
predfunctor/1, predfunctor/1
predicate declarations
predicate spec
predicate spec
predicate_property/2, predicate_property/2, predicate_property/2
predname/1, predname/1, predname/1
preprocessor, preprocessor
pretract_fact/1, pretract_fact/1, pretract_fact/1
pretractall/1
pretractall_fact/1, pretractall_fact/1
pretty_print/2, pretty_print/2
pretty_print/3, pretty_print/3
prettyvars/1, prettyvars/1, prettyvars/1
prev/2, prev/2
print
print/1, print/1, print/1, print/1
print/2, print/2, print/2
printable_char/1, printable_char/1, printable_char/1
printdepth
printing assertion information
printing code-related information
printing, manual, printing, manual, printing, manual, printing, manual
Procedure Box
program assertions
program development tools
programming environment, programming environment
project files
projterm/1, projterm/1, projterm/1
prolog flag, prolog flag, prolog flag, prolog flag, prolog flag, prolog flag
Prolog predicate argument positions
Prolog predicate names
Prolog scripts, Prolog scripts
Prolog server, Prolog server, Prolog server
Prolog shell
Prolog shell scripts
Prolog to Java Interface Structure
Prolog to Java Interface Structure. Java side
Prolog to Java Interface Structure. Prolog side
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_predicate/N
prolog_query/2, prolog_query/2
prolog_response/2, prolog_response/2
prolog_server/0, prolog_server/0
prolog_server/1, prolog_server/1
prolog_server/2, prolog_server/2
prolog_sys, prolog_sys, prolog_sys, prolog_sys, prolog_sys, prolog_sys, prolog_sys, prolog_sys, prolog_sys, prolog_sys, 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
properties of computations
properties of execution states
properties, basic
properties, native
property
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
providing information to the compiler, providing information to the compiler
ProVRML
provrml/boundary, provrml/boundary
provrml/dictionary
provrml/dictionary_tree, provrml/dictionary_tree
provrml/error, provrml/error, provrml/error, provrml/error, provrml/error, provrml/error, provrml/error
provrml/field_type
provrml/field_value, provrml/field_value, provrml/field_value
provrml/field_value_check, provrml/field_value_check
provrml/generator, provrml/generator
provrml/generator_util, provrml/generator_util, provrml/generator_util
provrml/internal_types, provrml/internal_types, provrml/internal_types, provrml/internal_types, provrml/internal_types, provrml/internal_types
provrml/io, provrml/io, provrml/io, provrml/io, provrml/io
provrml/lookup, provrml/lookup, provrml/lookup
provrml/parser, provrml/parser, provrml/parser
provrml/parser_util, provrml/parser_util, provrml/parser_util, provrml/parser_util, provrml/parser_util, provrml/parser_util
provrml/possible
provrml/tokeniser, provrml/tokeniser
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_dictionaries/3, push_dictionaries/3
push_global/2, push_global/2
push_prolog_flag/2, push_prolog_flag/2, push_prolog_flag/2
push_whitespace/3, push_whitespace/3
put_byte/1, put_byte/1, put_byte/1
put_byte/2, put_byte/2, put_byte/2, put_byte/2
put_char/1, put_char/1, put_char/1
put_char/2, put_char/2, put_char/2
put_code/1, put_code/1, put_code/1
put_code/2, put_code/2, put_code/2
putbyte/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
query_requests/2, query_requests/2
query_solutions/2, query_solutions/2
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
reachability/4, reachability/4
read, read, read, read, read, read, read, read, read, read, read, read, read, read, read, read, read, read, read, read, read, read, read, read, read, read, read, read, read
read/1, read/1, read/1, read/1
read/2, read/2, read/2, read/2, read/2, read/2
read_option/1, read_option/1
read_page/2
read_term/2, read_term/2, read_term/2, read_term/2
read_term/3, read_term/3, read_term/3, read_term/3, read_term/3, read_term/3
read_term/[2,3]
read_terms_file/2, read_terms_file/2
read_top_level/3, read_top_level/3, read_top_level/3
read_vrml_file/2, read_vrml_file/2
readf/2, readf/2
reading/4, reading/4
reading/5, reading/5
reading/6, reading/6
rebuild_foreign_interface/1, rebuild_foreign_interface/1
rebuild_foreign_interface_explicit_decls/2, rebuild_foreign_interface_explicit_decls/2
rebuild_foreign_interface_object/1, rebuild_foreign_interface_object/1
receive_confirm/2, receive_confirm/2
receive_event/2, receive_event/2
receive_list/2, receive_list/2
receive_result/2, receive_result/2
recorda/3, recorda/3, recorda/3
recorded/3, recorded/3, recorded/3
records, records, records, records
recordz/3, recordz/3, recordz/3
recursive level, recursive level
redefined
redefining/1
RedHat 5.0
reduce_indentation/3, reduce_indentation/3
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
regular expresions
regular expressions
regular type
regular type abstractions
regular type definitions
regular type expression
regular types
relation name
relational databases
relief_type/1, relief_type/1
rem/2
remote/ciao_client_rt
remove_code/3, remove_code/3
remove_comments/4, remove_comments/4
rename/2, rename/2
rename_file/2, rename_file/2, rename_file/2, rename_file/2, rename_file/2, rename_file/2
repeat/0, repeat/0
replace_strings_in_file/3, replace_strings_in_file/3
reporting bugs, reporting bugs, reporting bugs
reserved_words/1, reserved_words/1
retract/1, 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/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/1
retractall_fact/1, retractall_fact/1, retractall_fact/1, retractall_fact/1, retractall_fact/1
retrieve_list_of_values/2, retrieve_list_of_values/2
retrieve_range/2, retrieve_range/2
retrieve_store/2, retrieve_store/2
retry
returns/2, returns/2
reverse/2, reverse/2, reverse/2
reverse/3, reverse/3
reverse_parsed/2, reverse_parsed/2
rewind/2, rewind/2
Roger Nasr, Roger Nasr
rooted_subgraph/3, rooted_subgraph/3
round/1
row/1, row/1
row_value/1, row_value/1
rowspan_value/1, rowspan_value/1
run-time checks
run-time libraries
run_tester/10, run_tester/10, run_tester/10
running programs, running programs, running programs, running programs
running_queries/2, running_queries/2
s_assrt_body/1, s_assrt_body/1
safe_write/2, safe_write/2
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, scripts, scripts
second_prompt/2, second_prompt/2, second_prompt/2
see/1, see/1, see/1
seeing/1, seeing/1, seeing/1
seen/0, seen/0, seen/0
Seif Haridi
select/3, select/3, select/3
select_socket/5, select_socket/5
self/1, self/1
semantic analisys
semaphore, semaphore
send_term/2, send_term/2
sequence/2, sequence/2
sequence_or_list/2, sequence_or_list/2
serve_socket/3, serve_socket/3
server_notrace/1, server_notrace/1
server_stop/1, server_stop/1
server_trace/1, server_trace/1
set_action/1, set_action/1
set_cookie/2, set_cookie/2
set_debug_mode/1, set_debug_mode/1, set_debug_mode/1, set_debug_mode/1, set_debug_mode/1
set_debug_module/1, set_debug_module/1
set_debug_module_source/1, set_debug_module_source/1
set_env/2, set_env/2, set_env/2, set_env/2
set_environment/3, set_environment/3
set_fact/1, set_fact/1
set_general_options/1, set_general_options/1, set_general_options/1
set_global/2, set_global/2
set_input/1, set_input/1
set_name/1, set_name/1
set_nodebug_mode/1, set_nodebug_mode/1, set_nodebug_mode/1, set_nodebug_mode/1, set_nodebug_mode/1
set_nodebug_module/1, set_nodebug_module/1
set_output/1, set_output/1
set_parsed/3, set_parsed/3
set_perms/2, set_perms/2
set_prolog_flag/1
set_prolog_flag/2, set_prolog_flag/2, set_prolog_flag/2
set_stream/3, set_stream/3
setarg/3, setarg/3
setcounter/2, setcounter/2
setenvstr/2, setenvstr/2, setenvstr/2, setenvstr/2
setof/3, setof/3, setof/3, setof/3, setof/3, setof/3, setof/3
setproduct/3, setproduct/3
sets, sets, sets, sets, sets, sets, sets
SETTINGS, SETTINGS, SETTINGS, SETTINGS, SETTINGS, SETTINGS
sh, sh, sh, sh
sh-compatible shell, sh-compatible shell, sh-compatible shell
shape/1, shape/1
sharing sets
shell
shell scripts
shell/0, shell/0, shell/0, shell/0
shell/1, shell/1, shell/1, shell/1
shell/2, shell/2, shell/2, shell/2
shell/n
shell_s/0, shell_s/0
shortcut, windows
show/0, show/0
show_shape/1, show_shape/1
shutdown_type/1, shutdown_type/1
SICS
SICStus Prolog
side_type/1, side_type/1, side_type/1, side_type/1
sideff/2, sideff/2
sign/1
simple_client.pl
simple_message/1, simple_message/1
simple_message/2, simple_message/2
sin/1
site-specific programs
size/1, size/1
size_lb/2, size_lb/2
size_of/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
skip_line/0, skip_line/0
skip_line/1, skip_line/1
SmallerThan(X, Y)
smooth/1, smooth/1
Socket implementation
Socket interface, Socket interface
socket_accept/2, socket_accept/2
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_shutdown/2, socket_shutdown/2
socket_type/1, socket_type/1
socketname/1, socketname/1, socketname/1
sockets
sockets/sockets, sockets/sockets, sockets/sockets, sockets/sockets, sockets/sockets
sockets/sockets_c
sockets/sockets_io
Solaris
sort, sort, sort, sort, sort, sort, sort, sort, sort, sort, sort, sort, sort, sort, sort, sort, sort
sort/2, sort/2, sort/2
sort_dict/2, sort_dict/2
source directory
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 query, SQL query, SQL query
SQL server
SQL table names
SQL tables, SQL tables
SQL-like database interface, SQL-like database interface
sql__attribute/4, sql__attribute/4, sql__attribute/4, sql__attribute/4, sql__attribute/4, sql__attribute/4, sql__attribute/4
sql__relation/3, sql__relation/3, sql__relation/3, sql__relation/3, sql__relation/3, sql__relation/3
sql_get_tables/2, sql_get_tables/2
sql_goal_tr/2, sql_goal_tr/2
sql_persistent/3, sql_persistent/3, sql_persistent/3, sql_persistent/3, sql_persistent/3, sql_persistent/3, sql_persistent/3, sql_persistent/3
sql_persistent_location
sql_persistent_location/2, sql_persistent_location/2
sql_persistent_tr/2, sql_persistent_tr/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, sqlstring/1, sqlstring/1
sqlterm2string/2, sqlterm2string/2
sqltype/1, sqltype/1, sqltype/1, sqltype/1, sqltype/1
sqltypes, sqltypes
sqrt/1
srandom/1, srandom/1
standalone compiler, standalone compiler, standalone compiler
standalone utilities, standalone utilities
standard total ordering
start_socket_interface/2, start_socket_interface/2
start_threads/0, start_threads/0
start_vrmlScene/4, start_vrmlScene/4
statistics/0, statistics/0, statistics/0
statistics/2, statistics/2, statistics/2
status, this manual
steps/2, steps/2
steps_lb/2, steps_lb/2
steps_ub/2, steps_ub/2
stop_parse/2, stop_parse/2
stop_socket_interface/0, stop_socket_interface/0
stream/1, stream/1
stream_alias/1, stream_alias/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
streams_basic:open/3
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, strings, strings
strip_clean/2, strip_clean/2
strip_exposed/2, strip_exposed/2
strip_from_list/2, strip_from_list/2
strip_from_term/2, strip_from_term/2
strip_interface/2, strip_interface/2
strip_restricted/2, strip_restricted/2
struct/1, struct/1
style sheets, style sheets, style sheets, style sheets
style_type/1, style_type/1
sub_atom/4, sub_atom/4
sub_atom/5, sub_atom/5, sub_atom/5
sub_times/3, sub_times/3
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
sybase2sqltype/2, sybase2sqltype/2
sybase2sqltypes_list/2, sybase2sqltypes_list/2
sybasetype/1, sybasetype/1
symbol/1, symbol/1
symbol_option/1
symbol_result/1
symbolic_link/2, symbolic_link/2
symbolic_link/3, symbolic_link/3
symfnames
syntax of regular types
SYSCALL/1, SYSCALL/1
system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system, system
system libraries, system libraries
system/1, system/1, system/1, system/1
system/2, system/2, system/2, system/2
system_extra
system_lib/1, system_lib/1
tab/1, tab/1
tab/2, tab/2
table name
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, tag_attrib/1
tar, tar
target/1, target/1
Tcl/tk interface, Tcl/tk interface
tcl_delete/1, tcl_delete/1, tcl_delete/1
tcl_eval/3, tcl_eval/3, tcl_eval/3
tcl_event/3, tcl_event/3, tcl_event/3, tcl_event/3
tcl_name/1, tcl_name/1
tcl_new/1, tcl_new/1, tcl_new/1
tclCommand/1, tclCommand/1
tclInterpreter/1, tclInterpreter/1
tcltk, tcltk, tcltk, tcltk
tcltk/2, tcltk/2
tcltk/examples/tk_test_aux
tcltk/tcltk, tcltk/tcltk, tcltk/tcltk, tcltk/tcltk
tcltk/tcltk_low_level, tcltk/tcltk_low_level, tcltk/tcltk_low_level, tcltk/tcltk_low_level
tcltk_low_level
tcltk_obj/canvas_class
tcltk_obj/menu_class
tcltk_obj/menu_entry_class
tcltk_obj/shape_class
tcltk_obj/window_class, tcltk_obj/window_class
tcltk_raw_code/2, tcltk_raw_code/2, tcltk_raw_code/2, tcltk_raw_code/2
tcsh, tcsh, tcsh
tearoff_value/1, tearoff_value/1
Technical University of Madrid
tell/1, tell/1, tell/1
telling/1, telling/1, telling/1
term/1, term/1
terminates/1, terminates/1
terms, terms, terms, terms, terms, terms, terms, terms, terms, terms
terms_check, terms_check, terms_check, terms_check
terms_file_to_vrml/2, terms_file_to_vrml/2
terms_file_to_vrml_file/2, terms_file_to_vrml_file/2
terms_to_vrml/2, terms_to_vrml/2
terms_to_vrml_file/2, terms_to_vrml_file/2
terms_vars, terms_vars, terms_vars, terms_vars
tester/tester
tester_func/1, tester_func/1
text_characters/1, text_characters/1, text_characters/1, text_characters/1
textvariable_entry/1, textvariable_entry/1
textvariable_label/1, textvariable_label/1
textvariablevalue_number/1, textvariablevalue_number/1
textvariablevalue_string/1, textvariablevalue_string/1
this_module/1, this_module/1
throw/1, throw/1
time/1, time/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_event_loop/1
tk_main_loop/1, tk_main_loop/1, tk_main_loop/1
tk_new/2, tk_new/2, tk_new/2
tk_next_event/2, tk_next_event/2, tk_next_event/2, tk_next_event/2
token_read/3, token_read/3
tokeniser/2, tokeniser/2
tokenize
told/0, told/0, told/0
top-level
top-level shell, starting, unix
top-level shell, starting, windows
top/2, top/2
topd/0, topd/0
toplevel
touch/1, touch/1
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
tree/1, tree/1
triple/1
troubleshooting, troubleshooting, 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/1
ttydisplay_string/1, ttydisplay_string/1, ttydisplay_string/1
ttydisplayq/1, ttydisplayq/1, ttydisplayq/1
ttyflush/0, ttyflush/0, ttyflush/0
ttyget/1, ttyget/1, ttyget/1
ttyget1/1, ttyget1/1, ttyget1/1
ttynl/0, ttynl/0, ttynl/0
ttyout, ttyout, ttyout, ttyout, ttyout, ttyout, ttyout, ttyout, ttyout, ttyout, ttyout, ttyout, ttyout
ttyput/1, ttyput/1, ttyput/1
ttyskip/1, ttyskip/1, ttyskip/1
ttyskipeol/0, ttyskipeol/0, ttyskipeol/0
ttytab/1, ttytab/1, ttytab/1
tuple/1, tuple/1, tuple/1
tuples, tuples
type, type
type declarations
type/2, type/2
type_compatible/2, type_compatible/2
type_union/3, type_union/3
U. of Arizona
ugraph/1, ugraph/1, ugraph/1
ugraph2term/2, ugraph2term/2
ugraphs
umask/2, umask/2, umask/2, umask/2
undefined_goal/1, undefined_goal/1
undo/1, undo/1
undo_force_lazy/1, undo_force_lazy/1
unfold_tree/2, unfold_tree/2
unfold_tree_dic/3, unfold_tree_dic/3
unify
unify_with_occurs_check/2, unify_with_occurs_check/2, unify_with_occurs_check/2
uninstalling, uninstalling
UNION-operator
union/3, union/3
union_idlists/3, union_idlists/3
UNIX make
unload/1, unload/1, unload/1, unload/1
unlock_atom/1, unlock_atom/1
unlock_file/2, unlock_file/2
unmarshalling, unmarshalling
unzip
update/0, update/0, update/0
update_attribute/2, update_attribute/2
update_files
update_files/0, update_files/0
update_files/1, update_files/1
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_query_values/2, url_query_values/2, url_query_values/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_compiler/1
use_compiler/2, use_compiler/2, use_compiler/2
use_foreign_library/1
use_foreign_library/2
use_foreign_source/1
use_foreign_source/2
use_linker/1
use_linker/2
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/1, use_module/1
use_module/2, use_module/2, use_module/2, use_module/2, use_module/2, use_module/2
use_module/3, use_module/3, use_module/3
use_package
use_package/1, use_package/1, use_package/1, 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
user:file_alias/2, user:file_alias/2
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
variable_value/1, variable_value/1, variable_value/1, variable_value/1
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
varset_in_args/2, varset_in_args/2
vector/1, vector/1
vectors_format/4, vectors_format/4
verbose_message/2, verbose_message/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
vpath/1
vrml_file_to_terms/2, vrml_file_to_terms/2
vrml_file_to_terms_file/2, vrml_file_to_terms_file/2
vrml_http_access/2, vrml_http_access/2
vrml_in_out/2, vrml_in_out/2
vrml_to_terms/2, vrml_to_terms/2
vrml_web_to_terms/2, vrml_web_to_terms/2
vrml_web_to_terms_file/2, vrml_web_to_terms_file/2
wakeup_exp/1, wakeup_exp/1
WAM
warning/1, 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, wellformed_body/3
when/2, when/2, when/2, when/2
WHERE-clause
WHERE-clauses
where/1, where/1
whitespace/1, whitespace/1
whitespace/2, whitespace/2
whitespace0/2, whitespace0/2
why the name Ciao
width/1, width/1, width/1, width/1
width_value/1, width_value/1, width_value/1, width_value/1
Win32
window_class
windows shortcut
WinZip
with/2
Wlodek Drabent
working_directory/2, working_directory/2, 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, write, write, write, write, write, 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/1
write/2, write/2, write/2, write/2, write/2
write_assertion/6, write_assertion/6
write_assertion_as_comment/6, write_assertion_as_comment/6
write_c/write_c
write_canonical/1, write_canonical/1, write_canonical/1
write_canonical/2, write_canonical/2, write_canonical/2
write_list1/1, write_list1/1, write_list1/1
write_option/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/2
write_term/3, write_term/3, write_term/3
write_terms_file/2, write_terms_file/2
write_vrml_file/2, write_vrml_file/2
writef/2, writef/2
writef/3, writef/3
writef_list/2, writef_list/2
writef_list/3, writef_list/3
writeq/1, writeq/1, writeq/1, writeq/1
writeq/2, writeq/2, writeq/2
WWW, WWW
WWW browser, WWW browser
WWW, interfacing with
xbarelement1
xbarelement1/1, xbarelement1/1
xbarelement2/1, xbarelement2/1, xbarelement2/1, xbarelement2/1
xbarelement3/1
xbarelement4/1
xdr2html/2, xdr2html/2
xdr2html/4, xdr2html/4
xdr_handle/xdr_types
xdr_node/1, xdr_node/1
xdr_tree/1, xdr_tree/1
xdr_tree/3, xdr_tree/3
xdr_xpath/2, xdr_xpath/2
xelement/1
XML, XML
xml2terms/2, xml2terms/2
xml_index/1, xml_index/1
xml_index_query/3, xml_index_query/3
xml_index_to_file/2, xml_index_to_file/2
xml_parse/3, xml_parse/3
xml_parse_match/3, xml_parse_match/3
xml_path/xml_path_types
xml_query/3, xml_query/3
xml_search/3, xml_search/3, xml_search/3
xml_search_match/3, xml_search_match/3
xrefs/xrefsread
yelement/1, yelement/1
|/2
~/.ciaorc
~/.cshrc, ~/.cshrc, ~/.cshrc
~/.emacs, ~/.emacs, ~/.emacs, ~/.emacs
~/.profile, ~/.profile, ~/.profile
Go to the first, previous, next, last section, table of contents.