Программа в Prolog, которая возвращает изменения

Question

Я хочу написать программу, которая возвращает изменения в Prolog, я пробовал этот предикат, но я не уверен в этом, потому что я хотел сделать то же самое, что и в программе на C/C++. Если у кого-то есть коррекция, я был бы признателен.

dollar(100). 
quarter(25). 
dime(1). 


return(0,0,0). 
return(Amount_recieved,Amount_due,Change) :- 
    Change is Amount_recieved - Amount_due. 

dollar(100) is Change/100 , Change is Change mod 100. 
quarter(25) is Change /25 , Change is Change mod 25. 
dime(1) is Change 

Answer 1

я предложить следующее решение, основанное на структуры amount/3 с числом долларов (первое значение), четвертей (второе значение) и пятаков (третье значение)

getAmountInDimes(amount(Do, Qu, Di), AmountInDimes) :- 
    AmountInDimes is (Do * 100) + (Qu * 25) + Di. 

getAmountTriple(AmountInDimes, amount(Do, Qu, Di)) :- 
    Do is AmountInDimes div 100, 
    Mid is AmountInDimes mod 100, 
    Qu is Mid div 25, 
    Di is Mid mod 25. 

computeChange(AReceived, ADue, Change) :- 
    getAmountInDimes(AReceived, ARDimes), 
    getAmountInDimes(ADue, ADDimes), 
    ARDimes >= ADDimes, 
    CDimes is ARDimes - ADDimes, 
    getAmountTriple(CDimes, Change). 

Ниже приводится пример использования

computeChange(amount(20, 0, 0), amount(15, 2, 12), Ch) 

, что унифицировать Ch с amount(4,1,13).

Другой пример

computeChange(amount(20, 0, 0), amount(15, 2, 12), amount(Do, Qu, Di)) 

, которые непосредственно унифицировать Do с 4, Qu с 1 и Di с 13