Code Editor : proc_example1.pl