Skip to content

imccoy/prechac-droid

Repository files navigation

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)

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Packages

No packages published