Graphical interface for logic programming
Much of the power of PROLOG language and logic programming is due to the unification process between variables and the matching between patterns. Moreover reasoning and theorem proving is easily achievable through the logic and the backtracking mechanism of the language.