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 - y - | - ~

!

  • !/0, !/0
  • #

  • # /2
  • $

  • $/1
  • $/2, $/2
  • $is_persistent/2, $is_persistent/2
  • &

  • &-Prolog, &-Prolog
  • &/2, &/2
  • '

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

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

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

  • ,/2, ,/2
  • -

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

  • ./2, ./2
  • .ciaorc, .ciaorc, .ciaorc, .ciaorc, .ciaorc, .ciaorc, .ciaorc
  • .emacs, .emacs, .emacs, .emacs
  • .tar files
  • /

  • / /2
  • // /2
  • /\ /2
  • /bin/sh, /bin/sh
  • /bin/sh.exe
  • :

  • ::/2
  • :=/2
  • ;

  • ;/2, ;/2
  • <

  • <-/1
  • <-/2
  • </2, </2
  • << /2
  • =

  • =../2, =../2
  • =/2, =/2
  • =:=/2, =:=/2
  • =</2, =</2
  • ==/2, ==/2, ==/2
  • =>/2, =>/2, =>/2, =>/2
  • =\=/2, =\=/2
  • >

  • >/2, >/2
  • >=/2, >=/2
  • >> /2
  • ?

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

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

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

  • ^/2, ^/2, ^/2, ^/2, ^/2
  • 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 module, active module
  • active modules, active modules
  • active object
  • active_agents/1, active_agents/1
  • add_after/4, add_after/4, add_after/4, add_after/4
  • add_before/4, add_before/4, add_before/4, add_before/4
  • add_clause_trans/1
  • add_edges/3, add_edges/3
  • add_goal_trans/1, add_goal_trans/1
  • add_sentence_trans/1, add_sentence_trans/1, add_sentence_trans/1, add_sentence_trans/1, add_sentence_trans/1, add_sentence_trans/1
  • add_term_trans/1, add_term_trans/1, add_term_trans/1
  • add_vertices/3, add_vertices/3
  • addmodule and pred(N) meta-arguments
  • address/1, address/1
  • aggregate function (sub)queries
  • aggregate function terms
  • aggregate_function/3
  • aggregate_functor/2, aggregate_functor/2, aggregate_functor/2
  • aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates, aggregates
  • aggregation operations
  • aggregation predicates
  • analyzer output, analyzer output
  • ancestors
  • andprolog/andprolog
  • Anne Mulkers
  • answer variable, answer variable, answer variable
  • answer/1
  • answertableterm
  • answertableterm/1, answertableterm/1, answertableterm/1
  • answertupleterm/1, answertupleterm/1
  • append/3, append/3
  • apropos/1, apropos/1
  • apropos_spec/1
  • arg/2, arg/2
  • arg/3, arg/3
  • arg_expander/6, arg_expander/6, arg_expander/6
  • argnames/1
  • arithexpression/1, arithexpression/1, arithexpression/1
  • arithmetic
  • arithmetic goal
  • arithmetic_functor/2, arithmetic_functor/2
  • ASCII code
  • ask/2, ask/2
  • assert/1, assert/1
  • assert/2, assert/2
  • asserta/1, asserta/1
  • asserta/2, asserta/2
  • asserta_fact/1, asserta_fact/1, asserta_fact/1
  • asserta_fact/2, asserta_fact/2
  • assertion body syntax, assertion body syntax, assertion body syntax, assertion body syntax
  • assertion language
  • assertion language
  • assertion normalizer
  • assertions, assertions, assertions, assertions
  • assertions/assertions_props, assertions/assertions_props, assertions/assertions_props
  • assertions/assrt_lib
  • assertions/doc_props, assertions/doc_props, assertions/doc_props
  • assertions/meta_props, assertions/meta_props, assertions/meta_props, assertions/meta_props
  • assertz/1, assertz/1
  • assertz/2, assertz/2
  • assertz_fact/1, assertz_fact/1, assertz_fact/1, assertz_fact/1, assertz_fact/1, assertz_fact/1, assertz_fact/1
  • assertz_fact/2, assertz_fact/2
  • assrt_body/1, assrt_body/1, assrt_body/1
  • assrt_status/1, assrt_status/1
  • assrt_type/1, assrt_type/1
  • atan/1
  • atm/1, atm/1
  • atm_or_atm_list/1, atm_or_atm_list/1
  • atom/1, atom/1
  • atom2term
  • atom2term/2, atom2term/2, atom2term/2
  • atom_chars/2, atom_chars/2
  • atom_codes/2, atom_codes/2, atom_codes/2
  • atom_concat/2, atom_concat/2
  • atom_concat/3, atom_concat/3
  • atom_length/2, atom_length/2
  • atom_lock_state/2, atom_lock_state/2
  • Atomic goals
  • atomic/1, atomic/1
  • attach_attribute/2, attach_attribute/2
  • attribute
  • attribute/4, attribute/4, attribute/4, attribute/4, attribute/4
  • attributes, attributes
  • attributes/1, attributes/1, attributes/1, attributes/1
  • Austrian Research Institute for AI
  • axis_limit/1, axis_limit/1, axis_limit/1, axis_limit/1
  • b

  • backup file
  • bagof/3, bagof/3, bagof/3
  • barchart1/10
  • barchart1/7, barchart1/7, barchart1/7
  • barchart1/8
  • barchart1/9, barchart1/9, barchart1/9
  • barchart2/10
  • barchart2/11, barchart2/11, barchart2/11
  • barchart2/7, barchart2/7, barchart2/7
  • barchart2/8
  • barchart3/7, barchart3/7, barchart3/7
  • barchart3/9, barchart3/9, barchart3/9
  • barchart4/11, barchart4/11, barchart4/11
  • barchart4/7, barchart4/7, barchart4/7
  • basename/2, basename/2
  • bash, bash, bash, bash, bash
  • basic_props:regtype/1
  • between
  • bf
  • bf/af
  • bind_socket/3, bind_socket/3
  • bltwish_interp/1, bltwish_interp/1
  • body/1
  • body_expander/6, body_expander/6, body_expander/6, body_expander/6
  • box-type debugger
  • breadth first execution
  • breadth-first execution, breadth-first execution
  • breakpoins
  • breakpoint
  • breakpoints
  • breakpt/6, breakpt/6, breakpt/6, breakpt/6, breakpt/6
  • Bristol University
  • browse/2, browse/2
  • bugs, reporting
  • building standalone distributions
  • builtin directives, builtin directives
  • builtin modules
  • byte/1, byte/1
  • byte_list/1, byte_list/1, byte_list/1
  • c

  • C/3, C/3
  • c:/.emacs
  • c_assrt_body/1, c_assrt_body/1
  • c_itf
  • call/1, call/1, call/1
  • call/2, call/2, call/2, call/2
  • call/N
  • call_in_module/2, call_in_module/2, call_in_module/2
  • callable/1, callable/1
  • Calling emacs, Calling emacs
  • callme/1
  • callme/2, callme/2, callme/2, callme/2, callme/2
  • calls assertion, calls assertion
  • calls/1, calls/1, calls/1, calls/1, calls/1, calls/1
  • calls/2, calls/2, calls/2
  • canonic_html_term/1, canonic_html_term/1, canonic_html_term/1, canonic_html_term/1, canonic_html_term/1
  • canonic_xml_term/1, canonic_xml_term/1, canonic_xml_term/1
  • case_insensitive_match/2, case_insensitive_match/2
  • catch/3, catch/3, catch/3, catch/3
  • cd/1, cd/1, cd/1, cd/1
  • ceiling/1
  • cell_value/1, cell_value/1, cell_value/1
  • certainty factor, certainty factor
  • CGI, CGI
  • CGI executables
  • char_code/2, char_code/2
  • char_conversion/2
  • character string
  • character_code/1, character_code/1
  • character_count/2, character_count/2
  • chartlib/bltclass, chartlib/bltclass, chartlib/bltclass, chartlib/bltclass, chartlib/bltclass, chartlib/bltclass, chartlib/bltclass, chartlib/bltclass, chartlib/bltclass, chartlib/bltclass, chartlib/bltclass, chartlib/bltclass, chartlib/bltclass
  • chartlib/chartlib_errhandle
  • chartlib/color_pattern, chartlib/color_pattern, chartlib/color_pattern, chartlib/color_pattern, chartlib/color_pattern, chartlib/color_pattern, chartlib/color_pattern
  • chartlib/genbar1, chartlib/genbar1, chartlib/genbar1, chartlib/genbar1, chartlib/genbar1, chartlib/genbar1, chartlib/genbar1, chartlib/genbar1, chartlib/genbar1, chartlib/genbar1, chartlib/genbar1
  • chartlib/genbar2
  • chartlib/genbar3
  • chartlib/genbar4
  • chartlib/gengraph1, chartlib/gengraph1
  • chartlib/gengraph2
  • chartlib/genmultibar
  • chartlib/install_utils, chartlib/install_utils, chartlib/install_utils, chartlib/install_utils, chartlib/install_utils, chartlib/install_utils, chartlib/install_utils, chartlib/install_utils, chartlib/install_utils, chartlib/install_utils, chartlib/install_utils
  • chartlib/table_widget1, chartlib/table_widget1, chartlib/table_widget1, chartlib/table_widget1
  • chartlib/table_widget2
  • chartlib/table_widget3
  • chartlib/table_widget4
  • chartlib/test_format, chartlib/test_format, chartlib/test_format, chartlib/test_format, chartlib/test_format, chartlib/test_format, chartlib/test_format, chartlib/test_format, chartlib/test_format, chartlib/test_format, chartlib/test_format
  • chartlib_errhandle, chartlib_errhandle
  • chartlib_text_error_protect/1, chartlib_text_error_protect/1, chartlib_text_error_protect/1, chartlib_text_error_protect/1, chartlib_text_error_protect/1
  • chartlib_visual_error_protect/1, chartlib_visual_error_protect/1, chartlib_visual_error_protect/1
  • check assertion
  • check/1, check/1, check/1, check/1, check/1, check/1
  • check_sublist/4, check_sublist/4
  • chmod/2, chmod/2
  • chmod/3, chmod/3
  • Christian Holzbauer
  • ciao, ciao, ciao, ciao
  • Ciao basic builtins, Ciao basic builtins
  • Ciao engine, Ciao engine, Ciao engine, Ciao engine
  • Ciao engine builtins
  • Ciao preprocessor
  • ciao, global description
  • Ciao, why this name
  • ciao-shell, ciao-shell, ciao-shell, ciao-shell, ciao-shell
  • ciao-users
  • ciao.reg
  • ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc, ciaoc
  • ciaoc.bat
  • ciaolibdir/1, ciaolibdir/1
  • ciaopp, ciaopp, ciaopp, ciaopp, ciaopp, ciaopp, ciaopp, ciaopp, ciaopp
  • ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh, ciaosh
  • ciaosh.cpx, ciaosh.cpx
  • CICYT/MEC
  • class constructor
  • class instances
  • class_name/1, class_name/1
  • class_source/1, class_source/1
  • clause/1
  • clause/2, clause/2
  • clause/3, clause/3
  • clauses/1
  • clearerr/1, clearerr/1
  • client installation
  • client.bat
  • CLIP group
  • close/1, close/1, close/1, close/1
  • close/2, close/2
  • close_client/0, close_client/0
  • close_file/1, close_file/1
  • close_input/1, close_input/1
  • close_output/1, close_output/1
  • close_predicate/1, close_predicate/1
  • closed, closed, closed, closed
  • clterm/1
  • code_class/2, code_class/2, code_class/2
  • color/1, color/1, color/1
  • color/2, color/2
  • combine_attributes/2, combine_attributes/2, combine_attributes/2, combine_attributes/2, combine_attributes/2, combine_attributes/2, combine_attributes/2
  • command
  • command/1
  • comment assertion
  • comment string, comment string, comment string, comment string
  • comment/2, comment/2
  • comments, machine readable
  • comp assertion, comp assertion
  • comp/1, comp/1, comp/1, comp/1, comp/1, comp/1
  • comp/2, comp/2, comp/2
  • compare/3, compare/3
  • comparison goal
  • comparison operations
  • comparison/2, comparison/2
  • compat/2, compat/2
  • compatibility properties
  • compatible
  • compile/1, compile/1, compile/1, compile/1
  • compiler, standalone
  • compiler/c_itf, compiler/c_itf
  • compiler/compiler, compiler/compiler
  • compiler/exemaker
  • compiler_and_opts/2, compiler_and_opts/2
  • compiling programs, compiling programs, compiling programs, compiling programs, compiling programs, compiling programs
  • compiling, from command line
  • complete proof procedure, complete proof procedure
  • complete_dict/3, complete_dict/3
  • complete_vars_dict/3, complete_vars_dict/3
  • complex argument property, complex argument property, complex argument property, complex argument property, complex argument property, complex argument property, complex argument property, complex argument property
  • complex goal property, complex goal property, complex goal property
  • complex_arg_property/1, complex_arg_property/1, complex_arg_property/1, complex_arg_property/1, complex_arg_property/1, complex_arg_property/1, complex_arg_property/1, complex_arg_property/1, complex_arg_property/1
  • complex_goal_property/1, complex_goal_property/1, complex_goal_property/1, complex_goal_property/1
  • compound/1, compound/1
  • concurrency
  • concurrency/concurrency, concurrency/concurrency, concurrency/concurrency
  • concurrent, concurrent, concurrent
  • concurrent attribute
  • concurrent predicate, concurrent predicate, concurrent predicate
  • concurrent predicates
  • concurrent updates, concurrent updates
  • concurrent/1, concurrent/1, concurrent/1
  • conjunctions
  • connect_to_socket/3, connect_to_socket/3, connect_to_socket/3
  • connect_to_socket_type/4, connect_to_socket_type/4, connect_to_socket_type/4, connect_to_socket_type/4
  • constant arguments
  • constant/1, constant/1
  • constraint logic programming, constraint logic programming
  • constructor
  • constructor/0, constructor/0
  • constructor/1, constructor/1
  • consult/1, consult/1, consult/1, consult/1
  • contains1/2, contains1/2
  • contains_ro/2, contains_ro/2
  • Context-sensitive, Context-sensitive
  • contributed libraries, contributed libraries
  • control
  • copy_args/3, copy_args/3
  • copy_stdout/1, copy_stdout/1
  • copy_term/2, copy_term/2
  • cos/1
  • covered/1, covered/1
  • create_dict/2, create_dict/2
  • creep
  • csh
  • csh-compatible shell
  • ctrlc_clean/1, ctrlc_clean/1
  • ctrlcclean/0, ctrlcclean/0
  • current input stream, current input stream
  • current output stream, current output stream
  • current_atom/1, current_atom/1
  • current_executable/1, current_executable/1
  • current_fact/1, current_fact/1, current_fact/1, current_fact/1, current_fact/1, current_fact/1
  • current_fact/2, current_fact/2
  • current_fact_nb/1, current_fact_nb/1
  • current_host/1, current_host/1
  • current_infixop/4, current_infixop/4
  • current_input/1, current_input/1
  • current_key/2, current_key/2
  • current_module/1, current_module/1
  • current_op/3, current_op/3
  • current_output/1, current_output/1
  • current_postfixop/3, current_postfixop/3
  • current_predicate/1, current_predicate/1
  • current_predicate/2, current_predicate/2, current_predicate/2, current_predicate/2
  • current_prefixop/3, current_prefixop/3
  • current_prolog_flag/2, current_prolog_flag/2
  • current_stream/3, current_stream/3
  • d

  • D.H.D. Warren
  • D.L. Bowen
  • Daniel Cabeza
  • data file
  • data predicate, data predicate, data predicate, data predicate, data predicate, data predicate, data predicate
  • data/1, data/1, data/1, data/1, data/1, data/1, data/1, data/1, data/1, data/1, data/1, data/1
  • Database aggregation functions
  • Database arithmetic expressions
  • Database arithmetic functions
  • Database calls to is/2
  • Database comparison goals
  • database comparison operator
  • database initialization
  • database mediator server, database mediator server
  • datime/1, datime/1
  • datime/9, datime/9
  • datime_struct/1, datime_struct/1
  • davinci/0, davinci/0
  • davinci_get/1, davinci_get/1
  • davinci_get_all/1, davinci_get_all/1
  • davinci_lgraph/1, davinci_lgraph/1
  • davinci_put/1, davinci_put/1
  • davinci_quit/0, davinci_quit/0
  • davinci_ugraph/1, davinci_ugraph/1
  • db_client
  • db_eval_sql/3, db_eval_sql/3
  • db_get_tables/2, db_get_tables/2
  • db_login/5, db_login/5
  • db_logoff/1, db_logoff/1, db_logoff/1
  • db_one_tuple/2, db_one_tuple/2, db_one_tuple/2
  • db_query/4
  • db_query_one_tuple/4
  • db_stmt_handle/3, db_stmt_handle/3
  • db_table_types/3, db_table_types/3
  • dbassertz_fact/1, dbassertz_fact/1
  • dbcall/2, dbcall/2
  • dbconnection/1, dbconnection/1, dbconnection/1
  • dbcurrent_fact/1, dbcurrent_fact/1
  • dbfindall/4, dbfindall/4
  • dbhandle/1
  • dbname/1, dbname/1, dbname/1
  • dbqueryconnection/1, dbqueryconnection/1
  • dbretract_fact/1, dbretract_fact/1
  • dbretractall_fact/1, dbretractall_fact/1
  • dcg_expansion
  • dcg_translation/2, dcg_translation/2
  • debug
  • debug options
  • debug/0, debug/0, debug/0
  • debug/1
  • debug_goal/2, debug_goal/2
  • debug_goal/3, debug_goal/3
  • debug_message/1, debug_message/1
  • debug_message/2, debug_message/2
  • debug_module/1, debug_module/1, debug_module/1, debug_module/1
  • debug_module_source/1, debug_module_source/1, debug_module_source/1, debug_module_source/1, debug_module_source/1
  • debugger, debugger
  • debugger/debugger
  • debugger/debugger_lib
  • debugging
  • debugging tools
  • debugging/0, debugging/0
  • dec10_io, dec10_io
  • decl assertion, decl assertion
  • decl/1, decl/1, decl/1, decl/1, decl/1, decl/1
  • decl/2, decl/2, decl/2
  • declarations, user defined
  • DECsystem-10 Prolog User's Manual
  • deductive database
  • default constructor, default constructor
  • define_flag/3, define_flag/3, define_flag/3, define_flag/3
  • del_global/1, del_global/1
  • del_vertices/3, del_vertices/3
  • delaying predicate execution, delaying predicate execution
  • delete/3, delete/3, delete/3, delete/3
  • delete_file/1, delete_file/1
  • delete_on_ctrlc/2, delete_on_ctrlc/2
  • dependent files
  • depth first iterative deepening
  • depth limit
  • derived_from/2, derived_from/2
  • describe/1, describe/1
  • destroy/1, destroy/1
  • destructor
  • destructor/0, destructor/0
  • detach_attribute/1, detach_attribute/1
  • development environment, development environment, development environment
  • dgraph/1, dgraph/1
  • dgraph_to_ugraph/2, dgraph_to_ugraph/2
  • dic_get/3, dic_get/3
  • dic_lookup/3, dic_lookup/3
  • dic_lookup/4, dic_lookup/4
  • dic_node/2, dic_node/2
  • dic_replace/4, dic_replace/4
  • dict, dict
  • dict2varnamesl/2, dict2varnamesl/2
  • dictionary/1, dictionary/1
  • difference/3, difference/3
  • directives
  • directory_files/2, directory_files/2
  • directoryname/1
  • DISCIPL
  • discontiguous/1, discontiguous/1
  • disjunctions
  • display
  • display/1, display/1, display/1, display/1, display/1, display/1, display/1
  • display/2, display/2, display/2, display/2
  • display_list/1, display_list/1
  • display_string/1, display_string/1, display_string/1
  • display_term/1
  • displayq/1, displayq/1, displayq/1
  • displayq/2, displayq/2
  • disproves/2
  • distributed execution
  • dlgraph/1, dlgraph/1
  • dlgraph_to_lgraph/2, dlgraph_to_lgraph/2
  • dlist/3, dlist/3
  • do_not_free/2, do_not_free/2
  • do_on_abolish/1, do_on_abolish/1
  • docstring/1, docstring/1, docstring/1, docstring/1, docstring/1, docstring/1, docstring/1, docstring/1
  • documentation generator, documentation generator
  • downloading emacs
  • downloading new versions, downloading new versions
  • downloading, latest versions
  • dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic, dynamic
  • dynamic predicate
  • dynamic/1, dynamic/1, dynamic/1, dynamic/1
  • dynamic_search_path/1, dynamic_search_path/1
  • dynmods, dynmods, dynmods
  • 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 interface, emacs interface, emacs interface
  • emacs lisp
  • emacs mode, emacs mode, emacs mode
  • emacs mode, setting up, Win32
  • emacs server
  • emacs, download
  • emacs, intro, emacs, intro
  • emacs_edit/1, emacs_edit/1
  • emacs_edit_nowait/1, emacs_edit_nowait/1
  • emacs_eval/1, emacs_eval/1
  • emacs_eval_nowait/1, emacs_eval_nowait/1
  • embedded debugger, embedded debugger
  • eng_backtrack/2, eng_backtrack/2, eng_backtrack/2
  • eng_call/3, eng_call/3
  • eng_call/4, eng_call/4, eng_call/4, eng_call/4
  • eng_cut/1, eng_cut/1
  • eng_kill/1, eng_kill/1, eng_kill/1
  • eng_killothers
  • eng_killothers/0, eng_killothers/0
  • eng_release/1, eng_release/1, eng_release/1, eng_release/1
  • eng_self/1, eng_self/1, eng_self/1
  • eng_status/0, eng_status/0
  • eng_wait/1, eng_wait/1, eng_wait/1, eng_wait/1
  • engine directory, engine directory
  • engine module
  • engine(basic_props)
  • Enrico Pontelli
  • ensure_loaded/1, ensure_loaded/1, ensure_loaded/1, ensure_loaded/1, ensure_loaded/1, ensure_loaded/1, ensure_loaded/1, ensure_loaded/1
  • entry assertion
  • entry/1, entry/1, entry/1, entry/1, entry/1
  • environment variables, setup
  • equal_lists/2, equal_lists/2
  • equality comparisons in the WHERE-clause
  • equalnumber/3, equalnumber/3
  • equi join in the WHERE-clause
  • erase/1, erase/1
  • errhandle
  • error term
  • error/1
  • error_file/2
  • error_message/1, error_message/1
  • error_message/2, error_message/2, error_message/2
  • error_message/3, error_message/3
  • error_protect/1, error_protect/1
  • etc
  • etc(xfrefs)
  • etc(xmrefs)
  • evaluable functors
  • examples, examples, examples, examples
  • exec/3, exec/3
  • exec/4, exec/4
  • executable
  • executables, compressed
  • executables, dynamic
  • executables, generating, executables, generating
  • executables, how to run
  • executables, lazy load
  • executables, self-contained
  • executables, static
  • executables, types
  • execution visualizers
  • existential quantification
  • exp/1
  • expander_pred/1
  • expansion
  • expansions
  • Explorer, Explorer
  • export/1, export/1, export/1, export/1, export/1, export/1, export/1, export/1
  • exports
  • extensibility
  • extension/2, extension/2
  • External interface, External interface
  • extract_paths/2, extract_paths/2
  • f

  • F.C.N. Pereira
  • fail
  • fail/0, fail/0
  • fails/1, fails/1
  • false assertion
  • false/1, false/1
  • fast_read/1, fast_read/1, fast_read/1, fast_read/1
  • fast_write/1, fast_write/1
  • fast_write_to_string/3, fast_write_to_string/3
  • fastrw, fastrw
  • feature terms, feature terms
  • fetch_url/3, fetch_url/3
  • file_exists/1, file_exists/1
  • file_exists/2, file_exists/2
  • file_locks/file_locks
  • file_name_extension/3, file_name_extension/3
  • file_properties/6, file_properties/6
  • file_property/2, file_property/2
  • file_search_path/2, file_search_path/2, file_search_path/2, file_search_path/2, file_search_path/2, file_search_path/2, file_search_path/2, file_search_path/2
  • file_terms/2, file_terms/2
  • file_to_string/2, file_to_string/2
  • fileerrors/0, fileerrors/0
  • fileinfo
  • filenames, filenames
  • find_name/4, find_name/4
  • findall/3, findall/3, findall/3, findall/3, findall/3, findall/3, findall/3
  • findall/4, findall/4
  • findnsols/4, findnsols/4, findnsols/4
  • findnsols/5, findnsols/5
  • flag/1
  • float/1, float/1, float/1
  • float_fractional_part/1
  • float_integer_part/1
  • floor/1
  • flt/1, flt/1, flt/1
  • flush_output/0, flush_output/0
  • flush_output/1, flush_output/1
  • fmode/2, fmode/2
  • foldl/4, foldl/4
  • footer/1, footer/1
  • force_lazy/1, force_lazy/1, force_lazy/1, force_lazy/1
  • foreign/1, foreign/1, foreign/1
  • foreign/2, foreign/2, foreign/2
  • ForEmacs.txt
  • form_assignment/1, form_assignment/1
  • form_default/3, form_default/3
  • form_dict/1, form_dict/1
  • form_empty_value/1, form_empty_value/1
  • form_request_method/1, form_request_method/1
  • form_value/1, form_value/1
  • format, format, format, format, format, format, format, format, format
  • format/2, format/2
  • format/3, format/3
  • format_control/1, format_control/1
  • formatting commands
  • formatting/2, formatting/2
  • Francisco Bueno
  • freeze/2, freeze/2, freeze/2, freeze/2
  • FROM-clauses
  • frozen/2, frozen/2, frozen/2
  • func/1
  • function/1
  • functional syntax, functional syntax
  • functions, functions, functions
  • functor of a goal
  • functor/3, functor/3
  • g

  • g_assrt_body/1, g_assrt_body/1
  • garbage collection, garbage collection
  • garbage_collect/0, garbage_collect/0
  • garbage_collection_option/1
  • gc/0, gc/0
  • gc_result/1
  • gcd/2
  • genbar1, genbar1, genbar1
  • genbar2, genbar2, genbar2
  • genbar3, genbar3, genbar3
  • genbar4, genbar4, genbar4
  • gengraph1, gengraph1, gengraph1, gengraph1, gengraph1, gengraph1, gengraph1, gengraph1
  • gengraph2, gengraph2, gengraph2, gengraph2, gengraph2, gengraph2, gengraph2, gengraph2
  • genmultibar, genmultibar
  • Gerda Janssens
  • German Puebla
  • get1_code/1, get1_code/1
  • get1_code/2, get1_code/2
  • get_alias_path/0, get_alias_path/0
  • get_arch/1, get_arch/1
  • get_attribute/2, get_attribute/2, get_attribute/2
  • get_byte/1, get_byte/1
  • get_byte/2, get_byte/2
  • get_char/1, get_char/1
  • get_char/2, get_char/2
  • get_code/1, get_code/1
  • get_code/2, get_code/2
  • get_cookies/1, get_cookies/1
  • get_form_input/1, get_form_input/1
  • get_form_value/3, get_form_value/3
  • get_global/2, get_global/2
  • get_line/1, get_line/1
  • get_line/2, get_line/2
  • get_os/1, get_os/1
  • get_pid/1, get_pid/1
  • get_primes/2, get_primes/2
  • get_query_id/1
  • getcounter/2, getcounter/2
  • getct/2, getct/2
  • getct1/2, getct1/2
  • getenvstr/2, getenvstr/2
  • ghostview, ghostview
  • global variables, global variables
  • gmax/3
  • gnd/1, gnd/1
  • GNU emacs, GNU emacs
  • GNU General Public License, GNU General Public License
  • go/1, go/1
  • go/2, go/2
  • Goal, Goal
  • Gopal Gupta
  • grammar rule
  • graph_b1/13, graph_b1/13, graph_b1/13, graph_b1/13
  • graph_b1/9, graph_b1/9, graph_b1/9, graph_b1/9
  • graph_b2/13, graph_b2/13, graph_b2/13, graph_b2/13
  • graph_b2/9, graph_b2/9, graph_b2/9, graph_b2/9
  • graph_w1/13, graph_w1/13, graph_w1/13
  • graph_w1/9, graph_w1/9, graph_w1/9
  • graph_w2/13, graph_w2/13, graph_w2/13
  • graph_w2/9, graph_w2/9, graph_w2/9
  • graphs/lgraphs
  • graphs/ugraphs, graphs/ugraphs
  • ground/1, ground/1, ground/1, ground/1
  • h

  • H. Ait-Kaci
  • halt/0, halt/0
  • halt/1, halt/1
  • halt_server/0, halt_server/0
  • handle_error/2, handle_error/2
  • handler_type/1
  • hard side-effects
  • head pattern, head pattern, head pattern, head pattern
  • head_pattern/1, head_pattern/1, head_pattern/1, head_pattern/1, head_pattern/1
  • header/1, header/1
  • hello, hello
  • help, help, help, help, help
  • help, unix
  • help, windows
  • higher-order library, higher-order library
  • hms_time/1, hms_time/1
  • hostname_address/2, hostname_address/2
  • HTML, HTML
  • html2terms/2, html2terms/2
  • html_expansion/2, html_expansion/2
  • html_protect/1, html_protect/1
  • html_report_error/1, html_report_error/1
  • html_template/3, html_template/3
  • html_term/1, html_term/1, html_term/1
  • HTTP, HTTP
  • http_date/1, http_date/1, http_date/1, http_date/1, http_date/1, http_date/1
  • http_lines/3, http_lines/3
  • http_request_param/1, http_request_param/1
  • http_response_param/1, http_response_param/1
  • hw
  • hw.pls, hw.pls
  • i

  • icon_address.pl, icon_address.pl, icon_address.pl, icon_address.pl
  • icon_address/2, icon_address/2, icon_address/2
  • idlists, idlists
  • if/3, if/3
  • image/1, image/1, image/1
  • impl_defined/1
  • implements/1, implements/1, implements/1, implements/1, implements/1, implements/1
  • import/2
  • imports
  • imports_meta_pred/3, imports_meta_pred/3
  • in/1, in/1, in/1, in/1
  • in/2, in/2, in/2, in/2
  • in_noblock/1, in_noblock/1
  • in_stream/2, in_stream/2
  • inccounter/2, inccounter/2
  • include/1, include/1, include/1, include/1
  • indep/1, indep/1, indep/1, indep/1, indep/1
  • indep/2, indep/2, indep/2, indep/2, indep/2
  • independent
  • info, info
  • inform_user/1
  • inherit_class/1, inherit_class/1
  • inheritable interface
  • inheritable/1, inheritable/1
  • inheritance relationship
  • inherited/1, inherited/1
  • init_persdb/0, init_persdb/0
  • init_sql_persdb/0, init_sql_persdb/0
  • initialization clauses
  • initialization file, initialization file
  • initialization/1
  • initialize_db/0, initialize_db/0, initialize_db/0
  • INRIA
  • insert/3, insert/3
  • insert_last/3, insert_last/3
  • installation, installation
  • installation, Windows clients
  • installation, Windows server
  • installation, Windows, from binaries
  • instance/2, instance/2
  • instance_codes/2, instance_codes/2
  • instance_id/1, instance_id/1
  • instance_of/2, instance_of/2, instance_of/2, instance_of/2, instance_of/2, instance_of/2, instance_of/2, instance_of/2, instance_of/2, instance_of/2, instance_of/2, instance_of/2, instance_of/2, instance_of/2, instance_of/2
  • instances
  • instantiation mode, instantiation mode
  • instantiation properties
  • instantiation state
  • int/1, int/1, int/1, int/1
  • int_list/1, int_list/1
  • integer/1, integer/1, integer/1, integer/1, integer/1, integer/1
  • inter-process communication
  • intercept/3, intercept/3, intercept/3
  • interface file
  • interface inheritance
  • interface/2, interface/2
  • interface_name/1, interface_name/1
  • interface_source/1, interface_source/1
  • interfaces, interfaces
  • internal_module_id/1
  • interp_file/2, interp_file/2
  • interpreted mode, interpreted mode
  • intersection/3, intersection/3
  • intlist/1, intlist/1
  • intset_delete/3, intset_delete/3
  • intset_in/2, intset_in/2
  • intset_insert/3, intset_insert/3
  • intset_sequence/3, intset_sequence/3
  • io_aux
  • io_mode/1, io_mode/1
  • is/2, is/2, is/2, is/2, is/2
  • is_det/1, is_det/1
  • iso, iso, iso, iso, iso
  • ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog, ISO-Prolog
  • ISO-Prolog builtins, ISO-Prolog builtins, ISO-Prolog builtins, ISO-Prolog builtins
  • iso-prolog, compliance
  • iso/1, iso/1
  • iso_byte_char, iso_byte_char, iso_byte_char, iso_byte_char, iso_byte_char, iso_byte_char
  • iso_incomplete, iso_incomplete, iso_incomplete, iso_incomplete, iso_incomplete, iso_incomplete
  • iso_misc, iso_misc, iso_misc, iso_misc, iso_misc, iso_misc, iso_misc
  • isomodes
  • issue_debug_messages/1, issue_debug_messages/1, issue_debug_messages/1, issue_debug_messages/1, issue_debug_messages/1, issue_debug_messages/1
  • iterative deepening-based execution, iterative deepening-based execution
  • iterative-deepening
  • 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
  • javall/javasock, javall/javasock
  • javart
  • Johan Widen
  • John Gallagher
  • jtopl
  • k

  • K.U. Leuven
  • Kalyan Muthukumar
  • Kevin Greene
  • 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('xrefs/mrefs')
  • library('xrefs/pxrefs')
  • library(iso_byte_char)
  • library(modes)
  • library(pure)
  • library(xrefs)
  • library/pillow/doc
  • library_directory/1, library_directory/1, library_directory/1, library_directory/1, library_directory/1, library_directory/1, library_directory/1
  • librowser
  • limitations, limitations
  • limitations, architecture-specific
  • linda_client/1, linda_client/1
  • linda_timeout/2, linda_timeout/2
  • line/1
  • line_count/2, line_count/2
  • line_position/2, line_position/2
  • linear/1, linear/1
  • linker_and_opts/2, linker_and_opts/2
  • Linkoping U., Linkoping U.
  • list/1, list/1, list/1
  • list/2, list/2, list/2, list/2, list/2
  • list1/2, list1/2
  • list_breakpt/0, list_breakpt/0
  • list_concat/2, list_concat/2
  • list_insert/2, list_insert/2, list_insert/2, list_insert/2
  • list_lookup/3, list_lookup/3
  • list_lookup/4, list_lookup/4
  • list_to_list_of_lists/2, list_to_list_of_lists/2
  • lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists, lists
  • load_compilation_module/1, load_compilation_module/1, load_compilation_module/1, load_compilation_module/1
  • loading mode
  • loading programs, loading programs
  • lock_atom/1, lock_atom/1
  • log/1
  • LogIn
  • Low level Java to Prolog interface
  • Low-Level Prolog to Java Interface Structure
  • Low-Level Prolog to Java Interface Structure. Java side
  • Low-Level Prolog to Java Interface Structure. Prolog side
  • lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc
  • LPdoc
  • lpmake, lpmake, lpmake, lpmake, lpmake, lpmake, lpmake
  • m

  • machine_name/1, machine_name/1
  • mailing list, mailing list, mailing list
  • main/0, main/0, main/0, main/0, main/0, main/0
  • main/1, main/1, main/1, main/1, main/1, main/1, main/1, main/1, main/1, main/1, main/1, main/1
  • make, make, make, make, make, make, make, make
  • make_actmod/2, make_actmod/2, make_actmod/2
  • make_exec/2, make_exec/2, make_exec/2, make_exec/2
  • make_persistent/2, make_persistent/2, make_persistent/2
  • make_po/1, make_po/1
  • make_sql_persistent/3, make_sql_persistent/3, make_sql_persistent/3, make_sql_persistent/3, make_sql_persistent/3
  • Makefile
  • Makefile.pl, Makefile.pl, Makefile.pl
  • manual, printing, manual, printing, manual, printing, manual, printing
  • manual, tour
  • manuals, printing, manuals, printing
  • Manuel Carro
  • Manuel Hermenegildo, Manuel Hermenegildo
  • map/3, map/3
  • Maria Jose Garcia de la Banda
  • marshalling, marshalling
  • match_pattern/2, match_pattern/2
  • match_pattern/3, match_pattern/3
  • match_pattern_pred/2, match_pattern_pred/2
  • match_string/3, match_string/3
  • Mats Carlsson, Mats Carlsson, Mats Carlsson
  • Maurice Bruynooghe
  • max/3, max/3, max/3, max/3
  • maxdepth/1, maxdepth/1
  • MCC
  • Melbourne U.
  • member/2, member/2
  • member_0/2, member_0/2
  • memberchk/2, memberchk/2
  • memory management, memory management
  • memory_option/1
  • memory_result/1
  • merge/3, merge/3
  • message/1, message/1
  • message/2, message/2, message/2, message/2
  • message_lns/4, message_lns/4
  • messages, messages, messages, messages
  • meta_predicate/1, meta_predicate/1
  • metaspec/1
  • metaterms, metaterms, metaterms, metaterms, metaterms
  • method_spec/1, method_spec/1
  • mktemp/2, mktemp/2
  • mod/2
  • mode
  • mode, mode
  • mode spec
  • modedef/1, modedef/1, modedef/1, modedef/1, modedef/1
  • modes, modes
  • modif_time/2, modif_time/2, modif_time/2
  • modif_time0/2, modif_time0/2
  • modular interface
  • module qualification
  • module/2, module/2
  • module/3, module/3, module/3, module/3, module/3, module/3, module/3
  • modulename/1
  • modules, active
  • Monash U.
  • month/1, month/1
  • mshare/1, mshare/1
  • multi-evaluated
  • multibar_attribute/1
  • multibarchart/10, multibarchart/10, multibarchart/10
  • multibarchart/8, multibarchart/8, multibarchart/8, multibarchart/8
  • multifile predicate
  • multifile/1, multifile/1, multifile/1, multifile/1, multifile/1
  • multpredspec/1
  • mut_exclusive/1, mut_exclusive/1
  • my_url/1, my_url/1
  • n

  • n_assrt_body/5, n_assrt_body/5, n_assrt_body/5
  • nabody/1, nabody/1
  • Name, Name, Name
  • name server
  • name/2, name/2, name/2
  • native/1, native/1
  • native/2, native/2
  • negated comparison goal
  • negated database goal
  • negated goals
  • negated_comparison/2
  • negations
  • neighbors/3, neighbors/3
  • netscape
  • New Mexico State University
  • new/2, new/2, new/2, new/2, new/2, new/2, new/2, new/2, new/2
  • new_atom/1, new_atom/1
  • new_declaration/1, new_declaration/1
  • new_declaration/2, new_declaration/2
  • new_interp/1, new_interp/1
  • nl/0, nl/0
  • nl/1, nl/1
  • nnegint/1, nnegint/1
  • no_path_file_name/2, no_path_file_name/2
  • nobreakall/0, nobreakall/0
  • nobreakpt/6, nobreakpt/6, nobreakpt/6, nobreakpt/6
  • nocontainsx/2, nocontainsx/2
  • nodebug, nodebug
  • nodebug/0, nodebug/0, nodebug/0
  • nodebug_module/1, nodebug_module/1, nodebug_module/1
  • nofileerrors/0, nofileerrors/0
  • nogc/0, nogc/0
  • nonsingle/1, nonsingle/1
  • nonvar/1, nonvar/1
  • nospy
  • nospy/1, nospy/1, nospy/1, nospy/1, nospy/1
  • nospyall/0, nospyall/0
  • NOT EXISTS-subqueries
  • not_covered/1, not_covered/1
  • not_empty/3, not_empty/3
  • not_empty/4, not_empty/4
  • not_fails/1, not_fails/1
  • not_further_inst/1
  • not_further_inst/2, not_further_inst/2
  • not_mut_exclusive/1, not_mut_exclusive/1
  • notation
  • note/1
  • note_message/1, note_message/1
  • note_message/2, note_message/2
  • note_message/3, note_message/3
  • notrace/0, notrace/0
  • ntemacs
  • nth/3, nth/3
  • null_dict/1, null_dict/1
  • num/1, num/1
  • number/1, number/1
  • number_chars/2, number_chars/2
  • number_codes/2, number_codes/2, number_codes/2
  • number_codes/3, number_codes/3
  • numbervars/3, numbervars/3
  • numlist/1, numlist/1
  • 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_abort/1
  • once/1, once/1
  • op/3, op/3, op/3, op/3
  • open/3, open/3
  • open/4, open/4
  • open_client/2, open_client/2
  • open_input/2, open_input/2
  • open_null_stream/1, open_null_stream/1
  • open_output/2, open_output/2
  • open_predicate/1, open_predicate/1
  • operations file
  • operator table
  • operator_specifier/1, operator_specifier/1
  • operators, operators, operators, operators, operators, operators, operators, operators, operators
  • optional_message/2, optional_message/2
  • optional_message/3, optional_message/3
  • ord_delete/3, ord_delete/3
  • ord_disjoint/2, ord_disjoint/2
  • ord_intersect/2, ord_intersect/2
  • ord_intersection/3, ord_intersection/3
  • ord_intersection_diff/4, ord_intersection_diff/4
  • ord_member/2, ord_member/2
  • ord_subset/2, ord_subset/2
  • ord_subset_diff/3, ord_subset_diff/3
  • ord_subtract/3, ord_subtract/3
  • ord_test_member/3, ord_test_member/3
  • ord_union/3, ord_union/3
  • ord_union_change/3, ord_union_change/3
  • ord_union_diff/4, ord_union_diff/4
  • ord_union_symdiff/4, ord_union_symdiff/4
  • out/1, out/1, out/1, out/1
  • out/2, out/2
  • out_stream/2, out_stream/2
  • output_html/1, output_html/1, output_html/1
  • overriden, overriden
  • p

  • P. Lincoln
  • package file, package file, package file, package file, package file, package file, package file, package file
  • pair/1
  • parallel programming, parallel programming
  • parallel Prolog
  • parallelizing compiler
  • parametric property
  • parametric regular type abstractions
  • PARFORCE
  • parse_term/3, parse_term/3
  • passertz_fact/1, passertz_fact/1, passertz_fact/1
  • passwd/1, passwd/1, passwd/1
  • path alias, path alias, path alias, path alias, path alias, path alias, path alias, path alias
  • path aliases
  • pattern/1, pattern/1, pattern/1, pattern/1
  • pattern/2, pattern/2
  • patterns, patterns, patterns
  • pause/1, pause/1
  • Pawel Pietrzak
  • pcurrent_fact/1, pcurrent_fact/1, pcurrent_fact/1
  • Pedro Lopez
  • peek_byte/1, peek_byte/1
  • peek_byte/2, peek_byte/2
  • peek_char/1, peek_char/1
  • peek_char/2, peek_char/2
  • peek_code/1, peek_code/1
  • peek_code/2, peek_code/2
  • percentbarchart1/7, percentbarchart1/7, percentbarchart1/7
  • percentbarchart2/7, percentbarchart2/7, percentbarchart2/7
  • percentbarchart3/7, percentbarchart3/7, percentbarchart3/7
  • percentbarchart4/7, percentbarchart4/7, percentbarchart4/7
  • persdb, persdb, persdb
  • persdb_sql, persdb_sql
  • persdb_sql/db_client
  • persdb_sql/insert_compiler/pl2sqlinsert
  • persdb_sql/pl2sql
  • persdb_sql/sqltypes, persdb_sql/sqltypes
  • persdb_sql/string2term
  • persistence set
  • persistent, persistent, persistent, persistent
  • Persistent predicate, Persistent predicate
  • persistent predicate
  • persistent predicates, persistent predicates
  • persistent/2, persistent/2
  • persistent_dir/2, persistent_dir/2, persistent_dir/2, persistent_dir/2, persistent_dir/2, persistent_dir/2
  • Peter Stuckey
  • phrase/2, phrase/2
  • phrase/3, phrase/3
  • Pierre Deransart
  • pillow
  • PiLLoW on-line tutorial
  • pillow.pl, pillow.pl
  • pillow/html
  • pillow/http
  • pillow/http_ll
  • pillow/pillow_aux, pillow/pillow_aux
  • pillow/pillow_types, pillow/pillow_types
  • pkunzip
  • pl2sql, pl2sql, pl2sql, pl2sql
  • pl2sqlstring/3, pl2sqlstring/3, pl2sqlstring/3, pl2sqlstring/3, pl2sqlstring/3, pl2sqlstring/3
  • pl2sqlterm/3, pl2sqlterm/3, pl2sqlterm/3
  • platform-dependent
  • platform-independent, platform-independent
  • point_to/3, point_to/3
  • Polymorphism
  • pop_global/2, pop_global/2
  • pop_prolog_flag/1, pop_prolog_flag/1, pop_prolog_flag/1
  • popen/3, popen/3
  • popen_mode/1, popen_mode/1
  • portray/1, portray/1, portray/1
  • portray_attribute/1
  • portray_attribute/2, portray_attribute/2, portray_attribute/2
  • portray_clause/1, portray_clause/1
  • portray_clause/2, portray_clause/2, portray_clause/2
  • positive database goal
  • possibly_fails/1, possibly_fails/1
  • possibly_nondet/1, possibly_nondet/1
  • powerset/2, powerset/2
  • pred assertion, pred assertion
  • pred/1, pred/1, pred/1, pred/1, pred/1, pred/1, pred/1, pred/1, pred/1, pred/1, pred/1
  • pred/2, pred/2, pred/2
  • predfunctor/1, predfunctor/1
  • predicate declarations
  • predicate spec
  • predicate_property/2, predicate_property/2
  • predname/1, predname/1, predname/1
  • preprocessor, preprocessor
  • pretract_fact/1, pretract_fact/1, pretract_fact/1
  • pretty_print/2, pretty_print/2
  • pretty_print/3, pretty_print/3
  • prettyvars/1, prettyvars/1
  • print
  • print/1, print/1, print/1
  • print/2, print/2
  • printable_char/1, printable_char/1
  • printdepth
  • printing assertion information
  • printing code-related information
  • printing, manual, printing, manual, printing, manual, printing, manual
  • printqueries/1, printqueries/1
  • Procedure Box
  • process_first_command/1
  • process_next_command/2
  • program assertions
  • programming environment, programming environment
  • project files
  • projterm/1, projterm/1, projterm/1
  • Prolog answers, Prolog answers
  • prolog flag, prolog flag, prolog flag, prolog flag, prolog flag, prolog flag
  • Prolog predicate argument positions
  • Prolog predicate names
  • Prolog scripts
  • Prolog server
  • Prolog shell scripts
  • Prolog to SQL compiler
  • Prolog to SQL translation, Prolog to SQL translation
  • Prolog to SQL translator
  • prolog-emacs interface
  • prolog_flag/3, prolog_flag/3
  • prolog_goal/1, prolog_goal/1
  • prolog_parse/2
  • prolog_query/1
  • prolog_server/0, prolog_server/0
  • prolog_sys, prolog_sys, prolog_sys
  • PrologName, PrologName
  • prompt
  • prompt/2, prompt/2
  • prop assertion, prop assertion
  • prop/1, prop/1, prop/1, prop/1, prop/1
  • prop/2, prop/2, prop/2, prop/2, prop/2
  • prop_abs/1
  • properties of computations
  • properties of execution states
  • properties, basic
  • properties, native
  • property
  • property abstraction, property abstraction
  • property compatibility
  • property declarations
  • property_conjunction/1, property_conjunction/1, property_conjunction/1, property_conjunction/1
  • property_starterm/1, property_starterm/1, property_starterm/1, property_starterm/1, property_starterm/1
  • propfunctor/1, propfunctor/1
  • protected
  • proves/2
  • providing information to the compiler, providing information to the compiler
  • prune_dict/3, prune_dict/3
  • public
  • public domain, public domain
  • public interface
  • public/1, public/1, public/1
  • pure, pure
  • pure Prolog, pure Prolog, pure Prolog
  • push_global/2, push_global/2
  • push_prolog_flag/2, push_prolog_flag/2, push_prolog_flag/2
  • put_byte/1, put_byte/1
  • put_byte/2, put_byte/2
  • put_char/1, put_char/1
  • put_char/2, put_char/2
  • put_code/1, put_code/1
  • put_code/2, put_code/2
  • q

  • 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
  • random/random, random/random, random/random, random/random, random/random, random/random, random/random, random/random
  • random_color/1, random_color/1
  • random_darkcolor/1, random_darkcolor/1
  • random_lightcolor/1, random_lightcolor/1
  • random_pattern/1, random_pattern/1
  • range variable
  • rd/1, rd/1
  • rd/2, rd/2
  • rd_findall/3, rd_findall/3
  • rd_noblock/1, rd_noblock/1
  • read, read, read, read, read, read, read, read, read, read, read, read, read, read, read, read, read
  • read/1, read/1, read/1
  • read/2, read/2, read/2, read/2
  • read_command/1
  • read_term/2, read_term/2, read_term/2
  • read_term/3, read_term/3, read_term/3, read_term/3
  • read_top_level/3, read_top_level/3
  • recorda/3, recorda/3
  • recorded/3, recorded/3
  • records, records
  • recordz/3, recordz/3
  • recursive level, recursive level
  • redefined
  • redefining/1
  • reexport/1
  • reexport/2
  • reference/1
  • references, to Ciao
  • referring to Ciao
  • regedit
  • regtype assertion, regtype assertion
  • regtype/1, regtype/1, regtype/1, regtype/1, regtype/1, regtype/1, regtype/1
  • regtype/2, regtype/2, regtype/2, regtype/2, regtype/2
  • regular expresions
  • regular expressions
  • regular type
  • regular type definitions
  • regular types
  • relation name
  • relation/3, relation/3, relation/3, relation/3
  • relational databases
  • rem/2
  • rename/2, rename/2
  • repeat/0, repeat/0
  • reporting bugs, reporting bugs, reporting bugs
  • retract/1, retract/1
  • retract_fact/1, retract_fact/1, retract_fact/1, retract_fact/1, retract_fact/1, retract_fact/1, retract_fact/1, retract_fact/1
  • retract_fact_nb/1, retract_fact_nb/1
  • retractall/1, retractall/1
  • retractall_fact/1, retractall_fact/1, retractall_fact/1, retractall_fact/1
  • retry
  • returns/2, returns/2
  • reverse/2, reverse/2
  • reverse/3, reverse/3
  • Roger Nasr, Roger Nasr
  • round/1
  • row/1, row/1
  • rtchecks/rtchecks_sys
  • run-time checks, run-time checks
  • running programs, running programs, running programs, running programs
  • s

  • s_assrt_body/1, s_assrt_body/1
  • Saumya Debray
  • scattergraph1_b1/13
  • scattergraph_b1/12, scattergraph_b1/12, scattergraph_b1/12
  • scattergraph_b1/8, scattergraph_b1/8, scattergraph_b1/8, scattergraph_b1/8
  • scattergraph_b2/12, scattergraph_b2/12, scattergraph_b2/12
  • scattergraph_b2/8, scattergraph_b2/8, scattergraph_b2/8
  • scattergraph_w1/12, scattergraph_w1/12, scattergraph_w1/12
  • scattergraph_w1/8, scattergraph_w1/8, scattergraph_w1/8, scattergraph_w1/8
  • scattergraph_w2/12, scattergraph_w2/12, scattergraph_w2/12
  • scattergraph_w2/13
  • scattergraph_w2/8, scattergraph_w2/8, scattergraph_w2/8
  • scripts, scripts, scripts
  • second_prompt/2, second_prompt/2
  • see/1, see/1
  • seeing/1, seeing/1
  • seen/0, seen/0
  • Seif Haridi
  • select/3, select/3
  • select_socket/5, select_socket/5
  • self/1, self/1
  • semantic analisys
  • semaphore, semaphore
  • sequence/2, sequence/2
  • sequence_or_list/2, sequence_or_list/2
  • set at a time
  • set_cookie/2, set_cookie/2
  • set_debug_mode/1, set_debug_mode/1, set_debug_mode/1
  • set_fact/1, set_fact/1
  • set_global/2, set_global/2
  • set_input/1, set_input/1
  • set_nodebug_mode/1, set_nodebug_mode/1, set_nodebug_mode/1
  • set_output/1, set_output/1
  • set_prolog_flag/1
  • set_prolog_flag/2, set_prolog_flag/2, set_prolog_flag/2
  • setarg/3, setarg/3
  • setcounter/2, setcounter/2
  • setof/3, setof/3, setof/3, setof/3, setof/3, setof/3
  • setproduct/3, setproduct/3
  • sets, sets, sets, sets, sets
  • sh
  • sh-compatible shell
  • sharing sets
  • shell
  • shell scripts
  • shell/0, shell/0
  • shell/1, shell/1
  • shell/2, shell/2
  • shell_s/0
  • shortcut, windows
  • SICS
  • SICStus Prolog
  • sideff_hard/1, sideff_hard/1
  • sideff_pure/1, sideff_pure/1
  • sideff_soft/1, sideff_soft/1
  • sign/1
  • simple_client.pl
  • simple_message/1, simple_message/1
  • simple_message/2, simple_message/2
  • sin/1
  • size/1, size/1
  • size_lb/2, size_lb/2
  • size_of/3, size_of/3
  • size_ub/2, size_ub/2
  • skip
  • skip_code/1, skip_code/1
  • skip_code/2, skip_code/2
  • smooth/1, smooth/1
  • Socket implementation
  • Socket interface, Socket interface
  • socket_accept/2, socket_accept/2
  • socket_connection/2, socket_connection/2
  • socket_disconnection/0, socket_disconnection/0
  • socket_recv/2, socket_recv/2, socket_recv/2
  • socket_recv_code/3, socket_recv_code/3, socket_recv_code/3
  • socket_send/2, socket_send/2, socket_send/2
  • socket_type/1, socket_type/1
  • socketname/1, socketname/1, socketname/1
  • sockets/sockets, sockets/sockets, sockets/sockets, sockets/sockets
  • sockets/sockets_c
  • soft side-effects
  • solve/1
  • solve_on_thread/1
  • sort, sort, sort, sort, sort, sort, sort, sort, sort, sort, sort, sort, sort
  • sort/2, sort/2
  • source-level debugger
  • source-level debugging, source-level debugging, source-level debugging, source-level debugging, source-level debugging
  • sourcename/1, sourcename/1, sourcename/1, sourcename/1
  • sourcenames/1
  • specifications
  • spy
  • spy-points, spy-points
  • spy/1, spy/1, spy/1, spy/1, spy/1
  • SQL, SQL, SQL
  • SQL attributes
  • SQL Databases
  • SQL queries
  • SQL query, SQL query, SQL query
  • SQL server
  • SQL table names
  • SQL tables, SQL tables
  • SQL-like database interface, SQL-like database interface
  • sql_get_tables/2, sql_get_tables/2
  • sql_persistent/3, sql_persistent/3, sql_persistent/3, sql_persistent/3, sql_persistent/3, sql_persistent/3, sql_persistent/3
  • sql_persistent_location/2, sql_persistent_location/2
  • sql_query/3, sql_query/3, sql_query/3, sql_query/3
  • sql_query_one_tuple/3, sql_query_one_tuple/3
  • sql_table_types/3, sql_table_types/3
  • sqlstring/1, sqlstring/1
  • sqlterm2string/2, sqlterm2string/2
  • sqltype/1, sqltype/1, sqltype/1
  • sqltypes, sqltypes
  • sqrt/1
  • srandom/1, srandom/1
  • standalone compiler
  • standalone utilities, standalone utilities
  • standard total ordering
  • statistics/0, statistics/0
  • statistics/2, statistics/2
  • status, this manual
  • steps_lb/2, steps_lb/2
  • steps_ub/2, steps_ub/2
  • stmthandle/1
  • stream/1, stream/1
  • stream_code/2, stream_code/2
  • stream_property/2, stream_property/2
  • stream_to_string/2, stream_to_string/2
  • streams, streams, streams, streams
  • string/1, string/1
  • string/3, string/3
  • string2term/2, string2term/2
  • stringcommand/1, stringcommand/1, stringcommand/1, stringcommand/1, stringcommand/1, stringcommand/1
  • strings, strings, strings, strings, strings, strings
  • struct/1, struct/1
  • style sheets, style sheets, style sheets
  • sub_atom/4, sub_atom/4
  • sub_atom/5, sub_atom/5
  • sublist/2, sublist/2
  • subordlist/2, subordlist/2
  • subterm
  • subtract/3, subtract/3
  • success assertion, success assertion
  • success/1, success/1, success/1, success/1, success/1
  • success/2, success/2, success/2
  • sum_list/2, sum_list/2
  • sum_list/3, sum_list/3
  • sum_list_of_lists/2, sum_list_of_lists/2
  • sum_list_of_lists/3, sum_list_of_lists/3
  • super class
  • Swedish Institute of Computer Science
  • symbol/1, symbol/1
  • symbol_option/1
  • symbol_result/1
  • syntax of regular types
  • syntax/1
  • system, system, system, system, system, system, system, system, system, system, system, system, system, system, system
  • system libraries, system libraries
  • system/1, system/1
  • system/2, system/2
  • system_lib/1, system_lib/1
  • t

  • tab/1, tab/1
  • tab/2, tab/2
  • table/1, table/1
  • table_widget1, table_widget1
  • table_widget2, table_widget2
  • table_widget3, table_widget3
  • table_widget4, table_widget4
  • tablewidget1/4, tablewidget1/4, tablewidget1/4
  • tablewidget1/5, tablewidget1/5, tablewidget1/5
  • tablewidget2/4, tablewidget2/4, tablewidget2/4, tablewidget2/4
  • tablewidget2/5, tablewidget2/5, tablewidget2/5
  • tablewidget3/4, tablewidget3/4, tablewidget3/4
  • tablewidget3/5, tablewidget3/5, tablewidget3/5
  • tablewidget4/4, tablewidget4/4, tablewidget4/4, tablewidget4/4
  • tablewidget4/5, tablewidget4/5, tablewidget4/5
  • tag_attrib/1
  • Tcl/tk interface, Tcl/tk interface
  • tcl_delete/1, tcl_delete/1
  • tcl_eval/3, tcl_eval/3
  • tcl_event/3, tcl_event/3
  • tcl_new/1, tcl_new/1
  • tclCommand/1, tclCommand/1
  • tclInterpreter/1, tclInterpreter/1
  • tcltk
  • tcltk/tcltk_low_level
  • tcltk_raw_code/2, tcltk_raw_code/2
  • tcsh
  • Technical University of Madrid
  • tell/1, tell/1
  • telling/1, telling/1
  • term/1, term/1
  • terms, terms, terms, terms
  • this_module/1, this_module/1
  • throw/1, throw/1
  • time/1, time/1, time/1
  • time_option/1
  • time_result/1
  • title/1, title/1
  • tk_event_loop/1, tk_event_loop/1
  • tk_loop/1, tk_loop/1
  • tk_new/2, tk_new/2
  • tk_new/4, tk_new/4
  • tk_next_event/2, tk_next_event/2
  • tokenize
  • told/0, told/0
  • top-level
  • top-level shell, starting, unix
  • top-level shell, starting, windows
  • topd/0, topd/0
  • toplev
  • toplevel
  • tour, of the manual
  • trace
  • trace/0, trace/0, trace/0
  • trace/1
  • transactional update
  • transient state
  • translate_arithmetic_function/5, translate_arithmetic_function/5
  • translate_comparison/5
  • translate_conjunction/5
  • translate_goal/5
  • translate_projection/3
  • translation_predname/1
  • transpose/2, transpose/2
  • triple/1
  • troubleshooting
  • true assertion
  • true/0, true/0, true/0
  • true/1, true/1
  • truncate/1, truncate/1
  • trust assertion
  • trust/1, trust/1, trust/1, trust/1
  • ttydisplay/1, ttydisplay/1
  • ttydisplay_string/1, ttydisplay_string/1
  • ttydisplayq/1, ttydisplayq/1
  • ttyflush/0, ttyflush/0
  • ttyget/1, ttyget/1
  • ttyget1/1, ttyget1/1
  • ttynl/0, ttynl/0
  • ttyout, ttyout
  • ttyput/1, ttyput/1
  • ttyskip/1, ttyskip/1
  • ttyskipeol/0, ttyskipeol/0
  • ttytab/1, ttytab/1
  • tuple at a time
  • tuple/1, tuple/1, tuple/1
  • tuples, tuples
  • type, type
  • type declarations
  • type/2, type/2
  • u

  • U. of Arizona
  • ugraph/1, ugraph/1
  • ugraph2term/2, ugraph2term/2
  • ugraphs
  • umask/2, umask/2
  • undo/1, undo/1
  • undo_force_lazy/1, undo_force_lazy/1
  • unify
  • unify_with_occurs_check/2, unify_with_occurs_check/2
  • UNION-operator
  • union/3, union/3
  • union_idlists/3, union_idlists/3
  • Unix/Linux machine
  • unload/1, unload/1
  • unlock_atom/1, unlock_atom/1
  • unmarshalling, unmarshalling
  • unzip
  • update/0, update/0, update/0
  • update_attribute/2, update_attribute/2
  • update_files/2, update_files/2, update_files/2, update_files/2
  • updated state
  • Updates to persistent predicates
  • UPM
  • url_info/2, url_info/2, url_info/2
  • url_info_relative/3, url_info_relative/3
  • url_query/2, url_query/2
  • url_term/1, url_term/1
  • usage
  • usage relationship
  • use_active_module
  • use_active_module/2, use_active_module/2
  • use_class/1, use_class/1, use_class/1, use_class/1, use_class/1, use_class/1, use_class/1, use_class/1, use_class/1, use_class/1, use_class/1
  • use_module
  • use_module/1, use_module/1, use_module/1, use_module/1, use_module/1, use_module/1, use_module/1, use_module/1, use_module/1, use_module/1, use_module/1, use_module/1, use_module/1, use_module/1, use_module/1
  • use_module/2, use_module/2, use_module/2
  • use_package/1, use_package/1, use_package/1, use_package/1, use_package/1
  • user module, user module
  • user modules, debugging
  • user setup
  • user/1, user/1, user/1
  • users mailing list
  • using alternate engines or libraries
  • v

  • valid_attributes/2, valid_attributes/2
  • valid_format/4, valid_format/4
  • valid_table/2, valid_table/2
  • valid_vectors/4, valid_vectors/4
  • value_dict/1, value_dict/1
  • var/1, var/1, var/1
  • variable names
  • variables occurring in several goals
  • variant/2, variant/2
  • varname/1, varname/1
  • varnamedict/1, varnamedict/1
  • varnamesl/1, varnamesl/1
  • varnamesl2dict/2, varnamesl2dict/2
  • vars_names_dict/3, vars_names_dict/3
  • varsbag/3, varsbag/3
  • varset/2, varset/2
  • vector/1, vector/1
  • vectors_format/4, vectors_format/4
  • verify_attribute/2, verify_attribute/2, verify_attribute/2, verify_attribute/2, verify_attribute/2, verify_attribute/2, verify_attribute/2
  • Veroniek Dumortier
  • vertices/2, vertices/2
  • vertices_edges_to_lgraph/3, vertices_edges_to_lgraph/3
  • vertices_edges_to_ugraph/3, vertices_edges_to_ugraph/3
  • vertices_edges_to_wgraph/3, vertices_edges_to_wgraph/3
  • views
  • virtual
  • virtual/1, virtual/1
  • virtual_method_spec/1, virtual_method_spec/1
  • vndict
  • w

  • wakeup_exp/1, wakeup_exp/1
  • WAM
  • warning/1
  • warning_message/1, warning_message/1
  • warning_message/2, warning_message/2
  • warning_message/3, warning_message/3
  • Web interface, Web interface
  • WebDB, WebDB, WebDB
  • weekday/1, weekday/1
  • wellformed_body/3, wellformed_body/3
  • when/2, when/2, when/2, when/2
  • WHERE-clause
  • WHERE-clauses
  • where/1, where/1
  • whitespace/2, whitespace/2
  • whitespace0/2, whitespace0/2
  • why the name Ciao
  • Win32
  • Win95/NT machine
  • windows shortcut
  • WinZip
  • Wlodek Drabent
  • working_directory/2, working_directory/2
  • write, write, write, write, write, write, write, write, write, write, write, write, write, write, write, write, write, write, write, write
  • write/1, write/1, write/1, write/1, write/1
  • write/2, write/2, write/2, write/2
  • write_answer/1
  • write_assertion/6, write_assertion/6
  • write_assertion_as_comment/6, write_assertion_as_comment/6
  • write_canonical/1, write_canonical/1
  • write_canonical/2, write_canonical/2
  • write_list1/1, write_list1/1
  • write_option/1, write_option/1, write_option/1
  • write_string/1, write_string/1
  • write_string/2, write_string/2
  • write_term/2, write_term/2
  • write_term/3, write_term/3
  • writeq/1, writeq/1, writeq/1
  • writeq/2, writeq/2
  • WWW browser
  • WWW, interfacing with
  • x

  • xbarelement1
  • xbarelement1/1, xbarelement1/1
  • xbarelement2/1, xbarelement2/1, xbarelement2/1, xbarelement2/1
  • xbarelement3/1
  • xbarelement4/1
  • xelement/1
  • XML, XML
  • xml2terms/2, xml2terms/2
  • y

  • yelement/1, yelement/1
  • |

  • |/2
  • ~

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

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