Thesis
A MapReduce Construct for Yap PrologJoana CĂ´rte-Real. MSc in Electrical and Computers Engineering, Department of Electrical and Computers Engineering, Faculty of Engineering, University of Porto, Portugal, July 2013.
Or-Parallel Prolog Execution on Multicores Based on Stack Splitting
Rui Vieira. MSc in Network and Information Systems Engineering,
Department of Computer Science, Faculty of Sciences, University of
Porto, Portugal, November 2011.