MoksaProlog: a toy Prolog environment that compiles to Java bytecodes.