http://prolog-plc.ru/publications где то здесь