In some languages procedures are sub-programs which do not return a value and functions are sub-programs which do return a value. In MEL all sub-programs are called procedures. They can be local or global.