[reasoning] improved predicate LISP-FUN:

it now accepts Prolog variables for argument FUNCTION
Merge pull request #22 from gaya-/master

[reasoning] improved predicate LISP-FUN