Prolog Visualisation

Abstract

Logical programming languages, for instance Prolog, are powerful tools for solving complex problems through declarative programming. Comprehending and analysing such logical programs can be challenging due to Prolog’s dense textual notation. This can create challenges such as understanding complex logic, and difficulty in identifying errors. To mitigate these issues, the Prolog Visualisation project developed a visualisation tool that can display a Prolog clause in a graphical manner, for improved comprehension and analysis of logical programming. The objective of the project was to develop a layout algorithm that produces visualisations that express the semantics of the Prolog code being visualised. The deliverables of the project consist of a web application, both server-side and client-side, which allows the user to enter Prolog code and generate a corresponding visualisation for it.