Report - UNIDAD ZACATENCO DEPARTAMENTO DE COMPUTACION … · vii Abstract Datalog is a language based on rst order logic that was investigated as a data model for relational databases in the

Please pass captcha verification before submit form