2012-05-25 84 views
2

我想包含來自其他文件的一些謂詞。 例如 文件 「任務2」如何在Strawberry Prolog中導入謂詞?

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

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

如何包括文件 「task11」, 「國安局」 斷言?

回答

0

假設謂詞在文件中定義task11.pl你應該能夠發出

?- consult([task11]).