Ես եկել եմ թվաբանական կանոնով՝ պարզ աստղը 9-ով գնահատելու համար:
evaluate(A):-eval(A,B).
eval(A,B):- B is 9*A.
և ես ունեմ.
?- eval(3,A).
A = 27.
?- evaluate(3).
true.
բայց ես ուզում եմ արդյունք և ոչ ճիշտ: Ես նախընտրում եմ տեսնել արդյունքը, ինչպես ստորև, հնարավո՞ր է:
?- evaluate(3).
3*9=27.
B-ը միանգամյա փոփոխական է evaluate կետում: Դա պայմանավորված է նրանով, որ այն տեղի է ունենում միայն մեկ անգամ: Դուք դրա համար արժեք եք ներկայացնում eval-ի միջոցով, բայց հետո չեք օգտագործում այն: @ChristopherHarris-ը պատասխանեց՝ ցույց տալով, թե ինչպես կարող եք պատասխանը գրել evaluate կետերում այն ստանալուց հետո: Դա նույնպես կվերացնի զգուշացումը։ 04.12.2013 Եթե դուք պարզապես ցանկանում եք տեսնել արդյունքը, կարող եք տպել փոփոխականները, երբ դրանք միավորվեն, այսինքն.
evaluate(A):- eval(A,B),write(A),write('*9='),write(B),write('.'),nl.
eval(A,B):- B is 9*A.
ելքը
1 ?- evaluate(3).
3*9=27.
true.
