level 7
贴吧用户_079EVtt
楼主
这货下起来麻烦装起来麻烦用起来也麻烦，不过总算是熬过来了。如果你想在android上跑prolog又不想喝java打交道（虽然设classpath，而且“可以”java扩展），可以试试这个。
官方下载是google play和amazon，googleplay你懂得，amazon我下载时出错。然后找了几个电脑上下play的apk的方法，没一个可行。最后发现一个山寨play的市场可以下（但还是要到手机上装市场，但起码能用），总算下下来了。见地址：
网盘链接
下下来之后，可以跑解释行。但不能consult，解决方案是设置classpath（在应用内部，还算傻瓜），按官方说明是classpath要指向你的apk包，然后同目录的文件就可以直接consult。但我搞不成，最后是把apk解压在了一个目录下，然后可以consult那个目录里的文件（当然classpath要指向它）。
然后，我发现不支持not？？？？查了他的手册后才发现是用\+谓词（效果倒一样）代替了not，谁能告诉我这个符号是什么意思。。。。此外和swi一样，要声明需动态修改的谓词。
2013年05月26日 07点05分
1
官方下载是google play和amazon，googleplay你懂得，amazon我下载时出错。然后找了几个电脑上下play的apk的方法，没一个可行。最后发现一个山寨play的市场可以下（但还是要到手机上装市场，但起码能用），总算下下来了。见地址：
网盘链接
下下来之后，可以跑解释行。但不能consult，解决方案是设置classpath（在应用内部，还算傻瓜），按官方说明是classpath要指向你的apk包，然后同目录的文件就可以直接consult。但我搞不成，最后是把apk解压在了一个目录下，然后可以consult那个目录里的文件（当然classpath要指向它）。
然后，我发现不支持not？？？？查了他的手册后才发现是用\+谓词（效果倒一样）代替了not，谁能告诉我这个符号是什么意思。。。。此外和swi一样，要声明需动态修改的谓词。