An overview of Ciao and its design philosophy - Hermenegildo, M. V.; Bueno, F.; Carro, M.; Lopez-Garcia, P.; Mera, E.; Morales, J. F.; Puebla, G.; (Theory And Practice Of Logic Programming, 2012)