[reasoning] improved predicate LISP-FUN:

it now accepts Prolog variables for argument FUNCTION