Это такая, которая вызывает сама себя. Например, её имя (по ходу, в паскале подпрограммы называются процедурами, ну это не суть принципиально) имеет имя РР, так вот в самом её тексте происходит вызов РР. По ходу, не только к паскалю относится, вообще к любому языку.
По ходу, не только к паскалю относится, вообще к любому языку.