Homepage

Description

The predicate no_payment_due/1 is true for those people who are not required to repay a student loan. Auxiliary relations can be used to fully discriminate positive from negative instances of no_payment_due/1. Closed world assumption applies to all auxiliary relations.

Related Papers

• [link]