3 ms·

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

by cess11 2y ago

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/ http://tau-prolog.org/.

upghost 2y 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 https://github.com/mthom/scryer-prolog
- upghost 2y ago
  *clarification-- it's written in rust, never tried compiling rust for android before