Я не совсем уверен, что вы подразумеваете под «логическим запросом» (это довольно широкий термин), но если вы просто имеете в виду, любое выражение на любом языке, которое оценивается как истинное или ложное , тогда я бы сказал да.
Я имею в виду, что-то вроде этого псевдокода:
bool x = this() OR that()
function this()
return that()
function that()
return this()
То есть бесконечная рекурсия всегда будет возможна, если задействованы вызовы методов, при условии, что бесконечно рекурсивный метод является потенциальной возможностью в рассматриваемом языке программирования.
Или это не то, что вы имели в виду?