3 ms·

PicoLisp has a built-in Prolog engine. I haven't tried it yet. I'd like to build some project in it.