Основная особенность логических языков программирования заключается в том что программа