Ｐｒｏｌｏｇの再帰呼び出しだと

ｄｅｌ（Ｘ，［Ｘ｜Ｌ］，Ｌ）．
ｄｅｌ（Ｘ，［Ｙ｜Ｌ］，［Ｙ｜Ｚ］）　：－　ｄｅｌ（Ｘ，Ｌ，Ｚ）．

？－　ｄｅｌ（ｒ，［ｆ，ｒ，ｉ，ｅ，ｎ，ｄ］，Ｘ）．
Ｘ　＝　［ｆ，　ｉ，　ｅ，　ｎ，　ｄ］　．

これは簡単にＲで書ける。

ｄｅｌ　＜－　ｆｕｎｃｔｉｏｎ（ｘ，Ｌ）　　ｃａｔ（Ｌ［－ｗｈｉｃｈ（ｘ＝＝Ｌ）［１］］）

＞　ｄｅｌ（＇ｒ＇，ｃ（＇ｆ＇，＇ｒ＇，＇ｉ＇，＇ｅ＇，＇ｎ＇，＇ｄ＇））
ｆ　ｉ　ｅ　ｎ　ｄ