Professor at University Complutense of Madrid. Implemented DES in SWI-Prolog (also for other Prolog systems) for teaching Datalog (now also for SQL, RA, …).