tag:blogger.com,1999:blog-1858734231655014319.post4453672152150216884..comments2023-04-01T15:16:59.157+02:00Comments on Szopa's Other Blog: Lists are not sets, Prolog is not logicUnknownnoreply@blogger.comBlogger4125tag:blogger.com,1999:blog-1858734231655014319.post-67494073515737920112009-12-24T23:37:45.165+01:002009-12-24T23:37:45.165+01:00Hi. I don't agree the title of this post. Does...Hi. I don't agree the title of this post. Does "lists are not sets" imply "Prolog is not logic?"<br /><br />By the way, though what you've described is agreeable, I wonder how students answer the question: "find all subsets of the set {1, 2, 3}." Will someone give an infinite answer "{}, {1}, {2}, {3}, {1,1}, {1,2}, ..., {1,1,1,1}, {1,1,1,2}, ..." Interesting. :)Anonymoushttps://www.blogger.com/profile/10086158602375850806noreply@blogger.comtag:blogger.com,1999:blog-1858734231655014319.post-9809539648250760252009-10-07T12:42:42.862+02:002009-10-07T12:42:42.862+02:00Well, you could always just sort your subset list ...Well, you could always just sort your subset list first. If it deals with it correctly when they are sorted, then just adding something like<br /><br />sort(Your_subset,Sorted_subset)<br /><br />and then just use that for your comparison. Since all sorted subsets are as subsetty as unsorted subsets, there's no breach of any logic.<br /><br />Of course, this is unelegant, but if it works correctly, and elegant solutions don't, well... :pAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-1858734231655014319.post-14952834411231813612007-06-15T20:38:00.000+02:002007-06-15T20:38:00.000+02:00Thank you. Sorry for not noticing your comment bef...Thank you. Sorry for not noticing your comment before, but I've been doing quite a lot of other things recently ;-)Ryszard Szopahttps://www.blogger.com/profile/02780335691046786692noreply@blogger.comtag:blogger.com,1999:blog-1858734231655014319.post-50847436689323144182007-05-01T01:35:00.000+02:002007-05-01T01:35:00.000+02:00Hello,I'm Ertan Dogrultan from Turkey, Bogazici Un...Hello,<BR/>I'm Ertan Dogrultan from Turkey, Bogazici University. I am studying Computer Engineering and Mathematics. Your small article about Prolog has been helpful to me. You can contact me if you want I am also interested in logic and mathematics.<BR/><I>e.dogrultan [at] gmail [dot] com</I>ertanhttps://www.blogger.com/profile/16897836357630383041noreply@blogger.com