Xprolog: desenvolvimento de uma folha de cálculo dedutiva

Abstract

As folhas de cálculo tradicionais apresentam limitações quando se trata de informação simbólica, que não é facilmente captada, principalmente quando se trata de raciocínio dedutivo. A presente dissertação tem como objetivo estender as capacidades das folhas de cálculo tradicionais, tal como o Excel, por exemplo, e desenvolver uma folha de cálculo com capacidades de representação de conhecimento e de raciocínio. Desde a primeira folha de cálculo com capacidades dedutivas durante os anos 80 até ao presente foram surgindo várias ferramentas que visaram colmatar estas limitações, e no presente trabalho pretende-se dar continuidade a essa investigação e desenvolvimento de forma a dar mais um passo em busca de uma combinação cada vez mais perfeita entre as folhas tradicionais e a dedução lógica e representação de conhecimento. Nesta dissertação é apresentado o Xprolog, uma ferramenta desenvolvida para Excel e que interpreta a linguagem Prolog, funcionando como um suplemento (add-in) para Excel. O Xprolog foi desenvolvido dentro da temática de folhas de cálculo dedutivas e, não sendo um sistema que possa neste momento ser considerado como um produto final, tem por objetivo dar um novo alento e promover um tema que tem vindo a perder algum fulgor nos últimos anos.

Traditional spreadsheets have limitations when it comes to symbolic information, which is not easily captured, especially when it comes to deductive reasoning. This thesis aims to extend the capabilities of traditional spreadsheets such as Excel, for example, and develop one kind of spreadsheet with representation capabilities of knowledge and reasoning. Since the first worksheet with deductive capabilities during the 80's up to the present, various tools have emerged that aimed to resolve these limitations, and in this work we intend to continue this research and development in order to take another search in step an increasingly perfect combination between traditional spreadsheets and logical deduction and knowledge representation. In this thesis we introduce Xprolog, a tool developed for Excel that interprets the Prolog language, working as an add-in for Excel. The Xprolog was developed within the theme of deductive spreadsheets and not being yet, a system that can be considered as a final product, it aims to give new impetus and promote a theme that has been losing some enthusiasm in recent years.