Lobsters: Compiling Prolog to Forth