我以某种方式设法搞砸了我的Eclipse和Android设置,我不知道如何修复它.问题的症状如下:
在Preferences> Android中,我尝试选择android-sdk-linux的位置,当选择出现错误时"此Android SDK需要Android Developer Toolkit版本20.0.0或更高版本.当前版本为18.0.0.v201203301601-306762.请将ADT更新到最新版本."
转到帮助>在Eclipse中检查更新,不返回找到的更新
转到帮助>安装新软件并选择使用ADT插件 - https://dl-ssl.google.com/android/eclipse/.选择开发人员工具,然后返回
无法完成请求.有关详细信息,请参阅错误日志 "Android DDMS"将被忽略,因为它已经安装."Android开发工具"将被忽略,因为它已经安装."Android Hierarchy Viewer"将被忽略,因为它已经安装."Android Traceview"将被忽略,因为它已经安装."OpenGL ES的跟踪器"将被忽略,因为它已经安装.
如果我再查看已安装的内容,则会列出Android开发工具,版本为20.0.0.v201206242043-391819
现在为有趣的部分:
如果我转到帮助>关于>安装详细信息>功能是将Android Development Toolkit列为版本:20.0.0.v201206242043-391819,但如果我进入插件,它会将Android Development Toolkit列为版本:18.0.0 ...
抱歉还有关于更新ADT的另一个问题,因为关于这个主题似乎已经有很多问题,但我已经尝试了通常的解决方案,他们似乎确实让我走得很远
一些额外的信息,人们经常要求操作系统:Ubuntu 12.04 LTS Eclipse Platform:Version 3.7.2
这是我目前的代码,我正在努力解决斑马拼图.
exists(A,(A,_,_,_,_)).
exists(A,(_,A,_,_,_)).
exists(A,(_,_,A,_,_)).
exists(A,(_,_,_,A,_)).
exists(A,(_,_,_,_,A)).
rightOf(A,B,(B,A,_,_,_)).
rightOf(A,B,(_,B,A,_,_)).
rightOf(A,B,(_,_,B,A,_)).
rightOf(A,B,(_,_,_,B,A)).
middleHouse(A,(_,_,A,_,_)).
firstHouse(A,(A,_,_,_,_)).
nextTo(A,B,(B,A,_,_,_)).
nextTo(A,B,(_,B,A,_,_)).
nextTo(A,B,(_,_,B,A,_)).
nextTo(A,B,(_,_,_,B,A)).
nextTo(A,B,(A,B,_,_,_)).
nextTo(A,B,(_,A,B,_,_)).
nextTo(A,B,(_,_,A,B,_)).
nextTo(A,B,(_,_,_,A,B)).
:- Houses = (house(N1,P1,S1,D1,C1),house(N2,P2,S2,D2,C2),house(N3,P3,S3,D3,C3),house(N4,P4,S4,D4,C4),house(N5,P5,S5,D5,C5)),
exists(house(english,_,_,_,red),Houses),
exists(house(spainish,dog,_,_,_),Houses),
exists(house(_,_,_,coffee,green),Houses),
exists(house(ukrainian,_,_,tea,_),Houses),
rightOf(house(_,_,_,_,green),house(_,_,_,_,ivory),Houses),
exists(house(_,dog,oldgold,_,_),Houses),
exists(house(_,_,kools,_,yellow),Houses),
middleHouse(house(_,_,_,milk,_),Houses),
firstHouse(house(norwegian,_,_,_,_),Houses),
nextTo(house(_,_,chesterfields,_,_),house(_,fox,_,_,_),Houses),
nextTo(house(_,_,kools,_,_),house(_,horse,_,_,_),Houses),
exists(house(_,_,luckystike,orangejuice,_),Houses),
exists(house(japanise,_,parliments,_,_),Houses),
nextTo(house(norwegian,_,_,_,_),house(_,_,_,_,blue),Houses),
exists(house(WaterDrinker,_,_,water,_),Houses),
exists(house(ZebraOwner,zebra,_,_,_),Houses).
我输入了它并将其保存为zebra.pl,我打开它并将[zebra]输入SWI-prolog,它返回一个关于单例使用N1,P1,C1等的警告消息并返回true,然后我要求它使用print(WaterDrinker)打印饮水器并返回_G317并且为true,
为什么它这样做并且没有返回可能是挪威语的答案,如果我要求它返回任何变量如C3或ZebraOwner它也会这样做