Выполнить клинго на Android через Javascript

Я пытаюсь выполнить программу clingo внутри приложения Android. Я видел библиотеку EmbASP ( здесь), но она работает только с DLV, и перенос моего кода будет очень трудным (я использую много отрицательных чисел...).

Итак, мой вопрос: кто-нибудь выполнял клинго на Android через Javascript? Я видел это, но я никогда не использовал что-то подобное на Android.

У кого-нибудь есть предложения?