2
我想包含來自其他文件的一些謂詞。 例如 文件 「任務2」如何在Strawberry Prolog中導入謂詞?
nsk(A,B,NSK) :-nsd(A,B,NSD),NSK is (A*B)/NSD.
?- nsk(16,4,NSK),write(NSK).
如何包括文件 「task11」, 「國安局」 斷言?
我想包含來自其他文件的一些謂詞。 例如 文件 「任務2」如何在Strawberry Prolog中導入謂詞?
nsk(A,B,NSK) :-nsd(A,B,NSD),NSK is (A*B)/NSD.
?- nsk(16,4,NSK),write(NSK).
如何包括文件 「task11」, 「國安局」 斷言?
假設謂詞在文件中定義task11.pl
你應該能夠發出
?- consult([task11]).