Welcome to the previous AI Summer with Lisp and Prolog environments, :)

Pity that the new Summer got to ride an interpreted language, with bindings to native libraries instead.