This is a post for the logic programming community. If you love expressing models as a set of logic rules and…