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?) 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?)