The GAMPL Procedure