Prolog in Automated Reasoning in Geometry

Abstract

In this paper a brief overview of tools for automated reasoning in geometry developed in Prolog is given. We argue that Prolog is as a good choice for automated reasoning applications and this argument is justified by the example of the tool ArgoTriCS for automated solving of geometry construction problems, developed by the author of the paper. We point out features which made Prolog suitable for development of the tool ArgoTriCS, and illustrate the important aspects of the tool: specification of the underlying knowledge base and the search procedure. The system ArgoTriCS can solve many different triangle construction problems and output formal specification of construction in GCLC language, as well as construction in JSON format which enables generation of dynamic illustrations.