[logic programming] Project Implementation- Optimizing Decisions with Opponent Modelling for Strategic Argumentation