LISP 1.5
Extension of
GOL (7700)
Extension to LISP for predicate calculus