Reasoning about the Cascading Failure of Financial Network Using Prolog

We construct a Prolog script that models the financial network which has the capability to simulate the spread of financial loss due to bankruptcy. Our focus is in the construction of Prolog script that simulates the cascading failure for a previously constructed model pertaining to Sariwangi AEA and Indorub bankruptcy case. The script is capable of finding bankrupt nodes, the amount of financial loss the entire model suffers, and nodes that are vulnerable to bankruptcy. A simulation is run multiple times under different financial failure threshold. From the simulation results, we obtain seven classifications regarding bankrupt nodes associated to a particular failure threshold.