8 Jul
2021
8 Jul
'21
8:05 a.m.
I note that (1) Clean uses ":" in lists the way Prolog uses "|". (2) Before Prolog switched to "|", Edinburgh Prolog used ",.." (two tokens). (3) There doesn't seem to be any reason why [p1,p2,p3]++pr could not be a pattern, where p1, p2, p3 match elements and pr the rest. Erlang has <string literal> ++ <pattern>, but forbids <list pattern> ++ <pattern>, presumably because it uses "|" like Prolog.