Presentation at UPM (Technical University of Madrid)-Intel Workshop, Madrid, Spain. 16 May 2013. Manuel Hermenegildo. The Computational logic, Languages, Implementation, and Parallelism Laboratory.