Stack based Prolog. Cool thing you can do with DCGs | Not Hacker News!