Prolog规则反映了结构

我需要设计一个测试贷款是否是汽车贷款的规则

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

carLoan（flexiCar、minLoanAmount（20000）、maxleering（12））。
iscarloan（X，Y，Z）：-carLoan（X，Y>=minLoanAmount（20000），Z=
iscarloan（X，Y，Z）：-
carLoan（X，minLoanAmount（MinLoan），MaxLexture（MaxLexture）），
Y>=MinLoan，
Z=

这就是你的想法吗？
iscarloan（X，Y，Z）：-
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).

carLoan（X，minLoanAmount（MinLoan），MaxLexture（MaxLexture）），
Y>=MinLoan，
Z=

这就是你的想法吗？
carLoan（flexiCar、minLoanAmount（20000）、MaxLexture（12））。
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).

iscarloan（X，Y，Z）：-
Y=最小平均值（MLA），
Z=最大使用年限（MT），
MLAN是MLA，
MTN是MT，
MLAN>=20000，
MTN=<12。
伊斯卡洛安（X，25000，10）。
carLoan（flexiCar、minLoanAmount（20000）、MaxLexture（12））。
iscarloan（X，Y，Z）：-
Y=最小平均值（MLA），
Z=最大使用年限（MT），
MLAN是MLA，
MTN是MT，
MLAN>=20000，
MTN=<12。
伊斯卡洛安（X，25000，10）。
我使用一些查询测试了规则，结果显示错误，指出minLoanAmount不是一个函数。错误消息是错误：>=/2算术minLoanAmount不是一个函数我的错误-我修复了第二行的匹配问题我使用一些查询测试了规则，结果显示错误，指出minLoanAmount不是一个函数。错误消息是错误：>=/2算术minLoanAmount不是一个函数我的错误-我修复了第二行的匹配我得到了如下答案。IsAssurator（X，Y）：-Assurator（X，Y），notCustomer（X）。iscarloan（LoanType，Y，Z）：-carLoan（LoanType，minLoanAmount（MLA），MaxLexture（MT）），Y>=MLA，Z==MLA，Z=