1

ローンが自動車ローンかどうかをテストするルールを設計する必要があります。

carLoan(flexiCar,minLoanAmount(20000),maxTenure(12) ).
iscarloan(X, Y, Z) :- carLoan(X, Y >= minLoanAmount(20000), Z =<(maxTenure(12)) ).
iscarloan(X, 25000, 10).

ルール内の事実から構造に対して Y 変数と Z 変数をテストする必要があります。

それを達成する方法は？

ありがとう。

4

2 に答える 2

1 
iscarloan(X, Y, Z) :-
  carLoan(X, minLoanAmount(MinLoan), maxTenure(MaxTenure)),
  Y >= MinLoan,
  Z =< MaxTenure.

それはあなたが念頭に置いていたことですか？

于 2010-07-19T08:19:41.537 に答える
0 
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).
于 2010-07-19T08:41:24.533 に答える