Active learning of digenic functions with boolean matrix logic programming