[reasoning] improved predicate LISP-FUN

it now accepts Prolog variables for argument FUNCTION