NULL is defined as an empty list, while CONS is defined as a list with at least one item. Therefore, they do not unify.

-- Main.trimblet - 2014-05-23

This topic: Main > GrammarEngineeringFAQ;nowysiwyg=0  > UnifyingNullWithCons
Topic revision: r1 - 2014-05-23 - 21:31:20 - trimblet
This site is powered by the TWiki collaboration platformCopyright & by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Privacy Statement Terms & Conditions