Başka bir dosyadan gerçekler ve kurallar nasıl çağırılır

Question

Durum: Başka bir dosyanın kurallarını kullanmak istediğim bir dosya, çözüm.ip dosyası var (bu, programın tanımıdır, bana bağlı değil, ama bence) biraz yaygındır).

Bu yüzden Ciao Prolog kullanıyorum ve sözdizimi secure_loaded ('c:/Path') gibi görünüyor.

fakat diğer dosyanın kurallarını kullanmaya çalıştığımda, hangi kuralı kullanmaya çalıştığımı bilmediğini söylüyor.

Diğer taraftan, aynı şeritte bir konsol yazıp tekrar sorguladığımda, işe yarıyor.

Belki de konsolda ve bir dosyada yaptığınız sözdiziminin farklı olduğunu merak ediyordum?

Birisi bana adım adım söyler mi, bir şey özlediysem anlayabilir miyim? Şu anda yaptığım şey, programı daha küçük programlarla yapacağım gibi yüklüyor, ardından warranty_loaded komutunda yer alan dosyanın kurallarını sorgulamaya çalışıyorum. Ve dediğim gibi, komutun programın dışında yazılması işe yarayacak gibi görünüyor. c:/Path kaynak bir modül yönergesi varsa

Answer 1

solution.pl içinde,

:- ensure_loaded('c:/Path'). 

deneyin ya - yani, ben eksikti :- module(name, [exported/arity, ...]).

:- use_module('c:/Path').