Understanding the “unify” Function in “newLisp”
Unification between two symbolic expressions involves finding substitutions for variables (if any) in the expressions such that the expressions match after
Currying in “newLisp”
In the last two articles, I discussed what I believe are some interesting features of “newLisp”. Today’s topic is “currying”,
Implicit Indexing and Slicing in “newLisp”
In traditional Lisp (Common Lisp), when evaluating an S-expression list, the first element in the “functor” position must be a