Prolog- Đang tải Thư viện từ một Tệp

Question

Hướng dẫn sử dụng Sicstus nói để sử dụng để tải thư viện: use_module (thư viện (Gói)). Điều này làm việc trong Prolog trên dòng lệnh, nhưng tôi không thể tìm hiểu làm thế nào để tải một thư viện từ một tệp nguồn Prolog. Khi tôi bao gồm "use_module (thư viện (Package))." trong tệp .pl của tôi, tôi nhận được lỗi quyền: không thể xác định lại built_in use_module/1.

Answer 1

Hãy thử sử dụng một chỉ, chẳng hạn như:

:- use_module(library(Package)). 

... ở phía trên cùng của tập tin của bạn, nơi Package là nguyên tử xác định các module thư viện bạn muốn tải.