What you mean is not "regex for Prolog" but an embedded PROLOG interpreter, which exists. Ironically, the most common way I have seen people do this is use an

What you mean is not "regex for Prolog" but an embedded PROLOG interpreter, which exists. Ironically, the most common way I have seen people do this is use an embedded LISP interpreter, in which a small PROLOG is easily implemented. https://www.metalevel.at/lisprolog/ https://www.metalevel.at/lisprolog/ suggests Lisprolog (Here are some embedded LISPs: ECL, PicoLisp, tulisp) SWI-Prolog can also be linked against C/C++ code: https://stackoverflow.com/questions/65118493/is-there-any-reasonable-way-to-embed-a-prolog-interpreter-inside-of-a-c-program https://stackoverflow.com/questions/65118493/is-there-any-re... https://sourceforge.net/p/gprolog/code/ci/457f7b447c2b9e90a09956ff15fd277d269b1d98/tree/examples/ExamplesC/ https://sourceforge.net/p/gprolog/code/ci/457f7b447c2b9e90a0... Racklog is an embedded PROLOG for Racket (Scheme): https://docs.racket-lang.org/racklog/ https://docs.racket-lang.org/racklog/