Name:
Anonymous
2013-10-08 19:43
Interesting papers, projects that use it, learning resources, ...
Everything related to Prolog is welcome in the most logical thread of /prolog/.
Name:
Anonymous
2013-10-09 6:28
Name:
Anonymous
2014-06-03 13:23
listp([]).
listp([X|Y]) :- listp(Y).
So to find out if a list is a list we need to go through the whole list???!?!? Isn't that a little inefficient?
Name:
Anonymous
2014-06-03 13:44
>>5Type system will never lie to you --
[a] is
[a]
Name:
Anonymous
2014-06-03 13:46
>>5Only if your static analyzer is a piece of shit.
Name:
Anonymous
2014-06-03 14:22
>>7Gee, what's the time complexity on that? “Oh, never?”
Name:
Anonymous
2014-06-03 14:42
>>9Just because you're too dumb to write a static analyzer doesn't mean everyone is you pseudointellectual cretin.
Name:
Anonymous
2014-06-03 14:46
>>13Do you even know what the complexity of it is? Hint: it's worse than chasing down pointers in O(n).
Name:
Anonymous
2014-06-03 14:47
>>13Show us the nasty end of your pseudo-intellectual nutty atheist shotgun, Jacques.
Name:
Anonymous
2014-06-04 14:38
>>13So i should write a static analyser just to use prolog? That's not practical