如何使用减法代替（/）来划分两个数字。这是我使用减法计算mod的代码：
predicates
div(integer,integer,integer)
clauses
div(X,Y,Z):-X>Y,X1=X-1,div(X1,Y,Z),!.
div(X,Y,Z):-X<y,X=Z,!.
div(X,Y,Z):-X=Y,Z=0,!.
我解决了它
predicates
div(integer,integer,integer).
clauses
div(1,_,0):-!.
div(0,_,0):-!.
div(X,Y,M):- X1=X-Y,div(X1,Y,M1),M=M1+1.