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

Concept Index

a

  • abort
  • access driven programming
  • alias, file name
  • all solutions
  • ancestor goal
  • anonymous variable
  • 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
  • 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
  • choicepoint
  • clause
  • clause, guarded
  • command
  • command-line arguments
  • communication
  • comparing terms
  • compilation
  • compiling
  • compound term
  • computation rule
  • conformance, ANSI
  • considerations for fcompile
  • consistent store
  • constant
  • constraint
  • constraint store
  • constraint, global
  • consulting
  • context, Directory
  • context, File
  • context, Module
  • contradictory store
  • conversions, term
  • coroutining
  • counter
  • cross reference
  • current input stream
  • current output stream
  • cut
  • cut, green
  • cut, red
  • cyclic term
  • d

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

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

  • failure, deep
  • failure, shallow
  • fcompile, considerations for
  • FD predicate
  • FD set
  • file
  • file name alias
  • file, module
  • filename
  • finite domain
  • flag, Prolog
  • float
  • floundering
  • foreign language interface
  • foreign resource
  • 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
  • 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
  • inheritance
  • inheritance by overriding
  • inheritance, differential
  • inheritance, multiple
  • input
  • input stream, current
  • instance variable
  • instances
  • instances, implementation
  • integer
  • interface, emacs
  • interface, foreign language
  • interoperability
  • interrupt handling
  • interrupt, stream
  • interval-consistent
  • interval-disentailed
  • interval-entailed
  • k

  • kernel, development
  • kernel, runtime
  • keyboard
  • l

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

  • macro expansion
  • message delegation
  • message sending
  • messages, suppressing
  • meta-logical predicate
  • meta-predicate declaration
  • method
  • method, dynamic
  • mixing C and Prolog
  • mode declaration
  • mode spec
  • module declaration
  • module file
  • module name expansion
  • module system
  • module, object
  • module, source
  • module, type-in
  • 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, generic
  • object, generic, implementation
  • object, parameterized
  • object, parameterized, implementation
  • object, static
  • object-oriented programming
  • occurs-check
  • operating system
  • operator declaration
  • operators
  • ordered sets
  • output
  • output stream, current
  • overriding, inheritance by
  • p

  • parallel declaration
  • parallelism, implicit
  • parameterized object
  • parameterized object, implementation
  • post, to
  • 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
  • priority queues
  • private predicate
  • procedural semantics
  • procedure box
  • procedure call
  • procedure definition
  • process communication
  • profiling
  • profiling, execution
  • program
  • program state
  • programming in logic
  • programming, access driven
  • programming, object-oriented
  • 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 hook functions
  • repeat loop
  • resource, foreign
  • restoring
  • rule, computation
  • rule, grammar
  • rule, search
  • running
  • runtime kernel
  • runtime system
  • s

  • saved state
  • saving
  • scheduler
  • scheduling
  • search rule
  • self
  • semantics
  • sending, message
  • sentence
  • sequence, escape
  • sequential declaration
  • sets
  • shallow failure
  • side effects
  • signal handling
  • sockets
  • solutions, all
  • source module
  • SP_term_ref (C type)
  • speculative work
  • spy-point
  • stand-alone application
  • standard order
  • state, program
  • state, saved
  • static linking
  • 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, indexed
  • term, mutable
  • terms
  • top level
  • tracing
  • tracing, graphical
  • trees
  • type-in module
  • u

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

  • variable
  • variable, domain
  • variable, instance
  • variables, attributed
  • Visandor tracing
  • voluntary suspension
  • w

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

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