-
Notifications
You must be signed in to change notification settings - Fork 5
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
offline edition for Android #3
Comments
I spent some time getting prechacthis running on toProlog but couldn't get it to go. I suspect that this is because I don't know the first thing about Prolog though, rather than any fundamental incompatibility. Will work on it more later. |
From what I can tell using SWI-Prolog with JPL on Android requires rooting the device, so if possible would be better to use some other solution. See http://www.swi-prolog.org/build/linuxonandroid.html |
It isn't too hard to get swi-pl to build using the android ndk. Making it work may be another story - my current version crashes with a stack trace full of frames that the debugger can't reconcile with functions, so that's fun. My current plan is to try to get it basically working with android on x86 (at which point a UI could plausibly be developed), then attack arm. Happy to push what I've got up somewhere if anyone wants to poke at it with a stick. |
https://github.com/imccoy/prechac-droid has a thing that incorporates both swipl and prechacthis in a way that builds and runs through the NDK. Right now it just runs a single prechacthis query and logs the results. It seems to work on both x86 and arm. There's some suggestions for directions for future work in the README of that prechac-droid repo. One other possible direction would be to bring it under the prechac project's umbrella. I spent some time trying to get prechacthis working in pure-java prolog environment a while ago, but ran into a bunch of predicates that the environment didn't define (maybe assert/retract and friends, from memory? http://www.swi-prolog.org/pldoc/man?section=db) |
Awesome work!! I need to have a look at this ASAP! |
On Anroid the easiest way to work offline will probably be to
Optionally one could
The text was updated successfully, but these errors were encountered: