Adventure in Prolog
Index Contents
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