CLoPn
Sistemas Escaláveis de Alto Desempenho para Programação Lógica
com Restrições
Projeto ProTeM-CC-CNPq de Colaboração
CNPq/NSF
O projeto $CLoP^N$ pretende desenvolver um ambiente
de programação que ofereça ao usuário uma linguagem de alto nível,
declarativa através do suporte de paralelismo e de hardware
programável, fomentando a cooperação entre grupos de trabalho
brasileiros e o parceiro americano na New Mexico State University.
Coordenador no Brasil:
Vítor Santos Costa - vitor@cos.ufrj.br
Universidade Federal
do Rio de Janeiro
COPPE/Engenharia
de Sistemas e Computação
Investigador Principal nos EUA:
Gopal Gupta - gupta@cs.nmsu.edu
Computer Science
Department
State University of
New Mexico
Equipe no Brasil:
Inês de
Castro Dutra - ines@cos.ufrj.br
Felipe
França - felipe@cos.ufrj.br
Universidade Federal
do Rio de Janeiro
COPPE/Engenharia
de Sistemas e Computação
Cláudio Geyer - geyer@inf.ufrgs.br
Universidade Federal
do Rio Grande do Sul
Instituto de Informática
Jorge Barbosa - geyer@inf.ufrgs.br
Cristiano Costa - cristiano@inf.ufrgs.br
Universidade Católica
de Pelotas
Departamento de Computação
Juarez Assumpção Muylaert Filho - jamf@iprj.uerj.br
Universidade
Estadual do Rio de Janeiro
Instituto Politécnico
Doris Ferraz de Aragon - doris@iltc.br
Priscila Machado Vieira Lima - priscila@iltc.br
Fátima Dargam - fccd@iltc.br
Antonio Saraiva Branco - branco@iltc.br
Universidade
Federal Fluminense
Instituto de
Lógica, Filosofia e Teoria da Ciência
Equipe nos USA:
Enrico Pontelli - epontell@cs.nmsu.edu
Computer Science
Department
State University of
New Mexico
Documentos do Projeto:
Proposta do projeto: [.ps], [.pdf]
Relatório de Junho de 2000: [.ps], [.pdf]
Eventos Organizados por membros do Projeto:
ICLP99 Workshop on Parallelism and Implementation
Technology for (Constraint) Logic Programming Languages, Las Cruces,
Dezembro 1999.
Second International Workshop
on Practical Aspects of Declarative Languages, Boston, Janeiro de
2000.
CL2000 Workshop on Parallelism and Implementation
Technology for (Constraint) Logic Programming Languages, London,
Julho de 2000.
Publicações do Projeto:
-
E. Pontelli and Vítor Santos Costa, editors.
Practical Aspects of Declarative Languages. Number 1753 in Lecture Notes in
Computer Science. Springer Verlag, 2000.
- Inês Dutra, Vìtor Santos Costa, Gopal Gupta, Enrico Pontelli,
Manuel Carro, and Peter Kacsuk. Parallelism
and Implementation Technology for (Constraint) Logic Programming
Volume 30, Issue 3 of Electronic Notes in Theoretical Computer
Science, Elsevier North-Holland Inc, March 2000.
- Manuel Eduardo Correia and Vítor Santos Costa. IAP
for Dummies: The YAP Design In Inês Dutra, Vìtor Santos Costa,
Gopal Gupta, Enrico Pontelli, Manuel Carro, and Peter Kacsuk, editors,
Parallelism and Implementation Technology for (Constraint) Logic
Programming, volume 30, Issue 3 of Electronic Notes in Theoretical
Computer Science, Elsevier North-Holland Inc, March 2000.
- Inês Dutra, Vítor Santos Costa, and Ricardo Bianchini.
The Impact of Cache Coherence Protocols
on Parallel Logic Programming Systems To appear in Proceedings of
CL'2000, London, UK, July 2000.
- Vítor Santos Costa, Ashwin Srinivasan and Rui Camacho. A note on two simple transformations for
improving the efficiency of an ILP system To appear in Proceedings
of ILP'2000, London, UK, July 2000.
- Vítor Santos Costa, Ricardo Rocha, and Fernando Silva. Novel Models for Or-Parallel Logic
Programs: A Performance Analysis To appear in EuroPar 2000,
Muniche, Deutschland, September 2000.
Links Uteis:
LogicProgramming
- Laboratory for Logic,Databases and Advanced Programming
- ALS Prolog Compilers and Tools
- XSB Group Home Page
- The Association of Logic Programming (ALP)
- The Collection of Computer Science Bibliographies
- DBLP Bibliography
- Journal of Functional and Logic Programming
- The World-Wide Web Virtual Library: Logic Programming
- COMPULOG NET Network of Excellence
- CMU LP Repository
- Welcome to AITEC
- ECLiPSe - The ECRC Constraint Logic Parallel System
- Home page of the Mercury project
- IC: Welcome to the Logic Programming Section
- Welcome to the CLIP Lab at DIA/FIM/UPM
- DFKI PS Lab: Oz Home Page (29-Apr-1996)
- The Logic Programming group at Pisa CS Department
- Quintus Corporation
- Reform Prolog Project Home Page
- The Intelligent Systems Laboratory at SICS
- Programming Systems Lab at DFKI
Constraints
- clp(Q,R) ( 8-Jan-1996)
- The clp(FD,S) language