如何在序言中找到递归余数（无算术）

Question

如何在序言中找到递归余数（无算术）。这是问题：

remainder(X,Y,R)为真，如果X除以Y剩下R