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.