Inductive Mercury Programming. - Barnaby Fisher; James Cussens (ILP, 2006)