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!
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!
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/.