[comp.lang.prolog] tak function

parrish@hpisla.UUCP (04/23/87)

Could anyone please tell me the origin and purpose(s) of the takeuchi (sp?)
function which goes something like this:
  
  tak(I, J, K, L) :- I<=J, L is K.
  tak(I, J, K, L) :- tak(I-1, J, K, L1),
                     tak(J-1, K, I, L2),
                     tak(K-1, I, J, L3),
                     tak(L1, L2, L3, L).

Thanks in advance.

Frank.