This repo contains enough stuff to start up a prolog interpreter and invoke prechacthis through the Prolog JPL and the android NDK. It contains a patched version of the swi-pl interpreter (the changes are described in jni/README) and a version of prechacthis that has had the important bits (for some definition of important) combined into a single file (res/raw/prechacthis.pl). That file also includes some predicate definitions taken from swi-pl's list library. It works in genymotion (ie, android running on x86) and on arm (2013 Nexus 7). How to make it go: 1. run ndk-build.sh in this directory 2. run "ant debug" 3. run "ant installd" Things to do: * rather than generating 1000 results and stopping, generate two screenfuls worth of results, then generate some more once the user scrolls down * show some sort of indication when there are no results * add a UI to interpret prechacthis results, with some of the niceties that the website has * pull the swi-pl changes out into something that'll be easier to maintain as swi-pl changes * make the swi-pl library functions available in a less ridiculous way * incorporate prechacthis code in a less preposterously unmaintable way * improve the query UI * don't depend on GMP (this means either replacing the GMP stuff in swi-pl with our own rational code, or just not using rdiv in the pattern generator)