Программирование в целом с помощью Prolog

Я пытаюсь сохранить модульность своего кода Prolog, и мне было интересно, есть ли у кого-нибудь совет, как это сделать. Я делал это с помощью простых consult s, но это становится громоздким, поскольку количество моих файлов увеличивается и поддается конфликту имен. Есть ли какая-нибудь конструкция, аналогичная «типичному» импорту, например

%-------------------------------------------------------------------- compiler.pl

[ scanner, parser, codegen ] .

%-------------------------------------------------------------------- compile

% compile( S, I ) :- Compiling the source string S gives the list of instructions
%                    I

compile( S, I ) :- scan( S, T ), parse( T, A ), codegen( A, I ) .

%-------------------------------------------------------------------------------%

в верхней части исходного файла? Если это зависит от программы, я использую gprolog . Заранее благодарим за любую помощь.

17
задан Sean Kelleher 29 January 2015 в 21:10
поделиться