Prolog Or(;) 规则返回多个结果

Question

我已经用 or 运算符定义了一个规则，但它返回多个 true 或 false。

isloanaccept(Name,Guarantor,LoanType,LoanAmount,LoanTenure) 
:-  customer(Name,bank(_),customertype(_),
 citizen(Ci),age(Age),credit(C),
 income(I),property(_),bankemployee(_)), 
 Ci == 'malaysian',
 Age >= 18,
 C > 500, 
    I > (LoanAmount / LoanTenure) / 12,
 isguarantor(Guarantor,Name), 
 ispersonalloan(LoanType,LoanAmount,LoanTenure);
 ishouseloan(LoanType,LoanAmount,LoanTenure);
 isbusinessloan(LoanType,LoanAmount,LoanTenure);
 iscarloan(LoanType,LoanAmount,LoanTenure).

实际上，我需要检查贷款类型是否满足特定的贷款要求并结合一般规则。

换句话说，我需要像这样定义上面的规则。

Ci == 'malaysian', Age >= 18,C > 500, 
I > (LoanAmount / LoanTenure) / 12,
isguarantor(Guarantor,Name) 
    Or with   (ispersonalloan(LoanType,LoanAmount,LoanTenure);
             ishouseloan(LoanType,LoanAmount,LoanTenure);
             isbusinessloan(LoanType,LoanAmount,LoanTenure);
             iscarloan(LoanType,LoanAmount,LoanTenur)

它应该返回 1 个真/假，而不是命令行中的多个语句。

每个 or 规则返回 1 个布尔值，这在检查命令行中的规则后不是我想要的。我需要这样（一般规则和（多个或规则））。

如何组合多个返回 1 布尔值的规则？

请帮忙。

谢谢。

Answer 1

只需用 once 包围所有“或”目标即可。

例如

once(
 ispersonalloan(LoanType,LoanAmount,LoanTenure);
 ishouseloan(LoanType,LoanAmount,LoanTenure);
 isbusinessloan(LoanType,LoanAmount,LoanTenure);
 iscarloan(LoanType,LoanAmount,LoanTenure)
).

，现在，“or'ed”目标要么成功，要么失败。

Answer 2

首先，您应该将 ( 和 ) 放在目标周围，并与 ; 结合使用。因为目前它会将其解释为 customer(...),...,isguarantor(Guarantor,Name), ispersonalloan(...), ishouseloan(...)< 的析取/code>, ..., iscarloan(...)。这是因为运算符、 和; 的优先级不同。

实际上 ; - 表示真正的“或”，而不是“互斥或”，也不是“在其他情况下”。因此，如果“ishouseloan”能够与“ispersonalloan”一起成功，那么您将有几个成功的目标。在此示例中，once/1 可能会有所帮助（以及 not(not(...))），但您可以尝试让 prolog 更深入地了解您的任务并指定 non -everlapping 目标，例如（我对重叠 isXXX 做了一些个人假设）：

isloan(LT, Am, T):-
  (ishouseloan(LT,Am,T)
  ;iscarloan(LT,AM,T)
  ;not((ishouseloan(LT,Am,T);iscarloan(LT,AM,T))),
    (ispersonalloan(LT,Am,T)
    ;isbusinessloan(LT,Am,T)
    )
  )

在这种情况下，当您的 LT、Am 和 T 尚未绑定到特定值，这些 isXXX 可以绑定自由变量。