The MUSE model of or-parallelism has been chosen by BIM as a basis of BIMUSE, the Or-parallel Prolog product resulting from PEPMA. As mentioned before, during the course of PEPMA UPM has developed the ACE model: a generalization of MUSE which allows the straightforward inclusion of (independent) and-parallelism in the MUSE framework. It is the intention of BIM and UPM to jointly and actively pursue this path in future projects with the final objective of obtaining an and-or parallel Prolog based on the existing BIM-Prolog/BIMUSE or-parallel product. This will allow the transference of all the host of technologies related to (independent) and-parallelism developed within and outside PEPMA as well as those technologies to be developed in future projects, such as automatic compile-time granularity analysis, automatic parallelization using non-strict independence conditions, etc.