Stack based Prolog. Cool thing you can do with DCGs