Prolog - Quotient oraz Reminder

Question

Witam. Muszę napisać program w prologu a nie za bardzo wiem jak się do tego zabrać.
Polecenie brzmi:

Zaprogramuj poniższe predykaty:
d)quotient(X,Y,Q) jest prawdziwy jeżeli X/Y = Q (w arytmetyce liczb naturalnych)
e)reminder(X,Y,R) jest prawdziwe jeżeli X dzielone przez Y daje resztę R
Byłbym bardzo wdzięczny za wytłumaczenie jak to zrobić.
Pozdrawiam ;)

Answer 1

quotient(X,Y,Q) :-
    Q is X / Y.

Predykat reminder bardzo podobnie jak powyższy. Można wykorzystać funkcję mod(X,Y).
Tutaj masz jakiś przykład http://www.swi-prolog.org/pldoc/man?function=div/2

A tu http://www.learnprolognow.org/ świetny tutorial do prologa.

Mam nadzieję, że moja odpowiedź jeszcze się przyda :)