predicates

prolog function/predicate examples