A post-fix, array calculator implemented in Prolog