2

他のファイルの述語をいくつか含めたい。たとえば、ファイル「task2」

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

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

ファイル「task11」から「nsd」述語をどのように含めますか？

4

1 に答える 1

0

述語がファイルで定義されていると仮定するtask11.plと、発行できるはずです

 ?- consult([task11]).
于 2012-05-25T17:27:56.000 に答える