如何在Strawberry Prolog中导入谓词？

Question

我想在其他文件中包含一些谓词。 例如 文件“task2”

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

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

如何在文件“task11”中包含“nsd”谓词？

Answer 1

假设谓词在文件task11.pl中定义，您应该能够发出

 ?- consult([task11]).