From LISP branch, we have Scheme which is just a cleanup of the huge Common LISP.Then, we have OCAML that cleans the functional programming but mostly keep procedural execution model, and Haskell that introduces lazy evaluation and mostly unmutable variables that brings it one step further towards logical programming though making procedural programming style using it close to impossible.Both OCAM