PROLOGExercise Class

Recursive operation

Factorial Example in C++

Termination Rule

if (n == 0) return 1;

Coloring Map

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

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).

aj(1,2).

aj(2,1).

aj(1,3).

aj(3,1).

aj(1,4).

aj(4,1).

aj(1,5).

aj(5,1).

aj(2,3).

aj(3,2).

aj(2,4).

aj(4,2).

aj(3,4).

aj(4,3).

aj(4,5).

aj(5,4).

Encode 'a' and 'b' colorings.

color(1,red,a).

color(1,red,b).

color(2,blue,a).

color(2,blue,b).

color(3,green,a).

color(3,green,b).

color(4,yellow,a).

color(4,blue,b).

color(5,blue,a).

color(5,green,b).

aj(1,2).

aj(2,1).

aj(1,3).

aj(3,1).

aj(1,4).

aj(4,1).

aj(1,5).

aj(5,1).

aj(2,3).

aj(3,2).

aj(2,4).

aj(4,2).

aj(3,4).

aj(4,3).

aj(4,5).

aj(5,4).

color(1,red,a).

color(1,red,b).

color(2,blue,a).

color(2,blue,b).

color(3,green,a).

color(3,green,b).

color(4,yellow,a).

color(4,blue,b).

color(5,blue,a).

color(5,green,b).

conflict(Coloring) :-aj(X,Y), color(X,Color,Coloring), color(Y,Color,Coloring).

conflict(Coloring) :-

adjacent(X,Y),

color(X,Color,Coloring),

color(Y,Color,Coloring).

Talk to Prolog

Making a chat bot:

repeat for ever…

predict answers

Have global answers

Save the chat….

Reading and writing in prolog: