Рассматриваются вопросы использования языка логического программирования Пролог в сетевой технологии проектирования распределенных вычислительных систем и сетей. Приводится описание предикатных сетей, интерпретируемых на языке Пролог, примеры спецификации и моделирования вычислительных систем, процессов и сетевых протоколов с использованием данного сетевого формализма. Представлено описание временной логики для верификации вычислительных систем и процессов, подробно описана реализация временных операторов на Прологе, приводятся примеры формулировки и доказательства свойств рассмотренных в пособии вычислительных систем, процессов и сетевых протоколов. Учебное пособие подготовлено на кафедре ''Вычислительная техника'' и предназначено для студентов специальности 22.01.00, изучающих дисциплины ''Языки логического программирования'', ''Вычислительные комплексы, системы и сети'', ''Системы искусственного интеллекта'', ''Прикладная математика''