我想包含其他文件中的一些谓词。例如文件“task2”
nsk(A,B,NSK) :-nsd(A,B,NSD),NSK is (A*B)/NSD.
?- nsk(16,4,NSK),write(NSK).
如何从文件“task11”中包含“nsd”谓词?
我想包含其他文件中的一些谓词。例如文件“task2”
nsk(A,B,NSK) :-nsd(A,B,NSD),NSK is (A*B)/NSD.
?- nsk(16,4,NSK),write(NSK).
如何从文件“task11”中包含“nsd”谓词?