This Vue.js app is a proof of concept for a detail of the prolog_trace app,
and uses the same Python backend.
It turns a formula in prefix notation into a tree structure, realized as an HTML table.
The formula in the following screenshot is the law of cosines.
(ang means angle opposite of.)
The cursor is on the c highlighted in orange. All other occurences are highlighted in yellow.
The app allows functions with different arity to have the same name, and be treated as different.
(That is motivated by the fact that Prolog allowes this.)
The following screenshot shows that only 1-ary f is highlighted, but not the others.
It also shows that the entered names can be replaced by custom names.
