Towards computing abstract distances in logic programs - Casso, Ignacio; Morales, Jose F; Lopez-Garcia, Pedro; V Hermenegildo, Manuel (Electronic Proceedings In Theoretical Computer Science, 2019)