Home Open Source Articles Videos AI Newsletter Contact

Index


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