Modelling Example
Reason: in the time the rower rows the width of the river, she floats downstream distance given by river speed by time. Hence model
river(W, S, R, P) :- T = W/R, P = S*T.
Suppose she rows at 1.5m/s, river speed is 1m/s and width is 24m.