Lisp and Prolog. Sammy 沈震轩. 阳城酒家. Spire hms login.