3 ms·

It’s not Prolog, but the related miniKanren has been widely implemented.

• varranvar 3y ago
  miniKanren is not nearly as efficient as Prolog though.