我初学了两周的prolog

[Xiao_Peter]

我初学了两周的prolog 感觉特别难懂 我应该怎么去理解呢
特别是递归啊 回溯啊 程序怎么运行的都搞不清 尤其是处理表的那块。。
好气馁啊。。。
求助。。。

[DISINHUI]

http://wenku.baidu.com/search?word=prolog&lm=0&od=0

[DSVCNET]

我当初学的时候也是学得一肚子火，网上很多所谓的教程根本不提怎么编译。而PROLOG好像分为解释型运行和编译型运行两种。反正我用VP就重来没成功运行过网上给的例子。

不知道LZ用的是什么编译器，反正我用的是visual prolog，参考的是这篇《Visual Prolog初学指南》http://download.csdn.net/source/1439073。

如果只是用控制台的话前面几章可以先不看。比较重要的一个是第5章，不过里面的例子是在推理机上面运行的，不能编译成程序。然后就是第9章，尤其是谓词段和子句段这两节。第10章有些现成的例子，可以直接照抄试着运行感受一下。

[Xiao_Peter]

是啊 我现在还在纠结一个问题 不知道能帮忙解答下吗
Give a PROLOG program subsum( Set, Sum, SubSet) such that with Set a list of
numbers, SubSet is a sublist of this list, and such that the sum of the numbers in SubSet（求出符合和的条件的所有子集）
equals Sum. For eample（例如）:
?- subsum([1,2,5,3,2], 5, Sub).
Sub = [1,2,2];
Sub = [2,3];
Sub = [5];
Sub = [3,2];
no.

这个死活想不出思路 还是prolog这种语言没有领悟啊 感觉比c++和java入门难多了

[Xiao_Peter]

[Quote=引用 2 楼 dsvcnet 的回复:]
我当初学的时候也是学得一肚子火，网上很多所谓的教程根本不提怎么编译。而PROLOG好像分为解释型运行和编译型运行两种。反正我用VP就重来没成功运行过网上给的例子。

不知道LZ用的是什么编译器，反正我用的是visual prolog，参考的是这篇《Visual Prolog初学指南》http://download.csdn.net/source/1439073。

如果只是用控制台的话前面……
[/Quote]
谢谢啊 希望能得到你的帮助

[Xiao_Peter]

[Quote=引用 5 楼 domonate 的回复:]
看着这个语言确实很恼火！加油吧！帮你顶一下，我是用matlab的！
[/Quote]
谢谢啊，恼火恼火啊，虽然只是因为课程需要短暂的接触一下，但是弄的心里可不爽因为完全没有掌握他的思考方式啊，学习其他语言的时候也没有这么迷茫过啊，说是做好的人工智能语言，但是真的很不好明白他的编程思想在哪里，面向过程？不像。。面向对象？更不像啊。。
好吧，我放弃它了。。

[domonate]

看着这个语言确实很恼火！加油吧！帮你顶一下，我是用matlab的！

[DSVCNET]

刚看了一下表，现学现卖。用PIE推理机运行的，应该跟LZ要求的一样。

这个问题其实就是要遍历所有子集比较难，自然语言描述的话如下：
设：
H是以U的第一个元素为元素的集合，
T是U-H，即U和H的差集合。
子句：
X是U的非空子集，若
X是T的非空子集，或
X等于H，或
X等于H并上U的非空子集。

程序如下：
sum([H|T],Sum):-
T=[],
Sum=H.
sum([H|T],Sum):-
sum(T,Sum-H).

subset(U,X):-
U=[H|T],
subset(T,X).
subset([H|T],X):-
X=[H].
subset([H|T],X):-
subset(T,Y),
X=[H|Y].

subsum(U,SUM,SUB):-
subset(U,SUB),
sum(SUB,SUM).

推理机给出的结果：
subsum([1,2,5,3,2], 5, SUB).
SUB = [3,2].

SUB = [5].

SUB = [2,3].

SUB = [1,2,2].

4 Solutions

居然卡了我好一下，感觉我还是没有摆脱赋值语句的魔咒。。。

[Xiao_Peter]

[Quote=引用 7 楼 dsvcnet 的回复:]
刚看了一下表，现学现卖。用PIE推理机运行的，应该跟LZ要求的一样。

