Prolog Meets Biology A. Dal Palu, Agostino Dovier, A. Formisano, E. Pontelli Last updated on Dec 2, 2023 Cite DOI