Patrícia Kayser Vargas
Cláudio Fernando Resin Geyer
A Programação em Lógica com Restrições (Constraint Logic Programming ou CLP) é uma extensão da programação em lógica onde introduz-se a noção de restrições nos domínios das variáveis e o mecanismo de unificação utilizado em Prolog é substituído por uma operação mais geral chamada satisfação de restrição (constraint satisfaction). Através do uso de restrições para descartar opções inválidas, diminui-se o espaço de busca do problema, podendo levar a desempenhos superiores a de linguagens imperativas. Apesar do bom desempenho das linguagens CLP, algumas classes de problemas ainda não podem ser resolvidas em tempo viável. A execução em paralelo é uma das opções para melhorar ainda mais o seu desempenho.
O modelo pclp(FD) - parallel constraint logic programming over finite domains - foi proposto com o objetivo de explorar paralelismo OU em CLP. O objetivo principal deste trabalho é a apresentação das principais características deste modelo.
pclp(FD) é um modelo multi-seqüencial de exploração de paralelismo OU em CLP, onde cada trabalhador possui uma máquina CLP completa sobre domínios finitos. Um protótipo baseado nesse modelo encontra-se em fase de desenvolvimento.