没有数学内置谓词的序言中的除法和提醒

问题描述

我试图在 prolog、dvd(A,B,C),C=B/A 中从头开始构建除法谓词。不使用谓词div？ 其余的也一样。

解决方法

这是非常可行的。 这里# vim: syntax on: 是解决除法求余的关键。

对于分区： '/' 用于将两个数字相除。

'is'

剩余部分： 这里数字之间的“mod”给出了余数。

division(A,B,C):-
    C is B/A.

示例：-

remainder(A,C):-
    C is B mod A.