If you have a fediverse account, you can reply to this note from your own instance. Search https://hackers.pub/ap/notes/01964997-a8e7-7949-a4c5-87f9b4925bb2 on your instance and reply to it.
@bglbgl gwyng miniKanren이라는 게 있고 다른 언어로 여러 구현체가 있나 봅니다. kanren은 일본어 関連의 발음을 영어로 적은 거네요. 공교롭게 하스켈 커뮤니티에서도 최근 typedKanren을 다룬 글이 있길래 잠깐 찾아봤습니다.
https://discourse.haskell.org/t/the-haskell-unfolder-episode-42-logic-programming-with-typedkanren/11869
