functions

prolog function/predicate examples
c++ function examples