Ah, nice! Yeah, I really like Scryer, it's been my goto Prolog for quite some ti... | Hacker News

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

		cess11 11 months ago \| parent \| context \| favorite \| on: What Is miniKanren? Ah, nice! Yeah, I really like Scryer, it's been my goto Prolog for quite some time. You wouldn't know a way to get it working under Termux on Android? I tried to build it a while back but got inscrutable compiler errors and didn't follow through. Maybe building Trealla would be easier, since it's implemented in C. I'm also enjoying http://tau-prolog.org/.

upghost 11 months ago [–]

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

upghost 11 months ago | [–]

*clarification-- it's written in rust, never tried compiling rust for android before

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