A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

=/2
  Unification
  Lists
=/2, affect on backtracking

  A
add_thing/3
add_thing2/3
Anonymous variables
  Unification
  Data Structures
  Rules: Using Rules
append/3
append/3, example trace of
Arguments
Arithmetic, affect on backtracking
Arithmetic, expressions
Arithmetic, operators
Arity
assert/1, and backtracking
asserta/1
assertz/1
Associativity
Associativity, overriding
Atoms
Atoms, syntax of

  B
Backtracking
  Control Structures
  Compound Queries
Backtracking, and repeat/0
Backtracking, cut
Backtracking, versus recursion
Boundary condition
Boundary, condition
break_out/1
Built-in predicates
Built-in predicates, as operators
Built-in predicates, example trace of

  C
can_go/1
can_take_s/1
Character set
Clauses
  Rules
  Getting Started: Jargon
Clauses, number
command_loop/0
Compound queries
Compound query, example trace of
Conjunction
connect/2
consult/1
Cut
  Cut
  Cut: Using the Cut
Cut, and fail/0
Cut, examples of
Cut, performance considerations

  D
DCG (Definite Clause Grammar)
Difference lists
Difference lists, example trace of
display/1
  Lists
  Operators
do/1
door/2
  Compound Queries
  Facts: Nani Search
dot/2

  E
edible/1
  Compound Queries
  Facts: Nani Search

  F
Facts
  Facts
  Getting Started: Jargon
  Facts: Nani Search
fail/0
fail/0, affect on backtracking
fail/0, and cut
findall/3
Functors
Functors,as operators

  G
Goals
Goals, combining
Goals, ports of
Goals, variables in
goto/1
  Managing Data
  Cut: Using the Cut
Grammar

  I
I/O predicates
I/O predicates, affect on backtracking
Integers
is/2
  Operators
  Arithmetic
is_contained_in/2
  Recursion
  Recursion: How Recursion Works
is_in/2

  L
list_things/1
list_things_s/1
Lists
Lists, and recursion
Lists, character
Lists, converting to facts
Lists, difference
Lists, dot notation
Lists, empty
Lists, head
Lists, syntax
Lists, tail
loc_list/2
location/2
  Compound Queries: Built-in Predicates
  Simple Queries
  Compound Queries
  Recursion
  Simple Queries: How Queries Work
  Facts: Nani Search
  Lists: Using the List Utilities
location_s/2
Logical variables
look/0
Loops
Loops, endless
Loops, recursive

  M
member/2
member/2, example trace of
mortal/1
  Getting Started: Jumping In
  Getting Started: Logic Programming
mortal_report

  N
naive_reverse/2
Nani Search game
Nani Search game, example run of
Nani Search game, generally
Natural language
Neck symbol
nl/0
not/0, instead of
not/1
  Data Structures
  Cut: Using the Cut

  O
object/4
op/3
Operators
  Operators
  Arithmetic
Operators, associativity
Operators, infix
Operators, nonassociative
Operators, postfix
Operators, precedence
Operators, prefix

  P
person/1
  Getting Started: Jumping In
  Getting Started: Logic Programming
Ports
Ports, redo
Precedence
Precedence, overriding
Precedence, problems with
Predicates
  Getting Started
  Getting Started: Jargon
Predicates, arity
Predicates, arity of 0
Predicates, built-in
Predicates, name of
Prolog
Prolog data vs. procedure
Prolog listener
  Facts
  Getting Started: Jumping In
Prolog, flow of control
  Control Structures
  Rules: Using Rules
Prolog, origins of

  Q
Queries
Queries, compound
Queries, simple examples of

  R
Recursion
Recursion, example, trace of
Recursion, performance considerations
  Recursion: Pragmatics
  Control Structures: Recursive Control Loop
Recursion, versus backtracking
Recursive case
repeat/0
retract/1
room/1
  Simple Queries
  Facts: Nani Search
Rules
  Rules
  Getting Started: Jargon
Rules, example, trace of
Rules, multiple
Rules, unification

  S
sleeps/1
Source code loading
Structures
Structures, complex
Structures, unification

  T
tab/1
take/1
take_object/1
tastes_yucky/1
Terms

  U
unbound variables
Unification
  Unification
  Simple Queries
  Simple Queries: How Queries Work
Unification, during recursion
Unification, explicit
Unification, implicit
Unification, lists
Unification, operators
Unification, rules
Unification, structures
  Unification
  Data Structures

  V
Variables
Variables, anonymous
Variables, binding
Variables, global
Variables, global, eliminating
Variables, in goals
Variables, scope
  Managing Data
  Recursion: How Recursion Works
Variables, syntax of
Variables, unbound

  W
where_food/2
  Rules
  Rules: How Rules Work
write/1