Ошибка наличия пролога: процедура не существует

Question

Existence error in user:nth1/3
! procedure user:nth1/3 does not exist

Я включил модуль для списков :: - use_module (библиотека (списки)). Но все еще получаю эту ошибку ..

Может кто-нибудь поможет?

Answer 1

С Sicstus 3 попробуйте использовать nth/3 вместо nth1/3 - последний не существует в lists библиотека.

Если ваш код на самом деле звонит user:nth1( , , ), тогда nth1/3 (или что еще вы с префиксом user:) необходимо определить в user Модуль для пользовательского кода, который, как кажется, не тот случай в вашей среде, учитывая ошибку, которую вы описали. Если это так, попробуйте снова без user: префикс модуля. Если предикат представляет собой системный предикат и определенно загружен, система пролового должна найти ее автоматически. Если он не может, пролог, потом предполагает, что это то, что вы должны были определены в user Модуль, следовательно, почему он может искать там.