LISP, Lore, and Logic: An Algebraic View of LISP Programming, Foundations, and Applications