Я определил пролог increment процедуру внутри модуля в файле procs1.pl.
Как я могу импортировать процедуры, определенные в модуле, и использовать их таким образом, чтобы импортировать их не в форму user по умолчанию, а в форму, в которой я определил процедуру, которую я вызвал.
Поскольку я определил несколько файлов процедур пролога, я бы хотел, чтобы каждый файл загружался в отдельный модуль.
Если, например, у меня есть два файла, содержащие определенные процедуры procs1.pl и procs2.pl, и в обоих файлах присутствует процедура increment, я бы хотел указать процедуру для использования в каком модуле.
procs1.pl
:- module('procs1',[increment/2]).
increment(X,C) :- C is X+1.