Comment by khaled_ismaeel

Not exactly prolog, but logic programming implemented as a library/DSL: https://minikanren.org/