如何在Strawberry Prolog中导入谓词?

时间:2012-05-25 13:32:47

标签: prolog

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

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

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

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

1 个答案:

答案 0 :(得分:0)

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

 ?- consult([task11]).