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

К>Арити-пролог много места занимает? Где его можно стырить?
К>Или может быть, есть какой-то легковесный вариант пролога?
К>(пиши мне на мыло merkin@mail.ru)

Он на одну дискету помещается, его как фриварь можно скачать.
А сайта имя не помню, но в google по запросу Arity prolog первой строчкой высветился