Common LISP
Written using
Prolog
Extension of
Uranus (1753)