A.D.A. PROLOG

type ED (EDUCATIONAL VERSION)

Version 1.95D - 6/27/87

Copyright Robert Morein and Automata Design Associates 1985

Dresher, Pa. (215) - 646-4894

?-consult assign3.

Compiling assign3.

Yes.

?-listing.

a(1,1).

a(2,1).

a(3,2).

a(4,4).

b(1,2).

b(1,3).

b(2,3).

b(3,2).

b(4,4).

Yes.

?-trace(a).

E: trace(a)

Yes.

?-a(X,Y),b(X,Y).

C: a(X_0,Y_1)

E: a(1,1)

C: b(1,1)

F: b(1,1)

R: a(X_0,Y_1)

E: a(2,1)

C: b(2,1)

F: b(2,1)

R: a(X_0,Y_1)

E: a(3,2)

C: b(3,2)

E: b(3,2)

X = 3,

Y = 2

More? (Y/N):y

R: b(3,2)

F: b(3,2)

R: a(X_0,Y_1)

E: a(4,4)

C: b(4,4)

E: b(4,4)

X = 4,

Y = 4

?-

?-a(X,Y),b(X,Y),a(Y,Y).

C: a(X_0,Y_1)

E: a(1,1)

C: b(1,1)

F: b(1,1)

R: a(X_0,Y_1)

E: a(2,1)

C: b(2,1)

F: b(2,1)

R: a(X_0,Y_1)

E: a(3,2)

C: b(3,2)

E: b(3,2)

C: a(2,2)

F: a(2,2)

R: b(3,2)

F: b(3,2)

R: a(X_0,Y_1)

E: a(4,4)

C: b(4,4)

E: b(4,4)

C: a(4,4)

E: a(4,4)

X = 4,

Y = 4

?-