|
|
|
|
|
|
by cess11
534 days 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/. |
|
|
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