"Языки логического программирования в проектировании вычислительных систем и сетей" - читать интересную книгу автора (Дубинин В.Н., Зинкин С.А.)