如何在android上使用swi-prolog

Question

我用swi-prolog開發了一個prolog程序，我使用常規java和JPL.jar為它添加了一個接口，它運行得很好。

現在我想用android移動界面而不是java桌面界面做同樣的事情。 所以我創建了一個android應用程序，將JPL添加為外部jar並像之前一樣調用prolog文件。 代碼中沒有顯示錯誤。

但是當我將它作為一個Android應用程序運行時，它說無法找到jpl.query $ 1。

這是logcat

08-21 17:36:35.782: D/dalvikvm(659): DexOpt: unable to opt direct call 0x0cd8 at 0x08 in Ljpl/Query;.abort
08-21 17:36:35.812: W/dalvikvm(659): Exception Ljava/lang/UnsatisfiedLinkError; thrown while initializing Ljpl/fli/Prolog;
08-21 17:36:35.812: D/AndroidRuntime(659): Shutting down VM
08-21 17:36:35.822: W/dalvikvm(659): threadid=1: thread exiting with uncaught exception (group=0x40a13300)
08-21 17:36:35.916: E/AndroidRuntime(659): FATAL EXCEPTION: main
08-21 17:36:35.916: E/AndroidRuntime(659): java.lang.ExceptionInInitializerError
08-21 17:36:35.916: E/AndroidRuntime(659):  at jpl.Query.open(Query.java:286)
08-21 17:36:35.916: E/AndroidRuntime(659):  at jpl.Util.textToTerm(Util.java:162)
08-21 17:36:35.916: E/AndroidRuntime(659):  at jpl.Query.<init>(Query.java:198)
08-21 17:36:35.916: E/AndroidRuntime(659):  at com.example.trtest.swi.main(swi.java:21)
08-21 17:36:35.916: E/AndroidRuntime(659):  at com.example.trtest.MainActivity$1.onClick(MainActivity.java:70)
------
----

08-21 17:36:35.916: E/AndroidRuntime(659): Caused by: java.lang.UnsatisfiedLinkError: Couldn't load jpl: findLibrary returned null
08-21 17:36:35.916: E/AndroidRuntime(659):  at java.lang.Runtime.loadLibrary(Runtime.java:365)
08-21 17:36:35.916: E/AndroidRuntime(659):  at java.lang.System.loadLibrary(System.java:535)
08-21 17:36:35.916: E/AndroidRuntime(659):  at jpl.JPL.loadNativeLibrary(JPL.java:100)
08-21 17:36:35.916: E/AndroidRuntime(659):  at jpl.fli.Prolog.<clinit>(Prolog.java:85)
...

那么錯誤是什么呢。

我發現有人說JPL（swi prolog）不能在android中使用，是真的。

我可以做些什么讓我的prolog應用程序在Android上運行

謝謝Mathee

Answer 1

SWI-Prolog開發人員Jan Wielemaker最近公布了在郵件列表上使用Android設備上的SWI-Prolog的一些進展。 請參閱[SWIPL]假日禮物：Android上的SWI-Prolog