swi - unificacion prolog

Prolog O(;) Regla Devuelve Resultado Múltiple

Question

he definido una regla con o operador pero devuelve múltiples verdaderos o falsos.

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).

En realidad, necesito verificar si el tipo de préstamo cumple con el requisito particular del préstamo y lo combino con una regla general.

En otras palabras, necesito definir la regla anterior de esta manera.

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)

Debería devolver 1 verdadero / falso en lugar de instrucción múltiple en la línea de comando.

Cada uno de los valores booleanos devueltos por la regla 1 que no quiero después de haber verificado la regla en la línea de comandos. Necesito tener esto (Regla general & (Múltiple o regla)).

¿Cómo combinar varios o reglas que devuelven 1 valor booleano?

Por favor ayuda.

Gracias.

Answer 1

En primer lugar, debe poner ( y ) alrededor de su objetivo combinado con ; . Porque actualmente lo interpreta como disyunción de customer(...),...,isguarantor(Guarantor,Name), ispersonalloan(...) , ishouseloan(...) , ..., iscarloan(...) . Eso se debe a las diferentes prioridades de los operadores , y ; .

En realidad ; - Significa real "o", no "mutuamente exclusivo o" y no "en otro caso". Entonces, si "ishouseloan" puede "tener éxito junto con" ispersonalloan ", tendrás varios objetivos exitosos. En este ejemplo, once/1 puede ayudar (y not(not(...)) ), pero puede tratar de obtener un prólogo más profundo con su tarea y especificar objetivos no permanentes como (hago algunas suposiciones personales sobre la superposición de 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)
    )
  )

En este caso, debería poder generar todos los préstamos cuando su LT , Am y T todavía no están vinculados a valores específicos y aquellos isXXX pueden vincular variables libres.

Answer 2

Simplemente rodee todos sus objetivos "orientados" con once .

p.ej

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

Ahora, los objetivos "ordenados" tienen éxito o fracasan.