авторМ. Т. НаунгПрототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ
Буклинкер