O Sistema Plosys

O objetivo do sistema de programacao em logica PloSys e' oferecer o maximo possivel as funcionalidades de Prolog em um ambiente de programacao distribuido (uma rede de workstations). O modelo computacional do PloSys explora o paralelismo OU e e' um modelo multi-sequencial baseado em copia. A politica de escalonamento e' centralizada e toda a comunicacao e' realizada atraves do pacote Athapascan, uma biblioteca de comunicacao desenvolvida sobre MPI no LMC/IMAG, Grenoble, Franca. O sistema Plosys foi, inicialmente, implementado em uma maquina IBM SP2 no laboratorio de Grenoble e, atualmente, encontra-se instalado na rede de estacoes de trabalho dos laboratorios do Instituto de informatica da UFRGS.