This project will lead to the development of several extensions to the GNU Prolog implementation, originally developed at INRIA. Planned enhancements include a novel approach to Contextual Logic Programming (CxLP), a multithreading implementation and a graphical user-interface system.
Started in April 2002 and was concluded in May 2004.
Researchers: Pedro Patinho, Vitor Nogueira.
Funding entities: INRIA (France), Scientific and Technical Inst. for the International Cooperation (ICCTI - MCT).
Principal researcher: Salvador Abreu.
A prototype implementation of GNU Prolog/CX, various published article and several undergoing review.