Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display. C H A P T E R N I N E Logic Programming
Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display. 9-2 Attempting to Satisfy the Query talkswith (bob, allen) Figure 9.1
Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display. 9-3 First Attempt to Satisfy the Query talkswith(Who, allen) Figure 9.2
Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display. 9-4 A Partial Family Tree Figure 9.3
Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display. 9-5 A Small Family “Tree” Figure 9.4
Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display. 9-6 Partial Search Tree for append([english, russian], [spanish], L) Figure 9.5
Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display. 9-7 Trace of bsort for the List [5,2,3,1]. Figure 9.6
Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display. 9-8 The Factorial Function in Prolog Figure 9.7
Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display. 9-9 Trace of Factorial (4) Figure 9.8
Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display Symbolic Differentiation Rules Figure 9.9
Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display Prolog Symbolic Differentiator Figure 9.10
Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display Search Tree for the Query d(x, 2*x+1, Ans) Figure 9.11
Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display Prolog Solution for the Building Problem Figure 9.12
Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display A Simple BNF Grammar and Parse Tree for “The Giraffe Dreams” † Figure 9.13
Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display Tracing Execution of a Prolog Query Figure 9.14
Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display Prolog DCG for the Syntax of Jay Expressions Figure 9.15
Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display Jay Expression Syntax Extended to Generate Parse Trees Figure 9.16