read(X) :- read(X).

1. Exercise Class
PROLOG

2. Recursive operation
 Factorial Example in C++

3. Termination Rule
if (n == 0) return 1;

4. Coloring Map

6. a(1,2). a(2,1).

7. a(1,2).
a(2,1).
a(1,3).
a(3,1).
a(1,4).
a(4,1).
a(1,5).
a(5,1).
a(2,3).
a(3,2).
a(2,4).
a(4,2).
a(3,4).
a(4,3).
a(4,5).
a(5,4).

8. Encode 'a' and 'b' aj(1,2).
colorings. aj(2,1).
color(1,red,a).
aj(1,3).
color(1,red,b). aj(3,1).
aj(1,4).
color(2,blue,a).
color(2,blue,b).
aj(4,1).
aj(1,5).
color(3,green,a). aj(5,1).
color(3,green,b).
aj(2,3).
color(4,yellow,a). aj(3,2).
aj(2,4).
color(4,blue,b).
color(5,blue,a).
aj(4,2).
color(5,green,b). aj(3,4).
aj(4,3).
aj(4,5).
aj(5,4).

9. conflict(Coloring) :-
adjacent(X,Y),
color(X,Color,Coloring), aj(1,2). color(1,red,a).
color(Y,Color,Coloring).
aj(2,1). color(1,red,b).
conflict(Coloring) :-
aj(1,3). color(2,blue,a). aj(X,Y),
aj(3,1). color(X,Color,Coloring),
color(2,blue,b). color(Y,Color,Coloring).
aj(1,4).
aj(4,1).
color(3,green,a).
aj(1,5). color(3,green,b).
aj(5,1). color(4,yellow,a).
aj(2,3). color(4,blue,b).
aj(3,2). color(5,blue,a).
aj(2,4). color(5,green,b).
aj(4,2).
aj(3,4).
aj(4,3).
aj(4,5).
aj(5,4).

10. Talk to Prolog
 Making a chat bot:
 repeat for ever…
 predict answers
 Have global answers
 Save the chat….

11. Reading and writing in prolog: