We propose a new language to define abductive logic programs with expectations, inspired to the IFF proof procedure [Fung and Kowalski, 1997], and whose semantics extends those of classical ALP. The language permits to express abducible hypotheses and expectations with variables and constraints. Within this new framework we can model and reason about a number of concrete application scenaria.