Comment importer des prédicats dans Strawberry Prolog?

Question

Je souhaite inclure certains prédicats provenant d'autres fichiers. pour le fichier exemple "task2"

nsk(A,B,NSK) :-nsd(A,B,NSD),NSK is (A*B)/NSD. 

?- nsk(16,4,NSK),write(NSK). 

Comment inclure "NSD" prédicat du fichier "task11"?

Answer 1

en supposant que le prédicat est défini dans le fichier task11.pl vous devriez être en mesure d'émettre

?- consult([task11]).