=/2 Unification Lists =/2, affect on backtracking 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 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 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 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 Compound Queries Facts: Nani Search Facts Getting Started: Jargon Facts: Nani Search fail/0 fail/0, affect on backtracking fail/0, and cut findall/3 Functors Functors,as operators Goals Goals, combining Goals, ports of Goals, variables in goto/1 Managing Data Cut: Using the Cut Grammar 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 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 member/2 member/2, example trace of mortal/1 Getting Started: Jumping In Getting Started: Logic Programming mortal_report 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 object/4 op/3 Operators Operators Arithmetic Operators, associativity Operators, infix Operators, nonassociative Operators, postfix Operators, precedence Operators, prefix 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 Queries Queries, compound Queries, simple examples of 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 sleeps/1 Source code loading Structures Structures, complex Structures, unification tab/1 take/1 take_object/1 tastes_yucky/1 Terms 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 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 Rules Rules: How Rules Work write/1
Copyright © 1995-2016 Amzi! inc. All Rights Reserved.
Amzi!, Logic Server, ARulesXL, KnowledgeWright, Adventure in Prolog, Building Expert Systems in Prolog, are trademarks of Amzi! inc.
Flying squirrel photo Copyright © Joe McDonald