Исполнит все аргументы, но вернуть значение последнего
(progn 1 2 3)
3
Исполнит все аргументы, но вернуть значение первого
(prog1 1 2 3)
1