Theoretical foundations of the organization of branches and repetitions in programs in the logic programming language Prolog - Zdor, D. V. (Advanced engineering research (Rostov-na-Donu, Russia), 2021)
Keywords: branching; logical programming; recursion termination condition; recursive rule; repetition of predicates