Go to the first, previous, next, last section, table of contents.
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.