Thesis
2010
Efficient Storing Mechanisms for Tabled Logic ProgramsJoão Raimundo. MSc in Computer Science, Department of Computer Science, Faculty of Sciences, University of Porto, Portugal, December 2010.
Tabulação com Operadores de Modo em Programas Lógicos
João Santos. MSc in Network and Information Systems Engineering,
Department of Computer Science, Faculty of Sciences, University of
Porto, Portugal, December 2010.
On Applying Linear Tabling to Logic Programs
Miguel Areias. MSc in Computer Science, Department of Computer
Science, Faculty of Sciences, University of Porto, Portugal, September
2010.
Back-end GNU Prolog para EAM (tabulação e distribuição)
Paulo André. MSc in Informatics Engineering, University
of Évora, Portugal, July 2010.
Controle de Fluxo em Prolog por Utilização de Primitivas de Suspensão
José Vieira. MSc in Network and Information Systems Engineering,
Department of Computer Science, Faculty of Sciences, University of
Porto, Portugal, July 2010.
Call Subsumption Mechanisms for Tabled Logic Programs
Flávio Cruz. MSc in Informatics and Computing Engineering, Department
of Informatics Engineering, Faculty of Engineering, University of
Porto, Portugal, June 2010.