This is Info file icp.info, produced by Makeinfo-1.55 from the input
file prolog.texi.

This file documents the IC Prolog ][ system version 0.96, dated
28 September 1993.

Copyright (C) 1992,1993 Imperial College, London.  All rights reserved.


File: icp.info,  Node: PredicateIndex,  Next: UserPredicateIndex,  Prev: Low Level,  Up: Top

Predicate Index
***************

* Menu:

* !/0:                                  Control.
* 'C'/3:                                Dcg.
* **/2:                                 Operators.
* */2:                                  Operators.
* ++/2:                                 Operators.
* +/1:                                  Operators.
* +/2:                                  Operators.
* ,/2:                                  Operators.
* ,/2:                                  Control.
* -/2:                                  Operators.
* ->/2:                                 Operators.
* -/1:                                  Operators.
* -/2:                                  Operators.
* ->/2:                                 Operators.
* . /2:                                 Operators.
* ///2:                                 Operators.
* //2:                                  Operators.
* /\/2:                                 Operators.
* :-/1:                                 Operators.
* :-/2:                                 Operators.
* :/2:                                  Operators.
* ;/2:                                  Control.
* ;/2:                                  Operators.
* </2:                                  Operators.
* <</2:                                 Operators.
* =../2:                                Operators.
* =../2:                                TypePrimitives.
* =/2:                                  Operators.
* =/2:                                  TypePrimitives.
* =:=/2:                                ArithmeticComparison.
* =:=/2:                                Operators.
* =</2:                                 Operators.
* ==/2:                                 Operators.
* =\=/2:                                Operators.
* >/2:                                  Operators.
* >=/2:                                 Operators.
* >>/2:                                 Operators.
* ?-/1:                                 Operators.
* ??/1:                                 Tracer.
* ??/1:                                 Operators.
* @</2:                                 Operators.
* @=</2:                                Operators.
* @>/2:                                 Operators.
* @>=/2:                                Operators.
* abolish/1:                            ModifyingDatabase.
* abort/0:                              ExecutionAndError.
* address/2:                            Miscellaneous.
* append/3:                             ListHandling.
* arb_member/2:                         Miscellaneous.
* arg/3:                                TypePrimitives.
* argc/1:                               Miscellaneous.
* argv/1:                               Miscellaneous.
* assert/1:                             ModifyingDatabase.
* asserta/1:                            ModifyingDatabase.
* assertx/2:                            ModifyingDatabase.
* assertz/1:                            ModifyingDatabase.
* atom/1:                               TypePrimitives.
* atomic/1:                             TypePrimitives.
* atom_chars/2:                         StringsAndAtoms.
* bagof/3:                              Metalogical.
* call/1:                               Control.
* catch/1:                              ExecutionAndError.
* catch/2:                              ExecutionAndError.
* catch/3:                              ExecutionAndError.
* cd/0:                                 Miscellaneous.
* cd/1:                                 Miscellaneous.
* cd/1:                                 Operators.
* clause/2:                             ProgramState.
* close/1:                              StreamHandling.
* close_parlog/0:                       Parlog.
* close_port/1:                         Threads.
* commit_read/1:                        Threads.
* compare/3:                            TermComparisonPreds.
* compile/1:                            LoadingStatic.
* compile/2:                            LoadingStatic.
* compile/3:                            LoadingStatic.
* compound/1:                           TypePrimitives.
* concat/3:                             StringsAndAtoms.
* concat_atom/2:                        StringsAndAtoms.
* consult/1:                            LoadingDynamic.
* copy_term/2:                          StringsAndAtoms.
* ctime/7:                              Miscellaneous.
* current_input/1:                      StreamHandling.
* current_op/3:                         ExecutionAndError.
* current_output/1:                     StreamHandling.
* current_predicate/2:                  ProgramState.
* cursor/2:                             Miscellaneous.
* debugicp/0:                           Miscellaneous.
* default_prop/3:                       Properties.
* defined/1:                            ProgramState.
* delete/3:                             ListHandling.
* del_cons/1:                           Properties.
* del_prop/2:                           Properties.
* del_props/1:                          Properties.
* display/1:                            IOTerms.
* display/2:                            IOTerms.
* dynamic/1:                            Operators.
* edit/1:                               Miscellaneous.
* edit/2:                               Miscellaneous.
* empty_pipe/1:                         Threads.
* ensure_loaded/1:                      LoadingStatic.
* errno/2:                              Miscellaneous.
* exit/0:                               Threads.
* expand_term/2:                        Dcg.
* fail/0:                               Control.
* false/0:                              Control.
* file_exists/1:                        StreamHandling.
* findall/3:                            Metalogical.
* float/1:                              TypePrimitives.
* flush/0:                              StreamHandling.
* flush_output/1:                       StreamHandling.
* forall/2:                             Metalogical.
* forget/1:                             Properties.
* fork/1:                               Threads.
* fork/2:                               Threads.
* format/2:                             IOTerms.
* format/3:                             IOTerms.
* functor/3:                            TypePrimitives.
* gensym/2:                             StringsAndAtoms.
* get/1:                                IOChars.
* get/2:                                IOChars.
* get0/1:                               IOChars.
* get0/2:                               IOChars.
* getenv/2:                             Miscellaneous.
* get_cons/2:                           Properties.
* get_path/1:                           Miscellaneous.
* get_prolog_flag/2:                    Miscellaneous.
* get_prop/3:                           Properties.
* get_props/2:                          Properties.
* gread/1:                              IOTerms.
* gread/2:                              IOTerms.
* gread/3:                              IOTerms.
* halt/0:                               ExecutionAndError.
* icon_label/1:                         Miscellaneous.
* integer/1:                            TypePrimitives.
* is/2:                                 Arithmetic.
* is/2:                                 Operators.
* is_iport/1:                           Threads.
* is_oport/1:                           Threads.
* kill/1:                               ModifyingDatabase.
* kill_thread/1:                        Threads.
* length/2:                             TypePrimitives.
* list/1:                               TypePrimitives.
* listfile/1:                           ProgramState.
* listing/0:                            ProgramState.
* listing/1:                            ProgramState.
* list_props/2:                         Properties.
* load/1:                               LoadingStatic.
* load/2:                               LoadingStatic.
* loadicp/1:                            LoadingStatic.
* loadicp/2:                            LoadingStatic.
* load_foreign_files/1:                 ForeignPredicates.
* load_foreign_files/2:                 ForeignPredicates.
* look_pipe/2:                          Threads.
* ls/0:                                 Miscellaneous.
* ls/1:                                 Operators.
* ls/1:                                 Miscellaneous.
* make/1:                               LoadingStatic.
* make/2:                               LoadingStatic.
* map/2:                                Metalogical.
* map/3:                                Metalogical.
* map/4:                                Metalogical.
* map/5:                                Metalogical.
* max/3:                                Miscellaneous.
* mbx_bind/2:                           MbxMisc.
* mbx_bind/4:                           MbxMisc.
* mbx_check/1:                          MbxIO.
* mbx_check/4:                          MbxIO.
* mbx_clear/1:                          MbxIO.
* mbx_clear/4:                          MbxIO.
* mbx_close/1:                          MbxInit.
* mbx_close/3:                          MbxInit.
* mbx_closedb/1:                        MbxMisc.
* mbx_closedb/2:                        MbxMisc.
* mbx_commit/1:                         MbxIO.
* mbx_commit/4:                         MbxIO.
* mbx_create/1:                         MbxInit.
* mbx_create/6:                         MbxInit.
* mbx_discard/1:                        MbxIO.
* mbx_discard/4:                        MbxIO.
* mbx_getdb/3:                          MbxMisc.
* mbx_getdb/5:                          MbxMisc.
* mbx_getid/2:                          MbxMisc.
* mbx_getid/4:                          MbxMisc.
* mbx_getlinks/2:                       MbxInit.
* mbx_getlinks/4:                       MbxInit.
* mbx_getname/2:                        MbxMisc.
* mbx_getname/4:                        MbxMisc.
* mbx_init/2:                           MbxInit.
* mbx_initdb/1:                         MbxMisc.
* mbx_initdb/2:                         MbxMisc.
* mbx_link/2:                           MbxInit.
* mbx_link/5:                           MbxInit.
* mbx_look/2:                           MbxIO.
* mbx_look/5:                           MbxIO.
* mbx_recv/2:                           MbxIO.
* mbx_recv/5:                           MbxIO.
* mbx_send/2:                           MbxIO.
* mbx_send/5:                           MbxIO.
* mbx_unlink/2:                         MbxInit.
* mbx_unlink/5:                         MbxInit.
* member/2:                             ListHandling.
* memberchk/2:                          ListHandling.
* meta_predicate/1:                     Operators.
* mod/2:                                Operators.
* mode/1:                               Operators.
* multifile/1:                          Operators.
* name/2:                               StringsAndAtoms.
* new_thread/1:                         Threads.
* nl/0:                                 IOChars.
* nl/1:                                 IOChars.
* nonvar/1:                             TypePrimitives.
* noref/0:                              Miscellaneous.
* nospy/1:                              Operators.
* not/1:                                Control.
* not/1:                                Operators.
* notrace/0:                            Tracer.
* not_arb_member/2:                     Miscellaneous.
* no_occ/2:                             ListHandling.
* no_style_check/1:                     Style.
* nth0/3:                               TypePrimitives.
* nth1/3:                               TypePrimitives.
* ntpl/2:                               Metalogical.
* number/1:                             TypePrimitives.
* numbervars/3:                         StringsAndAtoms.
* number_chars/2:                       StringsAndAtoms.
* occ/2:                                ListHandling.
* on/2:                                 ListHandling.
* one/1:                                Control.
* op/3:                                 ExecutionAndError.
* open/3:                               StreamHandling.
* open_ram/3:                           StreamHandling.
* open_ram/4:                           StreamHandling.
* otherwise/0:                          Control.
* out_of_date/2:                        Miscellaneous.
* parlog/0:                             Parlog.
* parlog/1:                             Parlog.
* phrase/2:                             Dcg.
* phrase/3:                             Dcg.
* pipe/2:                               Threads.
* pname/2:                              StringsAndAtoms.
* pname/4:                              StringsAndAtoms.
* portray_clause/1:                     IOTerms.
* predicate/2:                          ProgramState.
* predicate_property/2:                 ProgramState.
* print/1:                              IOTerms.
* print/2:                              IOTerms.
* public/1:                             Operators.
* put/1:                                IOChars.
* put/2:                                IOChars.
* pwd/0:                                Miscellaneous.
* qprolog/1:                            Threads.
* qsort/3:                              ListHandling.
* ram_const/2:                          StreamHandling.
* ram_pipe/2:                           StreamHandling.
* read/1:                               IOTerms.
* read/2:                               IOTerms.
* read_pipe/2:                          Threads.
* read_prolog_file/1:                   FileTrans.
* read_term/1:                          IOTerms.
* read_term/2:                          IOTerms.
* realtime/1:                           Miscellaneous.
* rebuild/0:                            LoadingStatic.
* recall/2:                             Properties.
* reconsult/1:                          LoadingDynamic.
* release_port/1:                       Threads.
* remember/2:                           Properties.
* remove/3:                             ListHandling.
* repeat/0:                             Control.
* resume/0:                             Threads.
* resume/1:                             Threads.
* retract/1:                            ModifyingDatabase.
* retractall/1:                         ModifyingDatabase.
* retractx/3:                           ModifyingDatabase.
* reverse/2:                            ListHandling.
* save/2:                               ModifyingDatabase.
* save/3:                               ModifyingDatabase.
* setof/3:                              Metalogical.
* set_echoes/0:                         Tracer.
* set_input/1:                          StreamHandling.
* set_leashes/0:                        Tracer.
* set_output/1:                         StreamHandling.
* set_path/1:                           Miscellaneous.
* set_prolog_flag/2:                    Miscellaneous.
* set_prop/3:                           Properties.
* shell/0:                              Threads.
* shell_escape/0:                       Miscellaneous.
* skip/1:                               IOChars.
* skip/2:                               IOChars.
* spy/1:                                Operators.
* statistics/2:                         Miscellaneous.
* style_check/1:                        Style.
* succeed/1:                            Control.
* suspend/0:                            Threads.
* suspend/1:                            Threads.
* system/1:                             LoadingStatic.
* system_error/2:                       ExecutionAndError.
* system_fail/2:                        ExecutionAndError.
* system_predicate/2:                   ProgramState.
* system_undefined/1:                   ExecutionAndError.
* tab/1:                                IOChars.
* tab/2:                                IOChars.
* tag/2:                                TypePrimitives.
* tcp_accept/2:                         TcpConnected.
* tcp_accept/4:                         TcpConnected.
* tcp_accept/5:                         TcpConnected.
* tcp_bind/2:                           TcpLow.
* tcp_bind/3:                           TcpLow.
* tcp_broadcast/2:                      TcpConnectionless.
* tcp_checkconn/1:                      TcpMisc.
* tcp_checkrecv/1:                      TcpMisc.
* tcp_checkrecv/2:                      TcpMisc.
* tcp_client/3:                         TcpConnected.
* tcp_client/4:                         TcpConnected.
* tcp_close/1:                          TcpMisc.
* tcp_connect/3:                        TcpLow.
* tcp_connect/4:                        TcpLow.
* tcp_connectionless/2:                 TcpConnectionless.
* tcp_currenthost/2:                    TcpMisc.
* tcp_gethost/2:                        TcpMisc.
* tcp_getpeeraddr/3:                    TcpMisc.
* tcp_getport/3:                        TcpMisc.
* tcp_getsockaddr/3:                    TcpMisc.
* tcp_getsockopt/3:                     TcpLow.
* tcp_listen/1:                         TcpLow.
* tcp_open/2:                           TcpLow.
* tcp_real_socket/2:                    TcpMisc.
* tcp_recv/2:                           TcpConnected.
* tcp_recv/3:                           TcpConnected.
* tcp_recv/4:                           TcpConnected.
* tcp_recvfrom/4:                       TcpConnectionless.
* tcp_recvfrom/5:                       TcpConnectionless.
* tcp_recvfrom/6:                       TcpConnectionless.
* tcp_send/2:                           TcpConnected.
* tcp_send/3:                           TcpConnected.
* tcp_sendbr/3:                         TcpConnectionless.
* tcp_sendbr/4:                         TcpConnectionless.
* tcp_sendto/4:                         TcpConnectionless.
* tcp_sendto/5:                         TcpConnectionless.
* tcp_server/2:                         TcpConnected.
* tcp_server/3:                         TcpConnected.
* tcp_setsockopt/3:                     TcpLow.
* tcp_socket/3:                         TcpLow.
* thread/1:                             Threads.
* throw/1:                              ExecutionAndError.
* time/1:                               Miscellaneous.
* timeslice/1:                          Threads.
* toground/2:                           Metalogical.
* toground/3:                           Metalogical.
* toground/4:                           Metalogical.
* toground/5:                           Metalogical.
* tohollow/3:                           Metalogical.
* tohollow/4:                           Metalogical.
* trace/0:                              Tracer.
* true/0:                               Control.
* tty/3:                                StreamHandling.
* tty_get0/1:                           IOChars.
* tuple/1:                              TypePrimitives.
* tuple/2:                              TypePrimitives.
* unget/1:                              IOChars.
* unix/1:                               Miscellaneous.
* unlock/1:                             Threads.
* var/1:                                TypePrimitives.
* varsin/2:                             Metalogical.
* vi/1:                                 Miscellaneous.
* vi/1:                                 Operators.
* window_label/1:                       Miscellaneous.
* write/1:                              IOTerms.
* write/2:                              IOTerms.
* writenl/1:                            IOTerms.
* writenl/2:                            IOTerms.
* writeq/1:                             IOTerms.
* writeq/2:                             IOTerms.
* writeq/3:                             IOTerms.
* writeqnl/1:                           IOTerms.
* writeqnl/2:                           IOTerms.
* writeqseq/1:                          IOTerms.
* writeqseq/2:                          IOTerms.
* writeqseqnl/1:                        IOTerms.
* writeqseqnl/2:                        IOTerms.
* writeseq/1:                           IOTerms.
* writeseq/2:                           IOTerms.
* writeseqnl/1:                         IOTerms.
* writeseqnl/2:                         IOTerms.
* write_canonical/1:                    IOTerms.
* write_canonical/2:                    IOTerms.
* write_pipe/2:                         Threads.
* write_term/1:                         IOTerms.
* write_term/2:                         IOTerms.
* xparlog/0:                            Parlog.
* \+/1:                                 Operators.
* \+/1:                                 Control.
* \//2:                                 Operators.
* \/1:                                  Operators.
* \=/2:                                 Operators.
* \==/2:                                Operators.
* ^/2:                                  Operators.


File: icp.info,  Node: UserPredicateIndex,  Next: ConceptIndex,  Prev: PredicateIndex,  Up: Top

User Defined Predicate Index
****************************

* Menu:

* foreign/3:                            ForeignPredicates.
* foreign_file/2:                       ForeignPredicates.
* portray/1:                            IOTerms.
* query_expansion/2:                    Dcg.
* term_expansion/2:                     Dcg.
* user_compile/3:                       FileTrans.
* user_consult/3:                       FileTrans.
* user_error/2:                         ExecutionAndError.
* user_file_type/2:                     FileTrans.
* user_undefined/1:                     ExecutionAndError.


File: icp.info,  Node: ConceptIndex,  Prev: UserPredicateIndex,  Up: Top

Concept Index
*************

* Menu:

* :- commands:                          Startup.
* ?- commands:                          Startup.
* command line:                         CommandLine.
* compile:                              LoadingStatic.
* compiling:                            LoadIntro.
* consult:                              LoadingDynamic.
* consulting:                           LoadIntro.
* debugging:                            Tracer.
* dynamic code:                         DynamicCode.
* Error codes:                          Error Codes.
* file extensions:                      SearchPath.
* file location:                        SearchPath.
* loading:                              LoadIntro.
* mailbox:                              Mailboxes.
* notation:                             Notation.
* Operators:                            Operators.
* predicate specification:              Notation.
* reconsult:                            LoadingDynamic.
* search path:                          SearchPath.
* startup:                              Startup.
* static code:                          StaticCode.
* style checking:                       Style.
* syntax:                               Syntax.
* tracing:                              Tracer.


