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

Hacker Newsnew | past | comments | ask | show | jobs | submit

		mechanicum on April 19, 2023 \| parent \| context \| favorite \| on: Why did Prolog lose steam? (2010) It’s not Prolog, but the related miniKanren has been widely implemented.

varranvar on April 19, 2023 [–]

miniKanren is not nearly as efficient as Prolog though.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact