[英]Prolog Rules Reflect Strucutre
我需要設計一個測試貸款是否為汽車貸款的規則。
carLoan(flexiCar,minLoanAmount(20000),maxTenure(12) ).
iscarloan(X, Y, Z) :- carLoan(X, Y >= minLoanAmount(20000), Z =<(maxTenure(12)) ).
iscarloan(X, 25000, 10).
我需要根據規則中的事實對結構的Y和Z變量進行測試。
如何實現呢?
謝謝。
iscarloan(X, Y, Z) :-
carLoan(X, minLoanAmount(MinLoan), maxTenure(MaxTenure)),
Y >= MinLoan,
Z =< MaxTenure.
那是您的想法嗎?
carLoan(flexiCar, minLoanAmount(20000), maxTenure(12)).
iscarloan(X, Y, Z) :-
Y = minLoanAmount(MLA),
Z = maxTenure(MT),
MLAN is MLA,
MTN is MT,
MLAN >= 20000,
MTN =< 12.
iscarloan(X, 25000, 10).
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.