Adventure in Prolog
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
reconsult / 1 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