Объявление внешних предикатов.

Чтобы проинформировать систему Турбо Пролог о том, что данный гло-

бальный предикат написан на другом языке, вам надо добавить спецификацию

языка к объявлению глобальных предикатов, подобно следующему:

global predicates

add(integer, integer, integer) - (i, i, o), (i, i, i)

language c

scanner(string, token) - (i, o) language pascal

triple(integer, real) - (i, o) language asm

В Турбо Прологе вы явно указываете язык, с которым взаимодействуете;

это упрощает проблемы, связанные с вызовом соглашений, включая:

# формат записи активизации

# формат параметра

# вызов соглашений

# возврат соглашений