Back to the email C Hillel Wayne Author January 16, 2026, afternoon See this is why Cunningham's law is great =) (I don't think length specifically can be used as an evaluation predicate. I tried A is (length([a,b,c]) + 1) in SWI-Prolog and Scryer and both threw errors. Do you have another example?) You're not signed in. Posting this comment will subscribe you to this newsletter with the email address you enter below. Reply and Subscribe
See this is why Cunningham's law is great =)
(I don't think
lengthspecifically can be used as an evaluation predicate. I triedA is (length([a,b,c]) + 1)in SWI-Prolog and Scryer and both threw errors. Do you have another example?)