recursive predicate

prolog recursive predicate/function