Ensino (em português)

Research (under construction)

My main research area is Logic Programming. Have a look at Jonathan
Bowen's WWW page on Logic Programming at Oxford for general info
on this area.

My work started with the Yap Prolog system, which
I still use and I am currently maintaining. The current version is
4.1, it is freely available, we do try to fix bugs, so do have a look
at the home page or at
the copy here.

My PhD research work was in the preprocessor for Andorra-I
system, developed at the University of Bristol. Have a look at my thesis if you still are interested in this
work. In the last few years, I have done a bit of maintenance on Andorra-I
and Aurora,
mainly porting to new parallel machines (contact me if you are
interested in this).

Regarding Andorra-I, Inês
Dutra, Ricardo
Bianchini, and me, have recenly done an extensive performance
analysis of Andorra-I on scalable architectures. Simulator traces
indicated the need for some optimisations, which have resulted in very
good results. Inês and her students are doing exciting work on
these lines.

Fernando Silva and me are
supervising Eduardo Correia at
LIACC/FCUP on the
integration of Independent And-Parallelism and Or-Parallelism. The
idea is to keep as close to possible to Prolog in the parallel
system. Our starting point was Gopal Gupta's Paged Binding
Array. As a result of this research Eduardo has proposed the SBA. More
recently, I have become interested in using copy-on-write as an
implementation technique to tackle this problem.

Ricardo Lopes from
LIACC/UP and me are looking into David H. D. Warren's Extended Andorra
Model, the all-singing, all-dancing solution to the execution of logic
programs. The final product, the LIGHT-BEAM, will be a new plug-in
engine to YAP.