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 - k - l - m - n - o - p - q - r - s - t - u - v - w - x - y

'

  • ','/2
  • *

  • */2, */2, */2, */2
  • +

  • +/1
  • .

  • .bib files, .bib files
  • .cshrc
  • .profile
  • :

  • ::/2
  • =

  • =>/2
  • @

  • @! command
  • @' command
  • @. command
  • @.. command
  • @= command
  • @? command
  • @^ command
  • @` command
  • @AA command
  • @aa command
  • @AE command
  • @ae command
  • @apl command
  • @b command
  • @begin{cartouche} command
  • @begin{description} command
  • @begin{enumerate} command
  • @begin{itemize} command
  • @begin{verbatim} command
  • @bf command
  • @bullet command
  • @c command
  • @cindex command
  • @cite command, @cite command
  • @comment command
  • @concept command
  • @copyright command
  • @d command
  • @decl command
  • @em command
  • @email command, @email command
  • @end{cartouche} command
  • @end{description} command
  • @end{enumerate} command
  • @end{itemize} command
  • @end{verbatim} command
  • @file command
  • @footnote command
  • @H command
  • @hfill command
  • @i command
  • @image command, @image command
  • @include command
  • @includedef command
  • @includefact command
  • @includeverbatim command
  • @index command
  • @iso command
  • @item command, @item command
  • @j command
  • @key command
  • @l command
  • @L command
  • @lib command
  • @noindent command
  • @o command
  • @O command
  • @OE command
  • @oe command
  • @op command
  • @p command
  • @pred command
  • @ref command
  • @result command
  • @section command
  • @sp command
  • @ss command
  • @subsection command
  • @t command
  • @today command
  • @tt command
  • @u command
  • @uref command, @uref command
  • @v command
  • @var command
  • @~ command
  • a

  • A4 paper
  • abstract
  • accents
  • acceptable modes
  • acknowledgements
  • address
  • aggregates, aggregates
  • analyzer output, analyzer output
  • andprolog/andprolog_rt
  • aorb/1, aorb/1
  • appendix
  • application
  • arithmetic, arithmetic, arithmetic, arithmetic, arithmetic, arithmetic, arithmetic, arithmetic, arithmetic, arithmetic
  • assertion body syntax, assertion body syntax, assertion body syntax, assertion body syntax
  • assertions, assertions, assertions, assertions, assertions, assertions, assertions, assertions, assertions, assertions, assertions, assertions
  • assertions/assertions_props, assertions/assertions_props, assertions/assertions_props, assertions/assertions_props
  • assertions/assrt_lib
  • assertions/native_props
  • assrt_body/1, assrt_body/1, assrt_body/1
  • assrt_status/1, assrt_status/1
  • assrt_type/1, assrt_type/1
  • atm/1, atm/1
  • atm_or_atm_list/1, atm_or_atm_list/1
  • atomic_basic, atomic_basic, atomic_basic, atomic_basic, atomic_basic, atomic_basic, atomic_basic, atomic_basic, atomic_basic
  • attributes, attributes, attributes, attributes, attributes, attributes, attributes, attributes, attributes
  • author
  • author indexing
  • autodoc
  • autodoc/10, autodoc/10
  • autodocformats, autodocformats, autodocformats, autodocformats, autodocformats, autodocformats, autodocformats, autodocformats, autodocformats
  • automatic documentation, automatic documentation
  • automatic documentation library, automatic documentation library
  • avoiding indentation
  • b

  • bar
  • bar/1, bar/1
  • bash
  • basic_props, basic_props, basic_props, basic_props, basic_props, basic_props, basic_props, basic_props, basic_props, basic_props
  • basic_props:regtype/1
  • basiccontrol, basiccontrol, basiccontrol, basiccontrol, basiccontrol, basiccontrol, basiccontrol, basiccontrol, basiccontrol, basiccontrol
  • baz/1, baz/1
  • bibliographic citations
  • bibliographic entries
  • bibliographic entry
  • bibtex, bibtex, bibtex, bibtex, bibtex, bibtex, bibtex
  • blank lines
  • bold face
  • brief description of the application or library
  • bug
  • c

  • c_assrt_body/1, c_assrt_body/1
  • c_itf
  • call/1
  • call/2, call/2
  • callable/1, callable/1
  • 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
  • character string
  • character_code/1, character_code/1
  • check assertion
  • check/1, check/1, check/1, check/1, check/1, check/1
  • Ciao, Ciao, Ciao, Ciao, Ciao, Ciao, Ciao, Ciao, Ciao, Ciao, Ciao
  • Ciao emacs mode
  • ciaoc, ciaoc
  • ciaopp, ciaopp
  • cjpeg
  • CLP
  • comment
  • comment assertion
  • comment string, comment string, comment string, comment string
  • comment/2, comment/2, comment/2, comment/2, comment/2, comment/2, comment/2, comment/2, comment/2, comment/2, comment/2, comment/2, comment/2, comment/2, comment/2, comment/2, comment/2, comment/2, comment/2, comment/2, comment/2
  • comments, comments
  • comments, machine readable
  • commment/2
  • comp assertion, comp assertion
  • comp/1, comp/1, comp/1, comp/1, comp/1, comp/1
  • comp/2, comp/2, comp/2
  • compat/2, compat/2
  • compatibility properties
  • compatible
  • compiler/c_itf
  • compiler/compiler
  • 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
  • component files, component files
  • component order
  • components
  • constant/1, constant/1
  • contents area
  • conversion formats
  • copyright
  • covered/1, covered/1
  • csh, csh, csh, csh
  • d

  • data/1
  • data_facts, data_facts, data_facts, data_facts, data_facts, data_facts, data_facts, data_facts, data_facts
  • date
  • dcg_expansion
  • dec10_io
  • decl assertion, decl assertion
  • decl/1, decl/1, decl/1, decl/1, decl/1, decl/1
  • decl/2, decl/2, decl/2
  • description list
  • dictionary/1, dictionary/1
  • dir, dir
  • docstring/1, docstring/1, docstring/1, docstring/1, docstring/1, docstring/1, docstring/1, docstring/1, docstring/1, docstring/1
  • document_module/2
  • documentation format
  • documentation strings
  • DOTcshrc
  • dvips
  • dynamic/1, dynamic/1
  • e

  • emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs, emacs
  • emacs Ciao mode, emacs Ciao mode, emacs Ciao mode
  • emacs, accessing info files
  • emacs, generating manuals from
  • emacs, LPdoc mode
  • emacs-library.el
  • email address, email address
  • email addresses, email addresses
  • emphasis face
  • encapsulated postscript
  • engine/basic_props
  • ensure_loaded/1, ensure_loaded/1, ensure_loaded/1, ensure_loaded/1
  • entry assertion
  • entry/1, entry/1, entry/1, entry/1, entry/1
  • enumerated list
  • environment variables
  • errhandle, errhandle
  • escape sequences
  • example of lpdoc use
  • exceptions, exceptions, exceptions, exceptions, exceptions, exceptions, exceptions, exceptions, exceptions
  • exported predicates
  • f

  • fails/1, fails/1
  • false assertion
  • false/1, false/1
  • filenames
  • filetype/1, filetype/1
  • fixed format text
  • fixed-width font
  • flt/1, flt/1
  • foo
  • footnote
  • format, format
  • format/2
  • format_description/3, format_description/3
  • format_front_matter/19, format_front_matter/19
  • format_head_descriptor/5, format_head_descriptor/5
  • format_includes_and_end_matter/6, format_includes_and_end_matter/6
  • format_intro/10, format_intro/10
  • format_module_usage/14, format_module_usage/14
  • format_multiple_usage_header/3, format_multiple_usage_header/3
  • format_native_declaration/3, format_native_declaration/3
  • format_other_assrt_header/2, format_other_assrt_header/2
  • format_other_info/10, format_other_info/10
  • format_predicate_begin/6, format_predicate_begin/6
  • format_predicate_comment/3, format_predicate_comment/3
  • format_predicate_end/2, format_predicate_end/2
  • format_predicates_begin/4, format_predicates_begin/4
  • format_predicates_end/2, format_predicates_end/2
  • format_properties_begin/2, format_properties_begin/2
  • format_properties_end/2, format_properties_end/2
  • format_property/7, format_property/7
  • format_site_begin/4, format_site_begin/4
  • format_site_end/2, format_site_end/2
  • format_usage_header/2, format_usage_header/2
  • formatting commands, formatting commands, formatting commands, formatting commands
  • framed box, framed box
  • func/1
  • g

  • g_assrt_body/1, g_assrt_body/1
  • generate_description/6, generate_description/6
  • generate_info_dir_entry/5, generate_info_dir_entry/5
  • generate_man_page/5, generate_man_page/5
  • generating from emacs
  • generating manuals
  • gmake
  • gmake all, gmake all, gmake all
  • gnd/1, gnd/1
  • GNU general public license, GNU general public license
  • GNU Make
  • ground/1
  • gunzip
  • h

  • 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
  • hiord_rt
  • html
  • html index page
  • i

  • image file
  • images, inserting
  • images, scaling
  • include files, include files
  • include/1, include/1
  • including a predicate definition
  • including an image
  • including code
  • including files
  • including images
  • including or not authors
  • including or not bug info
  • including or not changelog
  • including or not versions, patches
  • indentation, avoiding
  • indep/1, indep/1
  • indep/2, indep/2
  • index pages out of order
  • index_comment/2, index_comment/2, index_comment/2, index_comment/2
  • indices generated automatically
  • info, info, info, info, info, info, info, info, info, info, info, info, info, info, info, info, info, info, info
  • info path list
  • inserting images
  • INSTALL.lpdoc
  • installation
  • installation, of manuals
  • instantiation properties
  • int/1, int/1
  • integer/1, integer/1, integer/1
  • internals manual, internals manual, internals manual, internals manual
  • introduction
  • io_aux, io_aux, io_aux, io_aux, io_aux, io_aux, io_aux, io_aux, io_aux
  • io_basic, io_basic, io_basic, io_basic, io_basic, io_basic, io_basic, io_basic, io_basic
  • is/2
  • is_det/1, is_det/1
  • iso/1, iso/1, iso/1
  • italics face
  • item in an itemized list
  • itemized list
  • k

  • keyboard key
  • l

  • LaTeX
  • letter size paper
  • library
  • library paths, library paths, library paths, library paths
  • library(modes)
  • library_directory/1, library_directory/1
  • linear/1, linear/1
  • Linux, Linux
  • list/1, list/1, list/1, list/1, list/1
  • list/2, list/2, list/2, list/2, list/2, list/2
  • list_or_aorb/2, list_or_aorb/2
  • lists, lists, lists, lists, lists
  • literate programming
  • log of changes
  • long/1, long/1
  • lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc, lpdoc
  • lpdoc -help
  • lpdoc library directory
  • lpdoclib(autodoc)
  • lpdoclib(autodocformats)
  • lpdoclib(comments), lpdoclib(comments)
  • m

  • machine readable comments, machine readable comments
  • main body
  • main file, main file
  • main/0, main/0
  • main/1, main/1
  • Makefile, Makefile, Makefile, Makefile, Makefile, Makefile, Makefile, Makefile, Makefile, Makefile, Makefile, Makefile
  • makeinfo
  • man, man, man, man
  • master index
  • member/2, member/2
  • messages, messages
  • meta_predicate/1, meta_predicate/1
  • meta_props
  • mode, mode
  • modedef/1, modedef/1, modedef/1, modedef/1
  • modtype/1, modtype/1
  • module comment
  • module declaration
  • module/1
  • module/2, module/2, module/2
  • mshare/1, mshare/1
  • multifile/1
  • mut_exclusive/1, mut_exclusive/1
  • n

  • n_assrt_body/5, n_assrt_body/5, n_assrt_body/5
  • nabody/1, nabody/1
  • native_props
  • netscape, netscape, netscape
  • new item in description list
  • nnegint/1, nnegint/1
  • 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
  • num/1, num/1
  • o

  • og/1
  • og/2
  • one-sided printing
  • op/3
  • operator_specifier/1, operator_specifier/1
  • operators
  • option_comment/2, option_comment/2, option_comment/2, option_comment/2
  • p

  • p/3, p/3
  • p/5, p/5
  • packages, packages
  • page numbering, changing
  • page size, changing
  • page style, changing
  • paragraph break
  • parametric property
  • parametric regular type abstractions
  • parametric type functor
  • parts in a large document
  • parts in large documents
  • pdftex
  • perl
  • planned improvement
  • possibly_fails/1, possibly_fails/1
  • possibly_nondet/1, possibly_nondet/1
  • 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/2, pred/2, pred/2
  • predfunctor/1, predfunctor/1
  • predname/1, predname/1, predname/1
  • pretty_print
  • program assertions
  • Prolog, Prolog, Prolog, Prolog, Prolog, Prolog, Prolog
  • Prolog source files
  • Prolog, Ciao
  • prolog_flags, prolog_flags, prolog_flags, prolog_flags, prolog_flags, prolog_flags, prolog_flags, prolog_flags, prolog_flags
  • 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
  • properties of computations
  • properties of execution states
  • properties, basic
  • properties, native
  • property
  • property abstraction, property abstraction
  • property compatibility
  • 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
  • providing information to the compiler, providing information to the compiler
  • pstogif
  • q

  • q/1, q/1
  • q/2, q/2
  • r

  • r/1, r/1
  • read
  • references, references
  • 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
  • regtypes
  • regular type
  • regular type abstractions
  • regular type definitions
  • regular type expression
  • regular types
  • rewrite_command/4, rewrite_command/4
  • rewrite_docstring/4, rewrite_docstring/4
  • run-time checks
  • s

  • s/1
  • s_assrt_body/1, s_assrt_body/1
  • scribe
  • section
  • sections
  • sequence/2, sequence/2
  • sequence_or_list/2, sequence_or_list/2
  • SETTINGS, SETTINGS, SETTINGS, SETTINGS, SETTINGS, SETTINGS, SETTINGS, SETTINGS, SETTINGS, SETTINGS, SETTINGS, SETTINGS, SETTINGS, SETTINGS, SETTINGS, SETTINGS, SETTINGS, SETTINGS, SETTINGS, SETTINGS
  • sharing pieces of text
  • sharing sets
  • sideff_hard/1, sideff_hard/1
  • sideff_pure/1, sideff_pure/1
  • sideff_soft/1, sideff_soft/1
  • size_lb/2, size_lb/2
  • size_ub/2, size_ub/2
  • soft side-effects
  • sort
  • space, extra lines
  • spcae, horizontal fill
  • special characters
  • specifications
  • steps_lb/2, steps_lb/2
  • steps_ub/2, steps_ub/2
  • streams, streams
  • streams_basic, streams_basic, streams_basic, streams_basic, streams_basic, streams_basic, streams_basic, streams_basic, streams_basic
  • string/1, string/1
  • stringcommand/1, stringcommand/1, stringcommand/1, stringcommand/1, stringcommand/1, stringcommand/1, stringcommand/1, stringcommand/1, stringcommand/1
  • strings
  • strong face
  • struct/1, struct/1
  • subsection
  • subtitle
  • success assertion, success assertion
  • success/1, success/1, success/1, success/1, success/1
  • success/2, success/2, success/2
  • supported documentation formats, supported documentation formats
  • supported_format/1, supported_format/1, supported_format/1, supported_format/1
  • supported_format_suffix/2, supported_format_suffix/2
  • synopsis section of the man page
  • syntax of formatting commands
  • syntax of regular types
  • system
  • system modules
  • system_info, system_info, system_info, system_info, system_info, system_info, system_info, system_info, system_info
  • t

  • t/5, t/5
  • tar, tar
  • term/1, term/1
  • term_basic, term_basic, term_basic, term_basic, term_basic, term_basic, term_basic, term_basic, term_basic
  • term_compare, term_compare, term_compare, term_compare, term_compare, term_compare, term_compare, term_compare, term_compare
  • term_typing, term_typing, term_typing, term_typing, term_typing, term_typing, term_typing, term_typing, term_typing
  • terms, terms
  • terms_vars
  • TeX
  • tex, tex, tex, tex, tex, tex, tex, tex, tex, tex, tex, tex
  • texi2dvi, texi2dvi
  • texi2html
  • texindex, texindex
  • Texinfo, Texinfo, Texinfo, Texinfo
  • texinfo, texinfo, texinfo, texinfo, texinfo, texinfo, texinfo, texinfo, texinfo, texinfo, texinfo, texinfo, texinfo, texinfo, texinfo, texinfo, texinfo, texinfo, texinfo, texinfo, texinfo, texinfo
  • texinfo files
  • textual comments
  • thesis-like style
  • time_struct/1
  • title
  • tree_of/2, tree_of/2
  • troubleshooting
  • true assertion
  • true/1, true/1
  • trust assertion
  • trust/1, trust/1, trust/1, trust/1
  • ttyout
  • two-sided
  • types
  • typewriter-like font
  • u

  • u/3, u/3
  • Universal Resource Locator, Universal Resource Locator
  • unix, unix
  • unix man format
  • URL, URL
  • url references
  • urls
  • usage
  • usage of a command
  • usage of the application
  • usage section
  • usage tips
  • usage_message/1, usage_message/1
  • use_module/1
  • use_package/1, use_package/1
  • using citations
  • v

  • var/1
  • variable names
  • verbatim text
  • verbatimize_string/3, verbatimize_string/3
  • version maintenance mode for packages
  • version number
  • version_descriptor/1, version_descriptor/1
  • version_maintenance_type/1, version_maintenance_type/1
  • version_number/1
  • vndict
  • w

  • w/1, w/1
  • word-help, word-help
  • word-help-setup.el
  • word-help.el
  • write
  • WWW, WWW, WWW
  • WWW address
  • x

  • xdvi, xdvi, xdvi, xdvi
  • y

  • ymd_date/1

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