Go to the first, previous, next, last section, table of contents.

Global Index

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

    • '

  • ','/2
  • '<-'/1
  • '<-'/2

    • *

  • * /2
  • * projection
  • ** /2
  • */1, */1
  • */2, */2, */2, */2, */2, */2

    • +

  • + /1
  • + /2
  • ++ /1
  • +/1, +/1, +/1, +/1, +/1
  • +/2, +/2, +/2, +/2

    • ,

  • ,/2, ,/2

    • -

  • - /1
  • - /2
  • -- /1
  • -->/2
  • -/1, -/1, -/1, -/1
  • -/2, -/2, -/2, -/2
  • ->/2, ->/2

    • .

  • ./2, ./2
  • .ciaorc, .ciaorc, .ciaorc, .ciaorc, .ciaorc, .ciaorc, .ciaorc
  • .emacs, .emacs, .emacs, .emacs, .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

    • <

  • <-/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, >=/2
  • >> /2

    • ?

  • ?/1, ?/1, ?/1, ?/1, ?/1, ?/1
  • ?/2, ?/2, ?/2, ?/2

    • @

  • @/1, @/1, @/1, @/1, @/1, @/1
  • @/2, @/2, @/2, @/2
  • @</2, @</2
  • @=</2, @=</2
  • @>/2, @>/2
  • @>=/2, @>=/2

    • \

  • \ /1
  • \+/1, \+/1
  • \/ /2
  • \=/2, \=/2
  • \==/2, \==/2

    • ^

  • ^/2, ^/2, ^/2, ^/2, ^/2

    • a

  • abolish/1, abolish/1
  • abort
  • abort/0
  • abs/1
  • absolute_file_name/2, absolute_file_name/2, absolute_file_name/2
  • absolute_file_name/7, absolute_file_name/7
  • abstract methods
  • acceptable modes
  • ACCLAIM
  • acknowledgments
  • acrobat reader, acrobat reader
  • active module
  • active modules, active modules
  • 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_before/4
  • add_clause_trans/1
  • add_edges/3, add_edges/3
  • add_goal_trans/1, add_goal_trans/1
  • add_sentence_trans/1, add_sentence_trans/1, add_sentence_trans/1, add_sentence_trans/1, add_sentence_trans/1, add_sentence_trans/1
  • add_term_trans/1, add_term_trans/1, add_term_trans/1
  • add_vertices/3, add_vertices/3
  • addmodule and pred(N) meta-arguments
  • address/1, address/1
  • aggregate function (sub)queries
  • aggregate function terms
  • aggregate_function/3
  • aggregate_functor/2, aggregate_functor/2, aggregate_functor/2
  • aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates
  • aggregation operations
  • aggregation predicates
  • analyzer output, analyzer output
  • ancestors
  • andprolog/andprolog
  • Anne Mulkers
  • answer variable, answer variable, answer variable
  • answer/1
  • answertableterm
  • answertableterm/1, answertableterm/1, answertableterm/1
  • answertupleterm/1, answertupleterm/1
  • append/3, append/3
  • apropos/1, apropos/1
  • apropos_spec/1
  • arg/2, arg/2
  • arg/3, arg/3
  • arg_expander/6, arg_expander/6, arg_expander/6
  • argnames/1
  • arithexpression/1, arithexpression/1, arithexpression/1
  • arithmetic
  • arithmetic goal
  • arithmetic_functor/2, arithmetic_functor/2
  • ASCII code
  • ask/2, ask/2
  • assert/1, assert/1
  • assert/2, assert/2
  • asserta/1, asserta/1
  • asserta/2, asserta/2
  • asserta_fact/1, asserta_fact/1, asserta_fact/1
  • asserta_fact/2, asserta_fact/2
  • assertion body syntax, assertion body syntax, assertion body syntax, assertion body syntax
  • assertion language
  • assertion language, assertion language
  • assertion normalizer
  • assertions, assertions, assertions, assertions, assertions, assertions, assertions
  • assertions/assertions_props, assertions/assertions_props, assertions/assertions_props
  • assertions/assrt_lib
  • assertions/doc_props, assertions/doc_props, assertions/doc_props, assertions/doc_props, assertions/doc_props, assertions/doc_props
  • assertions/meta_props, assertions/meta_props, assertions/meta_props, assertions/meta_props
  • assertz/1, assertz/1
  • assertz/2, assertz/2
  • assertz_fact/1, assertz_fact/1, assertz_fact/1, assertz_fact/1, assertz_fact/1, assertz_fact/1, assertz_fact/1
  • assertz_fact/2, assertz_fact/2
  • assrt_body/1, assrt_body/1, assrt_body/1
  • assrt_status/1, assrt_status/1
  • assrt_type/1, assrt_type/1
  • atan/1
  • atm/1, atm/1
  • atm_or_atm_list/1, atm_or_atm_list/1
  • atom/1, atom/1
  • atom2term
  • atom2term/2, atom2term/2, atom2term/2
  • atom_chars/2, atom_chars/2
  • atom_codes/2, atom_codes/2, atom_codes/2
  • atom_concat/2, atom_concat/2
  • atom_concat/3, atom_concat/3
  • atom_length/2, atom_length/2
  • atom_lock_state/2, atom_lock_state/2
  • Atomic goals
  • atomic/1, atomic/1
  • attach_attribute/2, attach_attribute/2
  • attribute
  • attribute/4, attribute/4, attribute/4, attribute/4, attribute/4
  • attributed variables
  • attributes, attributes
  • Austrian Research Institute for AI
  • auto-documenter command args, setting
  • auto-documenter command, setting
  • auto-documenter default format, setting
  • auto-documenter lib path, setting
  • auto-documenter working dir, setting
  • auto-fill
  • auto-indentation

    • b

  • backup file
  • bagof/3, bagof/3, bagof/3
  • basename/2, basename/2
  • bash, bash, bash, bash, bash, bash, bash, bash, bash, bash
  • basic_props
  • basic_props:regtype/1
  • between
  • bf
  • binary directory
  • bind_socket/3, bind_socket/3
  • body/1
  • body_expander/6, body_expander/6, body_expander/6, body_expander/6
  • box-type debugger
  • breadth first execution
  • breadth-first execution, breadth-first execution
  • breakpoins
  • breakpoint
  • breakpoints, breakpoints, breakpoints
  • breakpt/6, breakpt/6, breakpt/6, breakpt/6, breakpt/6
  • Bristol University
  • browse/2, browse/2
  • buffer
  • bugs, reporting
  • building standalone distributions
  • builtin directives, builtin directives
  • builtin modules
  • byrd-box model
  • byte/1, byte/1
  • byte_list/1, byte_list/1, byte_list/1
  • bytecode object files

    • c

  • C
  • C/3, C/3
  • c_assrt_body/1, c_assrt_body/1
  • c_itf
  • call/1, call/1, call/1
  • call/2, call/2, call/2, call/2
  • call/N
  • call_in_module/2, call_in_module/2, call_in_module/2
  • callable/1, callable/1
  • Calling emacs, Calling emacs
  • callme/1
  • callme/2, callme/2, callme/2, callme/2, callme/2
  • calls assertion, calls assertion
  • calls/1, calls/1, calls/1, calls/1, calls/1, calls/1, calls/1, calls/1, calls/1
  • calls/2, calls/2, calls/2, 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, cd/1
  • ceiling/1
  • cf/2
  • CGI executables
  • change, author
  • change, comment
  • changelog
  • changelog entry
  • changing the executables used
  • char_code/2, char_code/2
  • char_conversion/2
  • character string
  • character_code/1, character_code/1
  • character_count/2, character_count/2
  • check assertion
  • 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, ciao, ciao
  • Ciao basic builtins, Ciao basic builtins
  • Ciao engine, Ciao engine, Ciao engine, Ciao engine
  • Ciao engine builtins
  • Ciao preprocessor, Ciao preprocessor, Ciao preprocessor
  • Ciao top-level
  • 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/Prolog mode version
  • 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, ciaopp, ciaopp, ciaopp, ciaopp, ciaopp
  • ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh
  • CICYT/MEC
  • class constructor
  • class instances
  • class_name/1, class_name/1
  • class_source/1, class_source/1
  • clause/1
  • clause/2, clause/2
  • clause/3, clause/3
  • clauses/1
  • clearerr/1, clearerr/1
  • CLIP group
  • close/1, close/1, close/1, close/1
  • close/2, close/2
  • close_client/0, close_client/0
  • close_file/1, close_file/1
  • close_input/1, close_input/1
  • close_output/1, close_output/1
  • close_predicate/1, close_predicate/1
  • closed, closed, closed, closed, closed
  • clterm/1
  • code_class/2, code_class/2, code_class/2
  • coloring, syntax
  • combine_attributes/2, combine_attributes/2
  • command
  • command/1
  • comment assertion
  • comment string, comment string, comment string, comment string
  • comment/2, comment/2, 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/1, comp/1, comp/1
  • comp/2, comp/2, comp/2, comp/2, comp/2, comp/2
  • compare/3, compare/3
  • comparison goal
  • comparison operations
  • comparison/2, comparison/2
  • compat/2, compat/2
  • compatibility properties
  • compatible
  • compile/1, compile/1, compile/1, compile/1, compile/1
  • compiler
  • compiler, standalone
  • compiler/c_itf, compiler/c_itf
  • compiler/compiler, compiler/compiler
  • compiler/exemaker
  • compiler_and_opts/2, compiler_and_opts/2
  • compiling, compiling
  • 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
  • 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
  • constraint logic programming, constraint logic programming
  • constructor
  • constructor/0, constructor/0
  • constructor/1, constructor/1
  • consult/1, consult/1, consult/1, consult/1, consult/1
  • contains1/2, contains1/2
  • contains_ro/2, contains_ro/2
  • Context-sensitive, Context-sensitive
  • contributed libraries, contributed libraries
  • control
  • copy_args/3, copy_args/3
  • copy_stdout/1, copy_stdout/1
  • copy_term/2, copy_term/2
  • cos/1
  • covered/1, covered/1
  • create_dict/2, create_dict/2
  • creating executables
  • creep
  • csh, csh, csh, csh, csh
  • csh-compatible shell, csh-compatible shell, csh-compatible shell
  • ctrlc_clean/1, ctrlc_clean/1
  • ctrlcclean/0, ctrlcclean/0
  • current input stream, current input stream
  • current output stream, current output stream
  • current_atom/1, current_atom/1
  • current_executable/1, current_executable/1
  • current_fact/1, current_fact/1, current_fact/1, current_fact/1, current_fact/1, current_fact/1
  • current_fact/2, current_fact/2
  • current_fact_nb/1, current_fact_nb/1
  • current_host/1, current_host/1
  • current_infixop/4, current_infixop/4
  • current_input/1, current_input/1
  • current_key/2, current_key/2
  • current_module/1, current_module/1
  • current_op/3, current_op/3
  • current_output/1, current_output/1
  • current_postfixop/3, current_postfixop/3
  • current_predicate/1, current_predicate/1
  • current_predicate/2, current_predicate/2
  • current_prefixop/3, current_prefixop/3
  • current_prolog_flag/2, current_prolog_flag/2
  • current_stream/3, current_stream/3
  • customize
  • Cygnus Win32

    • d

  • D.H.D. Warren
  • D.L. Bowen
  • Daniel Cabeza
  • data file
  • data predicate, data predicate, data predicate, data predicate, data predicate, data predicate, data predicate
  • data/1, data/1, data/1, data/1, data/1, data/1, data/1, data/1, data/1, data/1, data/1, data/1
  • Database aggregation functions
  • Database arithmetic expressions
  • Database arithmetic functions
  • Database calls to is/2
  • Database comparison goals
  • database comparison operator
  • database initialization
  • database mediator server, database mediator server
  • datime/1, datime/1
  • datime/9, datime/9
  • datime_struct/1, datime_struct/1
  • davinci/0, davinci/0
  • davinci_get/1, davinci_get/1
  • davinci_get_all/1, davinci_get_all/1
  • davinci_lgraph/1, davinci_lgraph/1
  • davinci_put/1, davinci_put/1
  • davinci_quit/0, davinci_quit/0
  • davinci_ugraph/1, davinci_ugraph/1
  • db_client
  • db_eval_sql/3, db_eval_sql/3
  • db_get_tables/2, db_get_tables/2
  • db_login/5, db_login/5
  • db_logoff/1, db_logoff/1, db_logoff/1
  • db_one_tuple/2, db_one_tuple/2, db_one_tuple/2
  • db_query/4
  • db_query_one_tuple/4
  • db_stmt_handle/3, db_stmt_handle/3
  • db_table_types/3, db_table_types/3
  • dbassertz_fact/1, dbassertz_fact/1
  • dbcall/2, dbcall/2
  • dbconnection/1, dbconnection/1, dbconnection/1
  • dbcurrent_fact/1, dbcurrent_fact/1
  • dbfindall/4, dbfindall/4
  • dbhandle/1
  • dbname/1, dbname/1, dbname/1
  • dbqueryconnection/1, dbqueryconnection/1
  • dbretract_fact/1, dbretract_fact/1
  • dbretractall_fact/1, dbretractall_fact/1
  • dcg_expansion
  • dcg_translation/2, dcg_translation/2
  • debug
  • debug options
  • debug/0, debug/0, debug/0
  • debug/1
  • debug_goal/2, debug_goal/2
  • debug_goal/3, debug_goal/3
  • debug_message/1, debug_message/1
  • debug_message/2, debug_message/2
  • debug_module/1, debug_module/1, debug_module/1, debug_module/1
  • debug_module_source/1, debug_module_source/1, debug_module_source/1, debug_module_source/1, debug_module_source/1
  • debugger, debugger
  • debugger/debugger
  • debugger/debugger_lib
  • debugging, debugging
  • debugging tools
  • debugging, source-level, debugging, source-level
  • debugging/0, debugging/0
  • dec10_io, dec10_io
  • decl assertion, decl assertion
  • decl/1, decl/1, decl/1, decl/1, decl/1, decl/1, decl/1, decl/1
  • decl/2, decl/2, decl/2, 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, define_flag/3
  • del_global/1, del_global/1
  • del_vertices/3, del_vertices/3
  • delaying predicate execution, delaying predicate execution
  • delete/3, delete/3, delete/3, delete/3
  • delete_file/1, delete_file/1
  • delete_on_ctrlc/2, delete_on_ctrlc/2
  • dependent files
  • depth first iterative deepening
  • depth limit
  • derived_from/2, derived_from/2
  • describe/1, describe/1
  • destroy/1, destroy/1
  • destructor
  • destructor/0, destructor/0
  • detach_attribute/1, detach_attribute/1
  • determinacy
  • 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, dict
  • dict2varnamesl/2, dict2varnamesl/2
  • dictionary/1, dictionary/1
  • difference/3, difference/3
  • directives
  • directory_files/2, directory_files/2
  • directoryname/1
  • DISCIPL
  • discontiguous/1, discontiguous/1
  • disjunctions
  • display
  • display/1, display/1, display/1, display/1, display/1, display/1, display/1
  • display/2, display/2, display/2, display/2
  • display_list/1, display_list/1
  • display_string/1, display_string/1, display_string/1
  • display_term/1
  • displayq/1, displayq/1, displayq/1
  • displayq/2, displayq/2
  • disproves/2
  • dlgraph/1, dlgraph/1
  • dlgraph_to_lgraph/2, dlgraph_to_lgraph/2
  • dlist/3, dlist/3
  • do_not_free/2, do_not_free/2
  • do_on_abolish/1, do_on_abolish/1
  • docstring/1, docstring/1, docstring/1, docstring/1, docstring/1, docstring/1, docstring/1, docstring/1
  • documentation generator, documentation generator
  • DOTemacs
  • downloading emacs
  • downloading new versions, downloading new versions
  • downloading, latest versions
  • dynamic, dynamic, 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

    • e

  • 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, emacs
  • emacs Ciao/Prolog mode
  • emacs interface, emacs interface, emacs interface, emacs interface
  • emacs lisp
  • emacs menu bar
  • emacs mode, emacs mode, emacs mode, emacs mode
  • emacs mode setup
  • emacs mode, loading several
  • emacs server
  • emacs, download
  • emacs, intro, emacs, intro
  • emacs_edit/1, emacs_edit/1
  • emacs_edit_nowait/1, emacs_edit_nowait/1
  • emacs_eval/1, emacs_eval/1
  • emacs_eval_nowait/1, emacs_eval_nowait/1
  • embedded debugger, embedded debugger
  • eng_backtrack/2, eng_backtrack/2, eng_backtrack/2, eng_backtrack/2
  • eng_call/3, eng_call/3
  • eng_call/4, 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_kill/1, eng_kill/1
  • eng_killothers, eng_killothers
  • eng_killothers/0, eng_killothers/0
  • eng_release/1, eng_release/1, 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_status1/1
  • eng_wait/1, eng_wait/1, eng_wait/1, eng_wait/1, eng_wait/1, eng_wait/1
  • engine
  • engine directory, engine directory
  • engine module
  • engine(basic_props)
  • Enrico Pontelli
  • ensure_loaded/1, ensure_loaded/1, ensure_loaded/1, ensure_loaded/1, ensure_loaded/1, ensure_loaded/1, ensure_loaded/1, ensure_loaded/1
  • entry assertion
  • entry/1, entry/1, entry/1, entry/1, entry/1, entry/1, entry/1, entry/1
  • environment variable
  • environment variable definitions, environment variable definitions
  • environment variables, environment variables
  • environment variables, setup
  • 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, error_protect/1
  • etc
  • etc(xfrefs)
  • etc(xmrefs)
  • evaluable functors
  • exec/3, exec/3
  • exec/4, exec/4
  • executable
  • executables
  • executables, dynamic
  • executables, generating, executables, generating
  • executables, how to run
  • executables, lazy load
  • executables, static
  • executables, types
  • execution visualizers
  • existential quantification
  • exp/1
  • expander_pred/1
  • expansion
  • expansions
  • Explorer
  • export/1, export/1, export/1, export/1, export/1, export/1
  • exports
  • extensibility
  • extension/2, extension/2
  • extern/1
  • External interface, External interface
  • extract_paths/2, extract_paths/2

    • f

  • 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_read/1, fast_read/1, fast_read/1
  • fast_write/1, fast_write/1
  • fast_write_to_string/3, fast_write_to_string/3
  • fastrw, fastrw
  • feature terms, feature terms
  • fetch_url/3, fetch_url/3
  • file_exists/1, file_exists/1
  • file_exists/2, file_exists/2
  • file_locks/file_locks
  • file_name_extension/3, file_name_extension/3
  • file_properties/6, file_properties/6
  • file_property/2, file_property/2
  • file_search_path/2, file_search_path/2, file_search_path/2, file_search_path/2, file_search_path/2, file_search_path/2, file_search_path/2, file_search_path/2
  • file_terms/2, file_terms/2
  • file_to_string/2, file_to_string/2
  • file_utils
  • fileerrors/0, fileerrors/0
  • fileinfo
  • filenames, filenames
  • find_name/4, find_name/4
  • findall/3, findall/3, findall/3, findall/3, findall/3, findall/3, findall/3
  • findall/4, findall/4
  • findnsols/4, findnsols/4, findnsols/4
  • findnsols/5, findnsols/5
  • flag/1
  • float/1, float/1, float/1
  • float_fractional_part/1
  • float_integer_part/1
  • floor/1
  • flt/1, flt/1, flt/1
  • flush_output/0, flush_output/0
  • flush_output/1, flush_output/1
  • fmode/2, fmode/2
  • foldl/4, foldl/4
  • force_lazy/1, force_lazy/1, force_lazy/1, force_lazy/1
  • foreign/1, foreign/1, foreign/1
  • foreign/2, foreign/2, foreign/2
  • form_default/3, form_default/3
  • form_empty_value/1, form_empty_value/1
  • form_request_method/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
  • formatting conventions, for emacs
  • formatting/2, formatting/2
  • Francisco Bueno
  • freeze/2, freeze/2, freeze/2
  • FROM-clauses
  • frozen/2, frozen/2, frozen/2
  • func/1, func/1
  • function/1
  • functional syntax, functional syntax
  • functions, functions, functions
  • functor of a goal
  • functor/3, functor/3

    • g

  • g_assrt_body/1, g_assrt_body/1
  • garbage collection, garbage collection
  • garbage_collect/0, garbage_collect/0
  • garbage_collection_option/1
  • gc/0, gc/0
  • gc_result/1
  • 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_alias_path/0
  • get_arch/1, get_arch/1
  • get_attribute/2, get_attribute/2
  • get_byte/1, get_byte/1
  • get_byte/2, get_byte/2
  • get_char/1, get_char/1
  • get_char/2, get_char/2
  • get_code/1, get_code/1
  • get_code/2, get_code/2
  • get_form_input/1, get_form_input/1
  • get_form_value/3, get_form_value/3
  • get_global/2, get_global/2
  • get_line/1, get_line/1
  • get_line/2, get_line/2
  • get_os/1, get_os/1
  • get_pid/1, get_pid/1
  • get_primes/2, get_primes/2
  • get_query_id/1
  • getcounter/2, getcounter/2
  • getct/2, getct/2
  • getct1/2, getct1/2
  • getenvstr/2, getenvstr/2
  • ghostview, ghostview
  • global variables, global variables
  • GlobalChangeLog, GlobalChangeLog, GlobalChangeLog
  • gmake, gmake
  • gnd/1, gnd/1
  • GNU
  • GNU emacs, GNU emacs, 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
  • graphs/lgraphs
  • graphs/ugraphs, graphs/ugraphs
  • ground/1, ground/1, ground/1, ground/1
  • gunzip, gunzip

    • h

  • H. Ait-Kaci
  • halt/0, halt/0
  • halt/1, halt/1
  • halt_server/0, halt_server/0
  • handle_error/2, handle_error/2
  • hard side-effects
  • head pattern, head pattern, head pattern, head pattern
  • head_pattern/1, head_pattern/1, head_pattern/1, head_pattern/1, head_pattern/1
  • hello, hello
  • help, help, help, help
  • help, unix
  • help, windows
  • higher-order library, higher-order library
  • html2terms/2, html2terms/2
  • html_protect/1, html_protect/1
  • html_report_error/1, html_report_error/1
  • html_template/3, html_template/3
  • http_lines/3, http_lines/3
  • hw
  • hw.pls, hw.pls

    • i

  • icon_address/2, 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/1
  • in/2, in/2, in/2, in/2
  • in_noblock/1, in_noblock/1
  • in_stream/2, in_stream/2
  • inccounter/2, inccounter/2
  • include/1, include/1, include/1, include/1
  • indep/1, indep/1, indep/1, indep/1, indep/1
  • indep/2, indep/2, indep/2, indep/2, indep/2
  • independent
  • Inference of properties
  • info, info, 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 file, initialization file
  • initialization/1
  • initialize_db/0, initialize_db/0, initialize_db/0
  • INRIA
  • insert/3, insert/3
  • insert_last/3, insert_last/3
  • installation, installation
  • installation, checking the
  • installation, network based
  • installation, Un*x, full instructions
  • installation, Un*x, summary
  • installation, Windows, from sources
  • 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
  • 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_name/1, interface_name/1
  • interface_source/1, interface_source/1
  • interfaces, interfaces
  • internal_module_id/1
  • interpreted mode, interpreted mode
  • interpreting, interpreting
  • intersection/3, intersection/3
  • intlist/1, intlist/1
  • intset_delete/3, intset_delete/3
  • intset_in/2, intset_in/2
  • intset_insert/3, intset_insert/3
  • intset_sequence/3, intset_sequence/3
  • io_aux
  • io_mode/1, io_mode/1
  • is/2, is/2, is/2, is/2, is/2
  • is_det/1, is_det/1
  • iso, iso, iso, iso, iso
  • ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog
  • ISO-Prolog 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_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
  • 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

    • j

  • Jan Maluzynski
  • Java commands, Java commands, Java commands, Java commands
  • Java event handling from Prolog
  • Java exception handling from Prolog
  • Java interface, Java interface
  • java_add_listener/3, java_add_listener/3
  • java_connection/0, java_connection/0
  • java_constructor/1, java_constructor/1
  • java_create_object/2, java_create_object/2
  • java_delete_object/1, java_delete_object/1
  • java_disconnection/0, java_disconnection/0
  • java_event/1, java_event/1
  • java_fast_read/2, java_fast_read/2
  • java_fast_write/2, java_fast_write/2
  • java_field/1, java_field/1
  • java_get_value/2, java_get_value/2
  • java_invoke_method/2, java_invoke_method/2
  • java_method/1, java_method/1
  • java_object/1, java_object/1
  • java_remote_connection/1, java_remote_connection/1
  • java_remove_listener/3, java_remove_listener/3
  • java_set_value/2, java_set_value/2
  • java_stream/3, java_stream/3
  • javart
  • javasock, javasock
  • Johan Andersson
  • Johan Bevemyr
  • Johan Widen
  • John Gallagher
  • jtopl

    • k

  • K.U. Leuven
  • Kalyan Muthukumar
  • Kevin Greene
  • key sequences
  • keyboard
  • keypair/1
  • keysort/2, keysort/2
  • keyword/1
  • Kim Marriott

    • l

  • L. Byrd
  • L.M. Pereira
  • last/2, last/2
  • leap
  • leash/1, leash/1, leash/1
  • length/2, length/2
  • letter_match/2, letter_match/2
  • lgraph/2, lgraph/2
  • lib library, lib library
  • libpaths
  • libraries used
  • library directory
  • library('xrefs/mrefs')
  • library('xrefs/pxrefs')
  • library(iso_byte_char)
  • library(modes)
  • library(pure)
  • library(xrefs)
  • library/pillow/doc
  • library_directory/1, library_directory/1, library_directory/1, library_directory/1, library_directory/1, library_directory/1, library_directory/1
  • librowser
  • limitations, limitations
  • limitations, architecture-specific
  • linda_client/1, linda_client/1
  • linda_timeout/2, linda_timeout/2
  • line/1
  • line_count/2, line_count/2
  • line_position/2, line_position/2
  • linear/1, linear/1
  • linker_and_opts/2, linker_and_opts/2
  • Linkoping U., Linkoping U.
  • 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_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
  • load_compilation_module/1, load_compilation_module/1, load_compilation_module/1, load_compilation_module/1
  • loading mode
  • loading programs, loading programs, loading programs
  • locating errors
  • lock_atom/1, lock_atom/1
  • lock_file/3, lock_file/3
  • log of changes
  • log/1
  • LogIn
  • Low level Java to Prolog interface
  • Low-Level Prolog to Java Interface Structure
  • Low-Level Prolog to Java Interface Structure. Java side
  • Low-Level Prolog to Java Interface Structure. Prolog side
  • LPdoc
  • lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc
  • lpdoc command args, setting
  • lpdoc command, setting
  • lpdoc default format, setting
  • lpdoc lib path, setting
  • lpdoc working dir, setting
  • lpmake, lpmake, lpmake, lpmake, lpmake, lpmake, lpmake

    • m

  • machine_name/1, machine_name/1
  • mailing list, mailing list, mailing list
  • main module
  • main/0, 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, 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_exec/2
  • make_persistent/2, make_persistent/2, make_persistent/2
  • make_po/1, make_po/1
  • make_sql_persistent/3, make_sql_persistent/3, make_sql_persistent/3, make_sql_persistent/3, make_sql_persistent/3
  • Makefile
  • Makefile.pl, Makefile.pl, Makefile.pl
  • man
  • MANPATH
  • 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
  • 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, 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, member_0/2
  • memberchk/2, memberchk/2
  • memory management, memory management
  • memory_option/1
  • memory_result/1
  • merge/3, merge/3
  • message/1, message/1
  • message/2, message/2, message/2, message/2
  • message_lns/4, message_lns/4
  • messages, messages, messages, messages
  • meta_predicate/1, meta_predicate/1
  • metaspec/1
  • metaterms, metaterms, metaterms, metaterms
  • 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, 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, module/3
  • modulename/1
  • Monash U.
  • moving changelog entries
  • mshare/1, mshare/1
  • multi-evaluated
  • multiarchitecture support
  • multifile predicate
  • multifile/1, multifile/1, multifile/1, multifile/1, multifile/1
  • multpredspec/1
  • mut_exclusive/1, mut_exclusive/1
  • my_url/1, my_url/1
  • mycin/2, mycin/2
  • mycin/mycin_rt

    • n

  • n_assrt_body/5, n_assrt_body/5, n_assrt_body/5
  • nabody/1, nabody/1
  • Name, Name, Name
  • name/2, name/2
  • native/1, native/1
  • native/2, native/2
  • negated comparison goal
  • negated database goal
  • negated goals
  • negated_comparison/2
  • negations
  • neighbors/3, neighbors/3
  • netscape, netscape
  • New Mexico State University
  • new/2, new/2, new/2, new/2, new/2, new/2, new/2, new/2, new/2
  • new_atom/1, new_atom/1
  • new_declaration/1, new_declaration/1
  • new_declaration/2, new_declaration/2
  • nl/0, nl/0
  • nl/1, nl/1
  • nnegint/1, nnegint/1
  • no_path_file_name/2, no_path_file_name/2
  • nobreakall/0, nobreakall/0
  • nobreakpt/6, nobreakpt/6, nobreakpt/6, nobreakpt/6
  • nocontainsx/2, nocontainsx/2
  • nodebug, nodebug
  • nodebug/0, nodebug/0, nodebug/0
  • nodebug_module/1, nodebug_module/1, nodebug_module/1
  • nofileerrors/0, nofileerrors/0
  • nogc/0, nogc/0
  • non-failure
  • 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_fails/1, not_fails/1
  • not_further_inst/1
  • not_further_inst/2, not_further_inst/2
  • not_mut_exclusive/1, not_mut_exclusive/1
  • notation
  • note/1
  • note_message/1, note_message/1
  • note_message/2, note_message/2
  • note_message/3, note_message/3
  • notrace/0, notrace/0
  • ntemacs
  • nth/3, nth/3
  • null_dict/1, null_dict/1
  • num/1, num/1
  • number/1, number/1
  • number_chars/2, number_chars/2
  • number_codes/2, number_codes/2, number_codes/2
  • number_codes/3, number_codes/3
  • numbervars/3, numbervars/3
  • numlist/1, numlist/1

    • o

  • object
  • object oriented programming, object oriented programming
  • objects/objects_rt, objects/objects_rt
  • ODBC
  • odbc_connect/2, odbc_connect/2
  • odbc_disconnect/1, odbc_disconnect/1, odbc_disconnect/1
  • old_database
  • on-line help
  • on_abort/1
  • once/1, once/1
  • op/3, op/3, op/3, op/3
  • open/3, open/3
  • open/4, open/4
  • open_client/2, open_client/2
  • open_input/2, open_input/2
  • open_null_stream/1, open_null_stream/1
  • open_output/2, open_output/2
  • open_predicate/1, open_predicate/1
  • operations file
  • operator table
  • operator_specifier/1, operator_specifier/1
  • operators, operators, operators, operators, operators, operators, operators, operators, operators, operators, operators
  • optional_message/2, optional_message/2
  • optional_message/3, optional_message/3
  • ord_delete/3, ord_delete/3
  • ord_disjoint/2, ord_disjoint/2
  • ord_intersect/2, ord_intersect/2
  • ord_intersection/3, ord_intersection/3
  • ord_intersection_diff/4, ord_intersection_diff/4
  • ord_member/2, ord_member/2
  • ord_subset/2, ord_subset/2
  • ord_subset_diff/3, ord_subset_diff/3
  • ord_subtract/3, ord_subtract/3
  • ord_test_member/3, ord_test_member/3
  • ord_union/3, ord_union/3
  • ord_union_change/3, ord_union_change/3
  • ord_union_diff/4, ord_union_diff/4
  • ord_union_symdiff/4, ord_union_symdiff/4
  • out/1, out/1, out/1, out/1
  • out/2, out/2
  • out_stream/2, out_stream/2
  • output_html/1, output_html/1
  • overriden, overriden

    • p

  • P. Lincoln
  • package file, package file, package file, package file, package file, package file, package file, package file
  • pair/1
  • parallel programming, parallel programming
  • parallel Prolog
  • parallelizing compiler
  • parametric property
  • parametric regular type abstractions
  • PARFORCE
  • parse_term/3, parse_term/3
  • passertz_fact/1, passertz_fact/1, passertz_fact/1
  • passwd/1, passwd/1, passwd/1
  • 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/1
  • peek_byte/2, peek_byte/2
  • peek_char/1, peek_char/1
  • peek_char/2, peek_char/2
  • peek_code/1, peek_code/1
  • peek_code/2, peek_code/2
  • 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 predicate, Persistent predicate
  • persistent predicates, persistent predicates
  • persistent/2, persistent/2
  • persistent_dir/2, persistent_dir/2, persistent_dir/2, persistent_dir/2, persistent_dir/2, persistent_dir/2
  • Peter Olin
  • Peter Stuckey
  • phrase/2, phrase/2
  • phrase/3, phrase/3
  • Pierre Deransart
  • pillow
  • pillow/common, pillow/common
  • pillow/html
  • pillow/http
  • 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
  • point_to/3, point_to/3
  • Polymorphism
  • pop_global/2, pop_global/2
  • pop_prolog_flag/1, pop_prolog_flag/1, pop_prolog_flag/1
  • popen/3, popen/3
  • popen_mode/1, popen_mode/1
  • portray/1, portray/1, portray/1
  • portray_attribute/1
  • portray_attribute/2, portray_attribute/2
  • portray_clause/1, portray_clause/1
  • 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
  • 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/1, pred/1, pred/1
  • pred/2, pred/2, pred/2, 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
  • 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
  • print/1, print/1, print/1
  • print/2, print/2
  • printable_char/1, printable_char/1
  • printdepth
  • printing assertion information
  • printing code-related information
  • printing, manual, printing, manual, printing, manual
  • printqueries/1, printqueries/1
  • Procedure Box
  • process_first_command/1
  • process_next_command/2
  • program assertions
  • program development environment
  • program development tools
  • program parallelization
  • program specialization
  • program transformations, program transformations
  • programming environment, programming environment
  • project files
  • projterm/1, projterm/1, projterm/1
  • Prolog answers, Prolog answers
  • prolog flag, prolog flag, prolog flag, prolog flag, prolog flag, prolog flag
  • Prolog predicate argument positions
  • Prolog predicate names
  • Prolog scripts, Prolog scripts
  • Prolog server
  • Prolog shell
  • Prolog shell scripts
  • Prolog to SQL compiler
  • Prolog to SQL translation, Prolog to SQL translation
  • Prolog to SQL translator
  • prolog-emacs interface
  • prolog.el
  • prolog_flag/3, prolog_flag/3
  • prolog_goal/1, prolog_goal/1
  • prolog_parse/2
  • prolog_query/1
  • prolog_server/0, prolog_server/0
  • prolog_sys, prolog_sys
  • PrologName, PrologName
  • prompt
  • prompt/2, prompt/2
  • prop assertion, prop assertion
  • prop/1, prop/1, prop/1, prop/1, prop/1, prop/1, prop/1, prop/1
  • prop/2, prop/2, prop/2, prop/2, prop/2, prop/2, prop/2, prop/2
  • prop_abs/1
  • properties of computations
  • properties of execution states
  • properties, basic
  • properties, native
  • property
  • property abstraction, property abstraction
  • property compatibility
  • property declarations
  • property_conjunction/1, property_conjunction/1, property_conjunction/1, property_conjunction/1
  • property_starterm/1, property_starterm/1, property_starterm/1, property_starterm/1, property_starterm/1
  • propfunctor/1, propfunctor/1
  • protected
  • proves/2
  • providing information to the compiler, providing information to the compiler
  • prune_dict/3, prune_dict/3
  • public
  • public domain, public domain
  • public interface
  • public/1, public/1, public/1
  • pure, pure
  • pure Prolog, pure Prolog, pure Prolog
  • push_global/2, push_global/2
  • push_prolog_flag/2, push_prolog_flag/2, push_prolog_flag/2
  • put_byte/1, put_byte/1
  • put_byte/2, put_byte/2
  • put_char/1, put_char/1
  • put_char/2, put_char/2
  • put_code/1, put_code/1
  • put_code/2, put_code/2

    • q

  • q_delete/3, q_delete/3
  • q_empty/1, q_empty/1
  • q_insert/3, q_insert/3
  • q_member/2, q_member/2
  • qualified attributes
  • query
  • query_generation/3
  • querybody/1, querybody/1, querybody/1, querybody/1
  • quoted string

    • r

  • random/1, random/1
  • random/3, random/3
  • range variable
  • rd/1, rd/1
  • rd/2, rd/2
  • rd_findall/3, rd_findall/3
  • rd_noblock/1, rd_noblock/1
  • read, read, read, read, read, read, read, read, read, read, read, read, read, read, read, read, read, read, read
  • read/1, read/1, read/1
  • read/2, read/2, read/2, read/2
  • read_command/1
  • read_term/2, read_term/2, read_term/2
  • read_term/3, read_term/3, read_term/3, read_term/3
  • read_tokens/2, read_tokens/2
  • read_top_level/3, read_top_level/3
  • recorda/3, recorda/3
  • recorded/3, recorded/3
  • records, records
  • recordz/3, recordz/3
  • recursive level, recursive level
  • redefined
  • redefining/1
  • RedHat 5.0
  • reexport/1
  • reexport/2
  • reference/1
  • regtype assertion, regtype assertion
  • regtype/1, regtype/1, regtype/1, regtype/1, regtype/1, regtype/1, regtype/1, regtype/1, regtype/1, regtype/1
  • regtype/2, regtype/2, regtype/2, regtype/2, regtype/2, regtype/2, regtype/2, regtype/2
  • regular expresions
  • regular expressions
  • regular type
  • regular type definitions
  • regular types
  • relation name
  • relation/3, relation/3, relation/3, relation/3
  • relational databases
  • rem/2
  • rename/2, rename/2
  • repeat/0, repeat/0
  • reporting bugs, reporting bugs, reporting bugs
  • retract/1, retract/1
  • retract_fact/1, retract_fact/1, retract_fact/1, retract_fact/1, retract_fact/1, retract_fact/1, retract_fact/1, retract_fact/1
  • retract_fact_nb/1, retract_fact_nb/1
  • retractall/1, retractall/1
  • retractall_fact/1, retractall_fact/1, retractall_fact/1, retractall_fact/1
  • retry
  • returns/2, returns/2
  • reverse/2, reverse/2
  • reverse/3, reverse/3
  • Roger Nasr, Roger Nasr
  • round/1
  • rtchecks/rtchecks_sys
  • run-time checks, run-time checks
  • run-time libraries
  • run-time tests
  • running programs, running programs, running programs, running programs

    • s

  • s_assrt_body/1, s_assrt_body/1
  • Saumya Debray
  • scripts, scripts, scripts, scripts, scripts
  • second_prompt/2, second_prompt/2
  • see/1, see/1
  • seeing/1, seeing/1
  • seen/0, seen/0
  • Seif Haridi
  • select/3, select/3
  • select_socket/5, select_socket/5
  • self/1, self/1
  • semantic analisys
  • semaphore, semaphore, 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_global/2
  • set_input/1, set_input/1
  • set_nodebug_mode/1, set_nodebug_mode/1, set_nodebug_mode/1
  • set_output/1, set_output/1
  • set_prolog_flag/1
  • set_prolog_flag/2, set_prolog_flag/2, set_prolog_flag/2
  • setarg/3, setarg/3
  • setcounter/2, setcounter/2
  • setof/3, setof/3, setof/3, setof/3, setof/3, setof/3
  • setproduct/3, setproduct/3
  • sets, sets, sets, sets
  • SETTINGS, SETTINGS, SETTINGS, SETTINGS, SETTINGS, SETTINGS, SETTINGS
  • sh, sh, sh, sh, sh
  • sh-compatible shell, sh-compatible shell, sh-compatible shell
  • sharing sets
  • shell
  • shell scripts
  • shell/0, shell/0
  • shell/1, shell/1
  • shell/2, shell/2
  • shell_s/0
  • SICS, SICS
  • SICStus
  • SICStus Prolog
  • sideff_hard/1, sideff_hard/1
  • sideff_pure/1, sideff_pure/1
  • sideff_soft/1, sideff_soft/1
  • sign/1
  • simple_message/1, simple_message/1
  • simple_message/2, simple_message/2
  • sin/1
  • site-specific programs
  • size_lb/2, size_lb/2
  • size_of/3, size_of/3
  • size_ub/2, size_ub/2
  • sizes of terms
  • skip
  • skip_code/1, skip_code/1
  • skip_code/2, skip_code/2
  • Socket implementation
  • Socket interface, Socket interface
  • socket_accept/2, socket_accept/2
  • socket_connection/2, socket_connection/2
  • socket_disconnection/0, socket_disconnection/0
  • socket_recv/2, socket_recv/2, socket_recv/2
  • socket_recv_code/3, socket_recv_code/3, socket_recv_code/3
  • socket_send/2, socket_send/2, socket_send/2
  • socket_type/1, socket_type/1
  • socketname/1, socketname/1, socketname/1
  • sockets
  • sockets/sockets, sockets/sockets, sockets/sockets, sockets/sockets
  • sockets/sockets_c
  • soft side-effects
  • Solaris
  • solve/1
  • solve_on_thread/1
  • sort, sort, sort, sort, sort, sort, sort, sort, sort, sort, sort, sort
  • sort/2, sort/2
  • source directory
  • source-level debugger, source-level debugger
  • source-level debugging, source-level debugging, 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, specifications
  • spy
  • spy-points, spy-points, spy-points
  • spy/1, spy/1, spy/1, spy/1, spy/1
  • SQL, SQL, SQL
  • SQL attributes
  • SQL Databases
  • SQL queries
  • SQL query, SQL query, SQL query
  • SQL server
  • SQL table names
  • SQL tables, SQL tables
  • SQL-like database interface, SQL-like database interface
  • sql_get_tables/2, sql_get_tables/2
  • sql_persistent/3, sql_persistent/3, sql_persistent/3, sql_persistent/3, sql_persistent/3, sql_persistent/3, sql_persistent/3
  • sql_persistent_location/2, sql_persistent_location/2
  • sql_query/3, sql_query/3, sql_query/3, sql_query/3
  • sql_query_one_tuple/3, sql_query_one_tuple/3
  • sql_table_types/3, sql_table_types/3
  • sqlstring/1, sqlstring/1
  • sqlterm2string/2, sqlterm2string/2
  • sqltype/1, sqltype/1, sqltype/1
  • sqltypes, sqltypes
  • sqrt/1
  • srandom/1, srandom/1
  • standalone compiler, standalone compiler, standalone compiler
  • standalone utilities, standalone utilities
  • standard total ordering
  • static checks
  • static debugging
  • statistics/0, statistics/0
  • statistics/2, statistics/2
  • status bar
  • status, this manual
  • steps_lb/2, steps_lb/2
  • steps_ub/2, steps_ub/2
  • stmthandle/1
  • stream/1, stream/1
  • stream_code/2, stream_code/2
  • stream_property/2, stream_property/2
  • stream_to_string/2, stream_to_string/2
  • streams, streams, streams, streams, 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, style sheets, style sheets
  • sub-shell, sub-shell
  • sub_atom/4, sub_atom/4
  • sub_atom/5, sub_atom/5
  • sublist/2, sublist/2
  • subordlist/2, subordlist/2
  • subterm
  • subtract/3, subtract/3
  • success assertion, success assertion
  • success/1, success/1, success/1, success/1, success/1, success/1, success/1, success/1
  • success/2, success/2, success/2, 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 coloring
  • Syntax highlighting
  • syntax of regular types
  • syntax/1
  • system, system, system, system, system, system, system, system, system, system, system, system, system, system
  • system libraries, system libraries
  • system/1, system/1
  • system/2, system/2
  • system_lib/1, system_lib/1

    • t

  • tab/1, tab/1
  • tab/2, tab/2
  • tar, tar
  • Tcl/tk interface, Tcl/tk interface
  • tcl_delete/1, tcl_delete/1
  • tcl_eval/3, tcl_eval/3
  • tcl_event/3, tcl_event/3
  • tcl_new/1, tcl_new/1
  • tclCommand/1, tclCommand/1
  • tclInterpreter/1, tclInterpreter/1
  • tcltk
  • tcltk/tcltk_low_level
  • tcsh, tcsh, tcsh, tcsh
  • Technical University of Madrid
  • tell/1, tell/1
  • telling/1, telling/1
  • term/1, term/1
  • terms, terms, terms
  • tests, tests, tests, tests
  • text_lines/2, 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_event_loop/1
  • tk_new/2, tk_new/2
  • tk_new/4, tk_new/4
  • tokenize
  • told/0, told/0
  • top-level
  • top-level shell, starting, unix
  • top-level shell, starting, windows
  • topd/0, topd/0
  • toplev, toplev
  • toplevel
  • toplevel command args, setting
  • toplevel command, setting
  • tour, of the manual
  • trace
  • trace/0, trace/0, trace/0
  • trace/1
  • tracing the source code
  • transactional update
  • transient state
  • translate_arithmetic_function/5, translate_arithmetic_function/5
  • translate_comparison/5
  • translate_conjunction/5
  • translate_goal/5
  • translate_projection/3
  • translation_predname/1
  • transpose/2, transpose/2
  • triple/1
  • troubleshooting, troubleshooting
  • true assertion
  • true/0, true/0, true/0
  • true/1, true/1
  • truncate/1, truncate/1
  • trust assertion
  • trust/1, trust/1, trust/1, trust/1
  • ttydisplay/1, ttydisplay/1
  • ttydisplay_string/1, ttydisplay_string/1
  • ttydisplayq/1, ttydisplayq/1
  • ttyflush/0, ttyflush/0
  • ttyget/1, ttyget/1
  • ttyget1/1, ttyget1/1
  • ttynl/0, ttynl/0
  • ttyout, ttyout
  • ttyput/1, ttyput/1
  • ttyskip/1, ttyskip/1
  • ttyskipeol/0, ttyskipeol/0
  • ttytab/1, ttytab/1
  • tuple at a time
  • tuple/1, tuple/1, tuple/1
  • tuples, tuples
  • type, type
  • type declarations
  • type of version control
  • type/2, type/2
  • types

    • u

  • U. of Arizona
  • ugraph/1, ugraph/1
  • ugraph2term/2, ugraph2term/2
  • ugraphs
  • umask/2, umask/2
  • undo/1, undo/1
  • undo_force_lazy/1, undo_force_lazy/1
  • unify
  • unify_with_occurs_check/2, unify_with_occurs_check/2
  • 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, unlock_file/2
  • unmarshalling, unmarshalling
  • update/0, update/0, update/0
  • update_attribute/2, update_attribute/2
  • update_files/2, update_files/2, update_files/2, update_files/2
  • updated state
  • Updates to persistent predicates
  • UPM
  • url_info/2, url_info/2
  • url_info_relative/3, url_info_relative/3
  • url_query/2, url_query/2
  • usage
  • 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 modules, debugging
  • user setup
  • user/1, user/1, user/1
  • users mailing list
  • using alternate engines or libraries

    • v

  • var/1, var/1, var/1
  • variable instantiation
  • variable names
  • variables occurring in several goals
  • variant/2, variant/2
  • varname/1, varname/1
  • varnamedict/1, varnamedict/1
  • varnamesl/1, varnamesl/1
  • varnamesl2dict/2, varnamesl2dict/2
  • vars_names_dict/3, vars_names_dict/3
  • varsbag/3, varsbag/3
  • varset/2, varset/2
  • verify_attribute/2, verify_attribute/2
  • Veroniek Dumortier
  • version control, version control
  • version maintenance mode for packages
  • version number
  • version numbering
  • 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

    • w

  • WAM
  • warning/1
  • warning_message/1, warning_message/1
  • warning_message/2, warning_message/2
  • warning_message/3, warning_message/3
  • Web interface, Web interface
  • WebDB, WebDB, WebDB
  • wellformed_body/3, wellformed_body/3
  • WHERE-clause
  • WHERE-clauses
  • where/1, where/1
  • whitespace/2, whitespace/2
  • whitespace0/2, whitespace0/2
  • why the name Ciao
  • Win32
  • Win95/NT machine
  • 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, write, write
  • write/1, write/1, write/1, write/1
  • write/2, write/2, write/2, write/2
  • write_answer/1
  • write_assertion/6, write_assertion/6
  • write_assertion_as_comment/6, write_assertion_as_comment/6
  • write_canonical/1, write_canonical/1
  • write_canonical/2, write_canonical/2
  • write_list1/1, write_list1/1
  • write_option/1, write_option/1, write_option/1
  • write_string/1, write_string/1
  • write_string/2, write_string/2
  • write_term/2, write_term/2
  • write_term/3, write_term/3
  • writeq/1, writeq/1, writeq/1
  • writeq/2, writeq/2
  • writing programs
  • WWW, WWW
  • WWW browser, WWW browser
  • WWW, interfacing with

    • x

  • xml2terms/2, xml2terms/2

    • |

  • |/2

    • ~

  • ~/.cshrc, ~/.cshrc, ~/.cshrc
  • ~/.emacs, ~/.emacs, ~/.emacs
  • ~/.profile, ~/.profile, ~/.profile
  • ~/1

    • Go to the first, previous, next, last section, table of contents.