Estilo declarativo na Programacao Grafica Interactiva analise e avaliacao sobre sistemas em prolog

This thesis reports the achieved results of concepts developed for integration a declarative style of programming and interactive computer graphics techniques. On account of this high expressive power, the logic programming paradigm was preferred. Therefore a graphical modeling system was conceived entirely in logic. The main characteristic of such a system is the way graphical objects can be known by a program. On the other hand, as the end-user can not be considered as a simple input/output device, techniques for graphical dialogue specification were developed. this was done in logic, as well where executable specifications are easier to be produced. The underlying model was based on the way graphical input is managed in current graphical standards. A prototype of both systems was built in PROLOG on top of GKS level 2b, which is embedded with features a programmer is used to appreciate in that very high-level language. automatic backtracking is one of them. In order to preserve programs portability and allow future integration in new logic environments, no changes were made to the PROLOG language itself. Either basic concepts or the implementation are analyzed and evaluated in the thesis based on the resolution of several application problems. Drawbacks of the approaches followed and solutions for the future are also discussedAvailable from Fundacao para a Ciencia e a Tecnologia, Servico de Informacao e Documentacao, Av. D. Carlos I, 126, 1200 Lisboa / FCT - Fundação para o Ciência e a TecnologiaSIGLEPTPortuga