You might find the following papers interesting. [1] O. Kiselyov, K. Kameyama, Rethinking Prolog. http://okmij.org/ftp/kakuritu/rethinking.pdf http://okmij.or

You might find the following papers interesting. [1] O. Kiselyov, K. Kameyama, Rethinking Prolog. http://okmij.org/ftp/kakuritu/rethinking.pdf http://okmij.org/ftp/kakuritu/rethinking.pdf [2] E. Barrett, C. F. Bolz, L. Tratt, Unipycation: A Case Study in Cross-Language Tracing. https://soft-dev.org/pubs/pdf/barrett_bolz_tratt__unipycation_a_study_in_cross_language_tracing.pdf https://soft-dev.org/pubs/pdf/barrett_bolz_tratt__unipycatio...