To combine a functional or equational programming style with logic programming, one can use an underlying logic of Horn clauses with equality (as an interpreted predicate symbol) and (typed) terms. From this point of view, the most satisfying operational semantics would search for solutions to equations or predicates. \Narrowing" and many of its variants are complete mechanisms for generating s...

In recent years, induced abortion has grown significantly in importance as a factor in regulating and influencing fertility despite the availability of a wide range of contraceptive methods. Two decades ago, in New Zealand, one in 10 known pregnancies were terminated by an abortion. By the turn of the millennium, the figure had doubled to one in five. Demographic literature suggests that the pr...

Abstract Counterfactual explanation (CE) is a popular post hoc interpretability approach that explains how to obtain an alternative outcome from machine learning model by specifying minimum changes in the input. In line with this context, when model’s inputs represent actual individuals, actionable recourse (AR) refers personalized CE prescribes feasible according individual’s preferences. Henc...

Despite national health objectives to reduce the incidence of obesity to 15% of the population by 2010, public health data suggest that the incidence of obesity in the United States is actually increasing. The U.S. recognizes that it (like other industrialized countries) faces an epidemic of obesity and related health conditions. How can U.S. jurisdictions (federal, state, and local) and the pr...