Prolog - 商和提醒。它是如何工作的？

Question

我必须在Prolog中提供一些示例商和提醒，但是现在我不明白它是如何工作的。

如果X / Y = Q（在算术自然数中），则

• quotient(X,Y,Q)为真

如果X除以Y，则

• remainder(X,Y,R)为真。

如果有人能帮助我并向我解释它是如何工作的，或者给了我解释的链接，我将不胜感激。 问候！ ;）