rust-prolog
rust-prolog copied to clipboard
improve list syntax sugar
Currently [H|T] is sugar for cons(H,T), but this syntax should be more general and allow this form:
[H1, H2, ..., Hn | T]
Which translates to:
cons(H1, cons(H2, ..., cons(Hn, T)...)