This is an extension of LLAT (the Logic-Learning Assistance Tool) which aims to improve its pedagogical value and UI, rather than being a mere solution provider.

This program utilises the new Java 8 functionalities to develop programs in the Functional Paradigm. The concept of this program is to use provided libraries by the University to construct a program ...