A Plan to Solve the Query

IMDBActor($Actor, M) ? actor-in(M, Part, Actor)

Spot($M, Rev, Y) ? review-of(M, Rev) &

year-of(M, Y)

Sidewalk($C, M, Th) ? shows-in(M, C, Th)

query(M, R, b, s) ? actor-in(M, Part, b) &

shows-in(M, s, T) &

review-of(M, R)

plan(M, R, b, s) ? IMDBActor(b, M) &

Sidewalk(s, M, Th) &

Spot(M, R, Y)

plan'(M, R, b, s) ? actor-in(M, P, A) &

review-of(M, R) & year-of(M, Y) &

shows-in(M, C, T)

f: M -> M

Part -> P

b -> A

s -> C

R -> R