Здравствуйте, fsssl_dm, Вы писали:

_>Где-нибудь можно взять какие-нибудь материалы по Arity Prolog? Google мало чего дает.
прошёлся desktop-поиском по своим материалам, нашёл только это
http://alice.stup.ac.ru/~dvn/prolog/articls/20.htm
Вообще это цикл статей по моделированию и верификации выч.систем и сетей на основе сетей Петри и реализаиции всего этого дела на Прологе, а именно на Arity Prolog'е, по ссылке есть указание на книгу, возможно она по Arity, а возможно и нет,я её не читал . Надеюсь, что поможет...