这个问题其实就是要遍历所有子集比较难，自然语言描述的话如下：
设：
H是以U的第一个元素为元素的集合，
T是U-H，即U和H的差集合。
子句：
X是U的非空子集，若
X是T的非空子集，或
X等于H，或
X等于H并上U的非空子集。

程序如下：
sum([H|T],Sum):-
T……
[/Quote]太感谢啦~~但是我用win—prolog运行的结果不对啊 为什么啊？
我运行的结果如下：
subsum([1,2,5,3,2],5,SUB).
SUB = [5] ;

no
为什么呢朋友？

[DSVCNET]

可能推理机和你那个还是有点区别的吧。不知道你用的是什么版本的解释器。

该问题应该是没有产生回溯机制。加个fail就可以了。

subsum(U,SUM,SUB):-
subset(U,SUB),
sum(SUB,SUM)，
fail.

[DSVCNET]

[Quote=引用 9 楼 dsvcnet 的回复:]

可能推理机和你那个还是有点区别的吧。不知道你用的是什么版本的解释器。

该问题应该是没有产生回溯机制。加个fail就可以了。

subsum(U,SUM,SUB):-
subset(U,SUB),
sum(SUB,SUM)，
fail.
[/Quote]

这个方法不一定可以啊，我也不清楚win-prolog的回溯机制是怎么样的，理论上结果为真的话的话也会自动回溯。

你是不是没有加“?-”这个求解符号啊，不过VISUAL PROLOG里没这个符号我也没用过。

[Xiao_Peter]

[Quote=引用 10 楼 dsvcnet 的回复:]
引用 9 楼 dsvcnet 的回复:

可能推理机和你那个还是有点区别的吧。不知道你用的是什么版本的解释器。

该问题应该是没有产生回溯机制。加个fail就可以了。

subsum(U,SUM,SUB):-
subset(U,SUB),
sum(SUB,SUM)，
fail.


这个方法不一定可以啊，我也不清楚win-prolog的回溯机制是怎么样的，理论上结果为真的话……
[/Quote]还是不行啊朋友，我用的是win-prolog4.320.
这个符号?-自动就有的，没有问题
哎 这个解释器是从学校里拷过来的 应该没有问题 因为一些简单的问题都能解答。
还是很谢谢你啊 有qq吗 可以加你吗

[DSVCNET]

那把win-prolog发我邮箱我看看，[e-mail]

[Xiao_Peter]

[Quote=引用 12 楼 dsvcnet 的回复:]
那把win-prolog发我邮箱我看看，[e-mail]
[/Quote]行

[Xiao_Peter]

[Quote=引用 14 楼 dsvcnet 的回复:]
真搞笑，win-prolog求和只能是符号运算而且
1+2不=3不=2+1只能=1+2，这有意义么，所以只有子集[5]满足条件。

然后就是要用内部is

subset([H|T],X):-
subset(T,X).
subset([H|T],[H|X]):-
subset(T,X).
subset([H|T],[H | [] ]).

sum([H|T],S):-
T=[……
[/Quote]非常感谢你~~

[Xiao_Peter]

[Quote=引用 14 楼 dsvcnet 的回复:]
真搞笑，win-prolog求和只能是符号运算而且
1+2不=3不=2+1只能=1+2，这有意义么，所以只有子集[5]满足条件。

然后就是要用内部is

subset([H|T],X):-
subset(T,X).
subset([H|T],[H|X]):-
subset(T,X).
subset([H|T],[H | [] ]).

sum([H|T],S):-
T=[……
[/Quote]非常感谢你~~

[DSVCNET]

真搞笑，win-prolog求和只能是符号运算而且
1+2不=3不=2+1只能=1+2，这有意义么，所以只有子集[5]满足条件。

然后就是要用内部is

subset([H|T],X):-
subset(T,X).
subset([H|T],[H|X]):-
subset(T,X).
subset([H|T],[H | [] ]).

sum([H|T],S):-
T=[],
is(S,H),
!.
sum([H|T],S):-
sum(T,Y),
is(S,Y+H).

subsum(U,S,SUB):-
subset(U,SUB),
sum(SUB,S).