Subject to this complication, sequential and parallel search strategies for and-or trees provide a computational model for executing logic programs.
Предмет ове компликације, секвенцијална и паралелна стратегија за и-или дрвеће претраге обезбеђује компјутерски модел за извршавање логичких програма.