Рекурсия в большинстве языков программирования - это такой способ организации обработки данных, при котором программа (процедура) вызывает сама себя непосредственно, либо с помощью другой программы (процедуры). ... Пусть имеются следующие факты: больше(слон, лошадь). больше(лошадь, осел). больше(осел, собака). больше(осел, обезьяна). ... Однако, мы знаем, что слоны больше, чем лошади, которые в свою очередь больше, чем ослы, которые больше обезьян, поэтому слоны также должны быть больше, чем обезьяны. ...