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

Concept Index

Jump to: a - b - c - d - e - f - g - h - i - k - l - m - n - o - p - q - r - s - t - u - v - w

a

  • abort
  • access driven programming
  • alias, file name, alias, file name
  • all solutions
  • ancestor goal
  • anonymous variable
  • ANSI conformance, ANSI conformance
  • anti-unifications
  • API
  • arguments, command-line
  • arithmetic
  • arity
  • arrays
  • assignment, destructive
  • association lists
  • asynchronous predicate
  • asynchronously, calling Prolog
  • atom
  • attribute declaration
  • attributed variables
  • attributes, object
  • attributes, object, implementation

    • b

  • backtracking
  • binary trees
  • blackboard, blackboard
  • block declaration
  • blocked goal
  • body
  • break
  • built-in predicate

    • c

  • call, last
  • calling Prolog asynchronously
  • calling Prolog from C
  • cavalier predicate
  • character I/O
  • character set, character set
  • choicepoint
  • CHR control flow model
  • CHR debugging messages
  • CHR debugging options
  • CHR debugging predicates
  • CHR spy-points
  • clause
  • clause, guarded
  • command
  • command-line arguments
  • communication
  • comparing terms
  • compilation
  • compiling
  • compound term, compound term
  • computation rule
  • conformance, ANSI, conformance, ANSI
  • considerations for fcompile
  • consistent store
  • constant
  • constraint
  • constraint store
  • constraint, global
  • consulting, consulting, consulting, consulting
  • context, Directory
  • context, File
  • context, Module
  • contradictory store
  • conversions, term
  • coroutining
  • counter
  • cross reference
  • current input stream
  • current output stream
  • cut, cut
  • cut, green
  • cut, red
  • cyclic term, cyclic term, cyclic term

    • d

  • daemon
  • database, database, database
  • database, default
  • db-spec
  • DCG
  • debug options
  • debugging
  • debugging messages
  • debugging predicates
  • declaration, attribute
  • declaration, block
  • declaration, dynamic
  • declaration, meta-predicate, declaration, meta-predicate
  • declaration, mode
  • declaration, module
  • declaration, multifile, declaration, multifile
  • declaration, operator
  • declaration, predicate
  • declaration, public
  • declaration, volatile
  • declarations
  • declarative semantics
  • deep failure, deep failure
  • default database
  • definite clause
  • delegation
  • delegation, message
  • destructive assignment
  • development kernel
  • development system, development system
  • differential inheritance
  • directive, directive
  • domain variable
  • domain, finite
  • domain-consistent
  • domain-disentailed
  • domain-entailed
  • dynamic declaration
  • dynamic linking
  • dynamic method
  • dynamic object, dynamic object, dynamic object
  • dynamic predicate

    • e

  • emacs interface
  • end of file
  • end of line
  • end of stream
  • EOF
  • error handling, error handling
  • error, syntax
  • escape sequence, escape sequence
  • exception handling, exception handling
  • exception handling in C
  • execution
  • execution profiling
  • execution, nested
  • exiting
  • expansion, macro
  • expansion, module name, expansion, module name
  • exported predicate
  • external database
  • external storage

    • f

  • failure, deep, failure, deep
  • failure, shallow, failure, shallow
  • fcompile, considerations for
  • FD predicate
  • FD set
  • file
  • file name alias, file name alias
  • file, module
  • filename
  • Finding Libraries
  • Finding Shared Objects
  • finite domain
  • flag, Prolog, flag, Prolog
  • float
  • floundering
  • foreign language interface, foreign language interface
  • foreign resource
  • foreign resource, linked, foreign resource, linked
  • function prototype
  • functor

    • g

  • garbage collection
  • gauge
  • GCLA
  • generalized Horn clause language
  • generic object
  • generic object, implementation
  • global constraint
  • goal
  • goal, ancestor
  • goal, blocked
  • grammar rule
  • graphical tracing
  • graphs, unweighted
  • graphs, weighted
  • green cut
  • guarded clause

    • h

  • handling, interrupt
  • handling, signal
  • head
  • heaps
  • hidden module
  • hierarchy, object
  • hook functions for I/O
  • hook functions for reinitialization
  • hook predicate
  • Horn clause

    • i

  • I/O hook functions
  • if-then-else
  • implicit parallelism
  • importation
  • imported predicate
  • indexed term
  • indexical
  • indexing
  • information, source, information, source
  • inheritance, inheritance, inheritance
  • inheritance by overriding
  • inheritance, differential
  • inheritance, multiple
  • input
  • input stream, current
  • instance variable
  • instances
  • instances, implementation
  • integer
  • interface, emacs
  • interface, foreign language, interface, foreign language
  • interoperability
  • interrupt handling
  • interrupt, stream
  • interval-consistent
  • interval-disentailed
  • interval-entailed

    • k

  • kernel, development
  • kernel, runtime
  • keyboard

    • l

  • last call
  • layout term
  • library
  • Linda
  • line, end of
  • linked foreign resource, linked foreign resource
  • linking, dynamic
  • linking, static, linking, static
  • list
  • lists
  • loading, loading
  • logic programming

    • m

  • macro expansion
  • message delegation
  • message sending
  • messages, suppressing
  • meta-logical predicate
  • meta-predicate declaration, meta-predicate declaration
  • method
  • method, dynamic
  • mixing C and Prolog
  • mode declaration
  • mode spec
  • module declaration
  • module file
  • module name expansion, module name expansion
  • module system
  • module, hidden
  • module, object
  • module, source
  • module, type-in, module, type-in
  • multifile declaration, multifile declaration
  • multiple inheritance
  • Muse model
  • Must tracing
  • mutable term

    • n

  • nested execution
  • non-unit clause
  • notation

    • o

  • object
  • object hierarchy
  • object module
  • object, dynamic, object, dynamic, object, dynamic
  • object, generic
  • object, generic, implementation
  • object, parameterized
  • object, parameterized, implementation
  • object, static, object, static
  • object-oriented programming
  • occurs-check, occurs-check
  • operating system
  • operator declaration
  • operators, operators, operators
  • ordered sets
  • output
  • output stream, current
  • overriding, inheritance by

    • p

  • parallel declaration
  • parallelism, implicit
  • parameterized object
  • parameterized object, implementation
  • post, to
  • predicate, predicate
  • predicate declaration
  • predicate spec
  • predicate, asynchronous
  • predicate, cavalier
  • predicate, dynamic
  • predicate, exported
  • predicate, FD
  • predicate, hook
  • predicate, imported
  • predicate, private
  • predicate, public
  • predicate, undefined, predicate, undefined
  • predicate, volatile
  • priority queues
  • private predicate
  • procedural semantics
  • procedure box
  • procedure call
  • procedure definition
  • process communication, process communication
  • profiling
  • profiling, execution
  • program
  • program state
  • programming in logic
  • programming, access driven
  • programming, object-oriented
  • Prolog flag, Prolog flag
  • prototype
  • prototype, function
  • public declaration
  • public predicate

    • q

  • query
  • queues

    • r

  • random numbers
  • reading in
  • reconsult
  • recursion, tail
  • red cut
  • reference, term
  • reification
  • reinitialization, reinitialization, reinitialization
  • reinitialization hook functions
  • repeat loop
  • resource, foreign
  • restoring
  • rule, computation
  • rule, grammar
  • rule, search
  • running
  • runtime kernel
  • runtime system, runtime system

    • s

  • saved state
  • saving
  • scheduler
  • scheduling
  • search rule
  • self
  • semantics, semantics
  • sending, message
  • sentence
  • sequence, escape, sequence, escape
  • sequential declaration
  • sets
  • shallow failure, shallow failure
  • side effects
  • signal handling
  • sockets
  • solutions, all
  • source information, source information
  • source module
  • SP_term_ref (C type)
  • speculative work
  • spy-point
  • stand-alone application
  • standard order
  • state, program
  • state, saved
  • static linking, static linking
  • static object, static object
  • store, consistent
  • store, constraint
  • store, contradictory
  • stream
  • stream, end of
  • string
  • subsumption
  • suppressing messages
  • suspension
  • suspension, voluntary
  • synchronization
  • synchronized
  • syntax error
  • system, development
  • system, operating
  • system, runtime

    • t

  • tail recursion
  • term
  • term comparison
  • term conversions
  • term I/O
  • term reference
  • term, compound
  • term, cyclic, term, cyclic, term, cyclic
  • term, indexed
  • term, layout
  • term, mutable
  • terms
  • top level
  • tracing, graphical
  • trees
  • type-in module, type-in module

    • u

  • ugraph
  • undefined predicate, undefined predicate, undefined predicate
  • unification
  • unit clause
  • unweighted graphs
  • user

    • v

  • variable, variable
  • variable, domain
  • variable, instance
  • variables, attributed
  • Visandor tracing
  • volatile declaration
  • volatile predicate
  • voluntary suspension

    • w

  • WAM, WAM
  • weighted graphs
  • wgraph
  • work
  • work, speculative
  • worker

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