UnifyingNullWithCons < Main

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 - trimblet