Scalable Parallel Implementation of Constraint Programs on Distributed Network of SMPs

Efficient scalable implementations of Constraint Logic Programming Systems are being designed. To date, a model based on stack-splitting has been proposed to realize efficient distributed implementations of constraint-based system. The implementation of this model on a distributed network of SMPs on top of a sequential engine from ALS, Inc., is currently in progress. Other NMSU people involved are Prof. Enrico Pontelli, Hai-Feng Guo, and Karen Villaverde. The project is being done in collaboration with ALS, Inc., Federal University of Rio de Janeiro and Federal University of Rio Grande do Sul (Brazil), University of Porto (Portugal) and is funded by NSF and a Department of Education graduate fellowship.