q ? q”

q (A, E) :-

r(A, B) & r(B, C) & s(C, D) & s(D, E)

q”(X, Y) :-

r(X, H) & r(H, Y) & s(Y, I) & r(M, Z) & s(Z, N) & s(I, Y)

f: A -> X

B ->

C ->

D ->

E -> Y

Previous slide

Next slide

Back to first slide

View graphic version