Technical Reports

2005

The MYDDAS Programmer's Manual
Tiago Soares, Michel Ferreira and Ricardo Rocha. Technical Report DCC-2005-10, DCC-FC & LIACC, University of Porto. December 2005.

1999

Three Amigos: A Tale of Three Execution Models for Or-Parallelism
Vítor Santos Costa, Ricardo Rocha and Fernando Silva. Technical Report DCC-1999-02, DCC-FC & LIACC, University of Porto. September 1999.

1997

YapOr: an Or-Parallel Prolog System based on Environment Copying
Ricardo Rocha, Fernando Silva and Vítor Santos Costa. Technical Report DCC-1997-14, DCC-FC & LIACC, University of Porto. December 1997.

On Applying Or-Parallelism to Tabled Evaluations
Ricardo Rocha, Fernando Silva and Vítor Santos Costa. Technical Report DCC-1997-02, DCC-FC & LIACC, University of Porto. April 1997.