iso-prolog- все статьи тега ➜ страница 0

Создание Пролог-кода, работающего в GNU и SWI

Я понимаю, что этому есть пределы, но есть ли разумный способ поместить условные директивы в Пролог-код, чтобы он работал разумно в GNU или SWI? Я думаю, по крайней мере, о простейших случаях, когда встроенные предикаты, такие как sumlist в SWI и sum_list в GNU, не совпадают друг с другом по орфографии. Или SWI имеет assert , а GNU-нет. Поэтому было бы неплохо иметь что-то вроде: :- if($SWI). SWI version of stuff :- else. GNU version of stuff :- endif. Или просто: :- if(not_a_builtin(sumli ...