Detail

Publication date: 1 de June, 2021

Extensions au Logiciel Libre GNU Prolog

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.

Team

Salvador Abreu, Vitor Nogueira, Pedro Patinho,

Results A prototype implementation of GNU Prolog/CX, various published article and several undergoing review.
State Concluded
Startdate 01/04/2002
Enddate 01/05/2004