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
-
|
-
~
!/0, !/0
# /2
$/1
$/2, $/2
$is_persistent/2, $is_persistent/2
&-Prolog, &-Prolog, &-Prolog
&/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
.bat
.ciaorc, .ciaorc, .ciaorc
.emacs, .emacs, .emacs
.tar files
/ /2
// /2
/\ /2
/bin/sh, /bin/sh
/bin/sh.exe
/etc/bashrc, /etc/bashrc
/etc/csh.cshrc, /etc/csh.cshrc
/etc/cshrc, /etc/cshrc
/usr/share/emacs/.../lisp/site-init.pl, /usr/share/emacs/.../lisp/site-init.pl
::/2
:=/2
;/2, ;/2
<-/1
<-/2
</2, </2
<< /2
<LIBROOT>/ciao/DOTcshrc
=../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
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
active module
active_agents/1, active_agents/1
activemod
actmods/actmodrt
add_after/4, add_after/4, add_after/4, add_after/4
add_before/4, add_before/4, add_before/4
add_clause_trans/1
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
addmodule and pred(N) meta-arguments
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
andprolog/andprolog
Anne Mulkers
answer variable, answer variable, answer variable
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/3, arg/3
arg_expander/6, arg_expander/6, arg_expander/6
argnames/1
arithexpression/1, arithexpression/1, arithexpression/1
arithmetic goal
arithmetic_functor/2, arithmetic_functor/2
ASCII code
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, assertions
assertions/assertions_props, assertions/assertions_props
assertions/assrt_lib, assertions/assrt_lib
assertions/assrt_props
assertions/doc_props, assertions/doc_props, assertions/doc_props, 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_codes/2, atom_codes/2, atom_codes/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
attributed variables
attributes
Austrian Research Institute for AI
auto-fill
auto-indentation
backup file
bagof/3, bagof/3, bagof/3
basename/2, basename/2
bash, bash, bash, bash, bash, bash
basic_props:regtype/1
between
binary directory
bind_socket/3, bind_socket/3
body/1
body_expander/6, body_expander/6, body_expander/6, body_expander/6
break
Bristol University
browse/2, browse/2
buffer
bugs, reporting
build_foreign_interface/1, build_foreign_interface/1, build_foreign_interface/1, build_foreign_interface/1, build_foreign_interface/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_list/1
bytecode object files
C
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
callable/1, callable/1
callme/2, 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
case_insensitive_match/2, case_insensitive_match/2
catch/3, catch/3, catch/3, catch/3
cd/1, cd/1, cd/1
ceiling/1
CGI executables
change log
change, author
change, comment
changelog entry
changing the executables used
char_code/2
char_conversion/2
character string
character_code/1, character_code/1
character_count/2, character_count/2
check assertion, check assertion
check/1, check/1, check/1, check/1, check/1, check/1, check/1, check/1
checking the assertions
chmod/2, chmod/2
chmod/3, chmod/3
Christian Holzbauer
ciao, ciao, ciao, ciao
Ciao engine, Ciao engine, Ciao engine, Ciao engine
CIAO engine builtins
Ciao engine builtins
Ciao preprocessor, Ciao preprocessor, Ciao preprocessor
Ciao top-level
ciao, global description
ciao-shell, ciao-shell, ciao-shell, ciao-shell, ciao-shell, ciao-shell
ciao-users
ciao.el
ciao.html
ciao.reg
Ciao/Prolog mode version
ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc
ciaoc.cpx, ciaoc.cpx
ciaolibdir/1, ciaolibdir/1
ciaopp, ciaopp, ciaopp, ciaopp, ciaopp, ciaopp, ciaopp, ciaopp, ciaopp, ciaopp, ciaopp, ciaopp, ciaopp, ciaopp
ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh
ciaosh.cpx, ciaosh.cpx, ciaosh.cpx
CICYT/MEC
class constructor
class instances
class_name/1, class_name/1, class_name/1, class_name/1
class_source/1, class_source/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_client/0
close_file/1
close_input/1
close_output/1
close_predicate/1, close_predicate/1
closed, closed, closed, closed, closed
clterm/1
code_class/2, code_class/2, code_class/2
coloring, syntax
command
comment assertion
comment string, comment string, comment string, comment string
comment/2, comment/2, 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
compiler
compiler/c_itf, compiler/c_itf, compiler/c_itf
compiler/compiler, compiler/compiler
compiler/exemaker
compiler_and_opts/2, compiler_and_opts/2
compiling
compiling, Win32
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
computational cost
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
constructor
constructor/0, constructor/0
constructor/1, constructor/1, constructor/1, constructor/1
consult mode
consult/1, consult/1
consulting
contains1/2
contains_ro/2, contains_ro/2
control
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
creating executables
creep
csh, csh, csh, csh
csh-compatible shell, csh-compatible shell
ctrlc_clean/1
ctrlcclean
ctrlcclean/0
current input stream, current input stream
current output stream, current output stream
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_input/1, current_input/1
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_predicate/1, current_predicate/1
current_predicate/2
current_prefixop/3
current_prolog_flag/2, current_prolog_flag/2
current_stream/3, current_stream/3
Cygnus Win32
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
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
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
debug options
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
debugger, debugger, debugger
debugging
debugging/0, debugging/0
dec10_io, dec10_io
decl assertion, decl assertion
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, define_flag/3
del_global/1
delete/3, delete/3, delete/3, delete/3
delete_file/1, delete_file/1
delete_on_ctrlc/2
dependent files
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
determinacy
dic_get/3
dic_lookup/3
dic_lookup/4
dic_node/2
dic_replace/4
dict, dict, dict
dict2varnamesl/2, dict2varnamesl/2
difference/3, difference/3
directives
directory_files/2, directory_files/2
directoryname/1
DISCIPL
discontiguous/1, discontiguous/1
disjoint/1, disjoint/1
disjunctions
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
dlist/3, dlist/3
do_interface/1, do_interface/1
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
DOTemacs
downloading emacs, downloading emacs
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
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 Ciao/Prolog mode
emacs interface, emacs interface, emacs interface
emacs menu bar
emacs mode, emacs mode
emacs mode setup
emacs mode, loading several
emacs, download, emacs, download
emacs, under Win32
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_call/4
eng_cut/1, eng_cut/1
eng_kill/1, eng_kill/1
eng_killothers
eng_killothers/0, eng_killothers/0
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
engine
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
entry assertion
entry/1, entry/1, entry/1, entry/1, entry/1
environment variable
environment variable definitions, environment variable definitions
environment variables, environment variables
equal_lists/2, equal_lists/2
equality comparisons in the WHERE-clause
equi join in the WHERE-clause
erase/1, erase/1
errhandle
error term
error/1
error_message/1, error_message/1
error_message/2, error_message/2
error_message/3, error_message/3
error_protect/1
etc, etc
evaluable functors
exec/3, exec/3
exec/4, exec/4
executable
Executables
executables
executables, dynamic
executables, how to run
executables, lazy load
executables, static
executables, types
existential quantification
exp/1
expander_pred/1
expansion
Explorer
export/1, export/1, export/1, export/1, export/1, export/1
exports
extension/2, extension/2
extract_paths/2, extract_paths/2
F.C.N. Pereira
fact/1
fail
fail/0, fail/0
fails/1, fails/1
false assertion
false/1, false/1
fast_read/1
fast_write/1
fast_write_to_string/3
fastrw, fastrw
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_terms/2, file_terms/2
file_to_string/2, file_to_string/2
fileerrors/0, fileerrors/0
fileinfo
filenames, filenames, filenames
find_name/4
findall/3, findall/3, findall/3, findall/3, findall/3
findall/4
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
force_lazy/1, force_lazy/1, force_lazy/1, force_lazy/1
foreign_compilation
form_default/3
form_empty_value/1
form_request_method/1
format, format, format, format, format, format, format, format
format/2, format/2
format/3, format/3
format_control/1, format_control/1
formatting commands
Francisco Bueno
FROM-clauses
func/1, func/1
function/1
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_collection_option/1
gc/0, gc/0
gc_result/1
gcc, gcc
gcd/2
Gerda Janssens
German Puebla
get1_code/1, get1_code/1
get1_code/2, get1_code/2
get_alias_path/0
get_arch/1, get_arch/1
get_attribute/2, get_attribute/2
get_byte/1
get_byte/2
get_char/1
get_char/2
get_code/1, get_code/1
get_code/2, get_code/2
get_form_input/1
get_form_value/3
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
getcounter/2
getct/2, getct/2
getct1/2, getct1/2
getenvstr/2, getenvstr/2
ghostview
GlobalChangeLog, GlobalChangeLog, GlobalChangeLog
gmake, gmake
gnd/1, gnd/1
GNU
GNU emacs
GNU general public license
GNU General Public License, GNU General Public License
GNU make
go/1, go/1
go/2, go/2
Gopal Gupta
grammar rule
granularity control
ground/1, ground/1, ground/1, ground/1
gunzip, gunzip
H. Ait-Kaci
halt/0, halt/0
halt/1, halt/1
halt_server/0
handle_error/2
hard side-effects
hard/1, hard/1
head pattern, head pattern, head pattern, head pattern
head_pattern/1, head_pattern/1, head_pattern/1, head_pattern/1, head_pattern/1
hello, hello
html2terms/2
html_protect/1
html_report_error/1
html_template/3
http_lines/3
hw.pls
icon_address/2
idlists, idlists
if/3, if/3
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/2, in/2, in/2
in_noblock/1
in_stream/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
Inference of properties
info, info, info, info, info, info, info, info, info, info
INFOPATH
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/1
initialize_db/0, initialize_db/0, initialize_db/0
INRIA
insert/3, insert/3
insert_last/3, insert_last/3
installation, checking the
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_codes/2, instance_codes/2
instance_id/1, instance_id/1, 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, instance_of/2, instance_of/2
instances
instantiation properties
instantiation state
int/1, int/1, int/1, int/1
integer/1, integer/1, integer/1, integer/1, integer/1, integer/1
intercept/3, intercept/3, intercept/3
interface file
interface inheritance
interface/2, interface/2
interface_doc
interface_name/1, interface_name/1
interface_source/1, interface_source/1
interfaces, interfaces
internal_module_id/1
intersection/3, intersection/3
intlist/1, intlist/1
intset_delete/3
intset_in/2
intset_insert/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-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, 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
Jan Maluzynski
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_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
javasock, javasock
Johan Andersson
Johan Bevemyr
Johan Widen
John Gallagher
K.U. Leuven
Kalyan Muthukumar
Kevin Greene
key sequences
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
length/2, length/2
letter_match/2
lib library
libpaths
libraries used
library directory
library(iso_byte_char)
library(modes)
library(pure)
library_directory/1, library_directory/1, library_directory/1, library_directory/1, library_directory/1, library_directory/1
librowser
linda_client/1
linda_timeout/2
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_concat/2, list_concat/2
list_insert/2, list_insert/2, list_insert/2, list_insert/2
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
llists
load_compilation_module/1, load_compilation_module/1, load_compilation_module/1, load_compilation_module/1
loading programs
locating errors
lock_atom/1, lock_atom/1
lock_file/3
log of changes
log/1
LogIn
lower_size/2, lower_size/2
lower_time/2, lower_time/2
lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, 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
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
major version number
make, make, make, make, make, make, make, make, make, make, make
make_actmod/2, make_actmod/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.pl, Makefile.pl, Makefile.pl
man
MANPATH
manual, printing
manuals
Manuel Carro
Manuel Hermenegildo, Manuel Hermenegildo
Maria Jose Garcia de la Banda
Masanobu Umeda
match_pattern/2, match_pattern/2
match_pattern/3, match_pattern/3
match_pattern_pred/2, match_pattern_pred/2
match_string/3
Mats Carlsson, Mats Carlsson, Mats Carlsson, Mats Carlsson
Maurice Bruynooghe
maxdepth/1, maxdepth/1
MCC
Melbourne U.
member/2, member/2
member_0/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, messages
meta_predicate/1, meta_predicate/1
metaspec/1
metaterms, metaterms, metaterms
method_spec/1, method_spec/1
minor version number
mkf-CIAOARCH, mkf-CIAOARCH
mktemp/2, mktemp/2
mod/2
mode
mode, mode
mode spec
modedef/1, modedef/1, modedef/1, modedef/1, modedef/1
modes, 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
modulename/1
Monash U.
moving change log entries
mshare/1, mshare/1
multi-evaluated
multiarchitecture support
multifile predicate
multifile/1, multifile/1, multifile/1, multifile/1, multifile/1
multpredspec/1
my_url/1
n_assrt_body/5, n_assrt_body/5, n_assrt_body/5
name/2, name/2
negated comparison goal
negated database goal
negated goals
negated_comparison/2
negations
netscape
New Mexico State University
new/1
new/2, new/2, new/2, new/2, new/2, new/2, new/2, new/2, new/2, new/2, new/2
new_declaration/1, new_declaration/1
new_declaration/2, new_declaration/2
nl/0, nl/0
nl/1, nl/1
nnegint/1, nnegint/1
no_path_file_name/2, no_path_file_name/2
nocontainsx/2, nocontainsx/2
nodebug/0, nodebug/0, nodebug/0
nodebug_module/1, nodebug_module/1, nodebug_module/1
nofileerrors/0, nofileerrors/0
nogc/0, nogc/0
non-failure
nonsingle/1, nonsingle/1
nonvar/1, nonvar/1
nospy
nospy/1, nospy/1, nospy/1
nospyall/0, nospyall/0
NOT EXISTS-subqueries
not_covered/1, not_covered/1
not_disjoint/1, not_disjoint/1
not_fail/1, not_fail/1
not_further_inst/1
not_further_inst/2, not_further_inst/2
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
nth/3, nth/3
null_dict/1, null_dict/1
num/1, num/1
number/1, number/1
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
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-line help
on_abort/1
once/1
op/3, op/3, op/3, op/3
open/3, open/3
open/4
open_client/2
open_input/2
open_null_stream/1
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/2, out/2
out_stream/2
output_html/1
overriden, overriden
P. Lincoln
package file, package file, package file, package file, package file, package file, package file, package file
parallel Prolog
parallelizing compiler
parametric property
parametric regular type abstractions
parametric type functor
PARFORCE
parse_term/3
passertz_fact/1, passertz_fact/1, passertz_fact/1
passwd/1, passwd/1, passwd/1
patch number
PATH
path alias, path alias, path alias, path alias, path alias, path alias, path alias, path alias
path aliases
pattern/1, pattern/1
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/2
peek_char/1
peek_char/2
peek_code/1, peek_code/1
peek_code/2, peek_code/2
perl
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 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 Olin
Peter Stuckey
phrase/2
phrase/3, phrase/3
Pierre Deransart
pillow
pillow/common, pillow/common
pillow/html
pillow/http
pkunzip
pl2sql, pl2sql, pl2sql, pl2sql
pl2sqlstring/3, pl2sqlstring/3, pl2sqlstring/3, pl2sqlstring/3, pl2sqlstring/3, pl2sqlstring/3
pl2sqlterm/3, pl2sqlterm/3, pl2sqlterm/3
platform-independent, platform-independent
Polymorphism
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_clause/1, portray_clause/1
portray_clause/2, portray_clause/2, portray_clause/2
positive database goal
Posix threads
possible_fail/1, possible_fail/1
possible_nondet/1, possible_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
preprocessing programs
preprocessor
preprocessor command args, setting
preprocessor command, setting
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/1, print/1
print/2, print/2
printable_char/1
printdepth
printing assertion information
printing code-related information
printing, manual
printqueries/1, printqueries/1
Procedure Box
program assertions
program development environment
program development tools
program parallelization
program specialization
program transformations, program transformations
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 shell
Prolog shell scripts
Prolog to SQL compiler
Prolog to SQL translation, Prolog to SQL translation
Prolog to SQL translator
prolog.el
prolog_flag/3, prolog_flag/3
prolog_parse/2, prolog_parse/2
prolog_predicate/1, prolog_predicate/1
prolog_predicate/N
prolog_server/0, prolog_server/0
prolog_sys, prolog_sys
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
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 Prolog
pure/1, pure/1
push_global/2
push_prolog_flag/2, push_prolog_flag/2, push_prolog_flag/2
put_byte/1
put_byte/2
put_char/1
put_char/2
put_code/1, put_code/1
put_code/2, put_code/2
q_delete/3
q_empty/1
q_insert/3
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
range variable
rd/1
rd/2
rd_findall/3
rd_noblock/1
read, read, read, read, read, read, read, read, read, read, read, read, read, read, read, read
read/1, read/1
read/2, read/2, read/2, read/2
read_term/2, read_term/2
read_term/3, read_term/3, read_term/3
read_tokens/2
read_top_level/3
rebuild_foreign_interface/1, rebuild_foreign_interface/1, rebuild_foreign_interface/1
rebuild_foreign_interface_object/1, rebuild_foreign_interface_object/1
recorda/3
recorded/3
records
recordz/3
recursive level, recursive level
redefined
redefining/1
RedHat 5.0
reexport/1
reexport/2
reference/1
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 abstractions
regular type definitions
regular type expression
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
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
reverse/2, reverse/2
reverse/3
Roger Nasr, Roger Nasr
round/1
run-time checks, run-time checks
run-time libraries
run-time tests
s_assrt_body/1, s_assrt_body/1
Saumya Debray
scripts, scripts
second_prompt/2
see/1
seeing/1
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_debug_mode/1, set_debug_mode/1, set_debug_mode/1
set_fact/1, set_fact/1
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
setof/3, setof/3, setof/3, setof/3, setof/3, setof/3
setproduct/3, setproduct/3
sets
SETTINGS, SETTINGS, SETTINGS, SETTINGS, SETTINGS, SETTINGS, SETTINGS
sh, sh, sh, sh
sh-compatible shell, sh-compatible shell
sharing sets
shell
shell/0, shell/0
shell/1, shell/1
shell/2, shell/2
shortcut, windows
SICS, SICS
SICStus, SICStus
SICStus Prolog
sign/1
simple_message/1, simple_message/1
simple_message/2, simple_message/2
sin/1
site-specific programs
size_of/3
sizes of terms
skip
skip_code/1, skip_code/1
skip_code/2, skip_code/2
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/sockets_c
soft side-effects
soft/1, soft/1
Solaris
sort, sort, sort, sort, sort, sort, sort
sort/2, sort/2
source directory
sourcename/1, sourcename/1, sourcename/1, sourcename/1
sourcenames/1
specifications, specifications
spy
spy-points
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_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 compiler
standard total ordering
static checks
static debugging
statistics/0
statistics/2, statistics/2
status bar
stmthandle/1
stream/1, stream/1
stream_code/2, stream_code/2
stream_property/2
streams, streams, streams, streams, streams, streams, 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
struct/1, struct/1
style sheets
sub-shell, sub-shell
sub_atom/4, sub_atom/4
sub_atom/5
sublist/2, sublist/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_option/1
symbol_result/1
Syntax highlighting
syntax of regular types
syntax/1
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
tar, tar
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
tcsh, tcsh, tcsh
Technical University of Madrid
tell/1
telling/1
term/1, term/1
terms, terms, terms
tests, tests
text_lines/2
this_module/1, this_module/1
throw/1, throw/1
time stamp
time/1, time/1, time/1
time_option/1
time_result/1
tk_event_loop/1
tk_new/2, tk_new/2
tk_new/4
tokenize
told/0
toplev, toplev
toplevel
toplevel command args, setting
toplevel command, setting
trace/0, trace/0
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
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_string/1
ttydisplayq/1
ttyflush/0
ttyget/1
ttyget1/1
ttynl/0
ttyout, ttyout
ttyput/1
ttyskip/1
ttyskipeol/0
ttytab/1
tuple at a time
tuple/1, tuple/1, tuple/1
tuples, tuples
type declarations
type of version control
type/2, type/2
types
U. of Arizona
umask/2, umask/2
undo/1, undo/1
undo_force_lazy/1, undo_force_lazy/1
unify
unify_with_occurs_check/2
uninstalling, uninstalling
UNION-operator
union/3, union/3
union_idlists/3, union_idlists/3
UNIX make
Unix/Linux machine
unload/1, unload/1
unlock_atom/1, unlock_atom/1
unlock_file/2
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
upper_size/2, upper_size/2
upper_time/2, upper_time/2
url_info/2
url_info_relative/3
url_query/2
usage
usage relationship, usage relationship
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/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/1, user/1, user/1
users mailing list
using alternate engines or libraries
var/1, var/1, var/1
variable instantiation
variable names
variables occurring in several goals
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
varset/2
Veroniek Dumortier
version control, version control
version maintenance mode for packages
version number
version numbering
views
virtual
virtual/1, virtual/1
virtual_method_spec/1, virtual_method_spec/1
vndict
WAM
warning/1
warning_message/1, warning_message/1
warning_message/2, warning_message/2
warning_message/3, warning_message/3
WebDB, WebDB, WebDB
wellformed_body/3
WHERE-clause
WHERE-clauses
where/1, where/1
whitespace/2, whitespace/2
whitespace0/2, whitespace0/2
win32
Win95/NT machine
win95_skel.bat
windows shortcut
winNT_skel.bat
WinZip
Wlodek Drabent
word-help.el
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/1, write/1, write/1
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_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
writing programs
WWW, WWW
WWW browser
WWW, interfacing with
xml2terms/2
|/2
~/.cshrc, ~/.cshrc
~/.emacs, ~/.emacs, ~/.emacs
~/.profile, ~/.profile
~/1
Go to the first, previous, next, last section, table of contents.