News for hackers. Stuff that matters.
Re:What Is miniKanren? by upghost on Friday January 03, 2025 @05:42AM (#42584458)
Trealla and Tau are both wonderful. Very close cousins of Scryer.

I've never tried compiling on rust before but open an issue or a discussion on the Scryer board and maybe we can figure it out!

https://github.com/mthom/scryer-prolog

Re:What Is miniKanren? by upghost on Friday January 03, 2025 @12:26PM (#42587572)
*clarification-- it's written in rust, never tried compiling rust for android before