We show how moral decisions can be drawn computationally by using prospective logic programs. These are employed to model moral dilemmas, being able to prospectively look ahead at the consequences of hypothetical moral judgments. With knowledge of consequences, moral rules are then used to decide the appropriate moral judgments. Moral reasoning is achieved by a priori constraints and a posteriori preferences on abductive stable models, 2 features available in prospective logic programming. We model various moral dilemmas taken from the classic trolley problem and employ the principle of double effect for moral rule. Experiments show that preferred moral decisions, those following the principle of double effect, are successfully delivered. We consider yet another moral principle, the principle of triple effect, in our implementation. We show prospective logic programs explain computationally different moral judgments drawn from these 2 different principles.
