lisp2&prolog1