Как загрузить файл в Prolog?

#prolog #swi-prolog

#пролог #swi-prolog

Вопрос:

У меня есть файл, имя: «file1.pl » на c:/.

Теперь я хочу загрузить файл в prolog, а затем задать запрос о процедуре и отношениях, которые я определил.

как я понял, мне нужно выполнить следующий stpes:

  1. файл -> редактировать.

  2. файл -> перезагрузить измененные файлы.

  3. файл -> Навигатор для просмотра файла и процедуры.

Когда я выполняю эти шаги, ничего не происходит. Когда я задаю запрос, это выдает мне следующую проблему: toplevel: Undefined procedure: blabla/2 (DWIN couldnt correct goal)

Спасибо.

Комментарии:

1. Каково содержимое вашего файла? Каков ваш запрос?

2. @liori, файл содержит всю информацию, а процедура блабла. мой запрос: ?- blabla (Клиент, продукт).

Ответ №1:

Попробуйте сделать consult(filename) . Расширение может потребоваться, а может и не потребоваться.

Комментарии:

1. В SWI-Prolog (Mac) вам нужно заключить путь в кавычки, вот так: consult('~/path/to/file/myFile') где myFile.pl находится ваш файл кода Prolog.