An overview of the Ciao multiparadigm language and program development environment and its design philosophy - Hermenegildo, M V; Bueno, F; Carro, M; Lopez, P; Morales, J F; Puebla, G (Lecture Notes In Computer Science, 2008)