Lots of great advice here. In addition to "use prolog" and "play with ometa/ohm" - you might want to consider looking at a ML - like ocaml (used for bootstrappi

Lots of great advice here. In addition to "use prolog" and "play with ometa/ohm" - you might want to consider looking at a ML - like ocaml (used for bootstrapping rust) or standard ml, sml. Another approach is to look at rpy - the restricted python subset used for pypy, see for example "other languages" on: https://www.pypy.org/features.html https://www.pypy.org/features.html