Prolog 将CLPR输出写入控制台

Prolog 将CLPR输出写入控制台,prolog,clpr,Prolog,Clpr,我是序言的初学者。我想修改代码,将输出写入控制台。 如何将此程序的输出写入控制台 % % from file: library('clpqr/examples/elimination') % conv(Points, Xs) :- lin_comb(Points, Lambdas, Zero, Xs), zero(Zero), polytope(Lambdas). polytope(Xs) :- positive_sum(Xs, 1). positive_sum([],

我是序言的初学者。我想修改代码,将输出写入控制台。 如何将此程序的输出写入控制台

%
% from file: library('clpqr/examples/elimination')
%
conv(Points, Xs) :-
  lin_comb(Points, Lambdas, Zero, Xs),
  zero(Zero),
  polytope(Lambdas).

polytope(Xs) :-
  positive_sum(Xs, 1).

  positive_sum([], Z) :- {Z=0}.
  positive_sum([X|Xs], SumX) :-
    { X >= 0, SumX = X+Sum },
    positive_sum(Xs, Sum).

zero([]).
zero([Z|Zs]) :- {Z=0}, zero(Zs).

lin_comb([],        [],     S1, S1).
lin_comb([Ps|Rest], [K|Ks], S1, S3) :-
  lin_comb_r(Ps, K, S1, S2),
  lin_comb(Rest, Ks, S2, S3).

  lin_comb_r([],     _, [],     []).
  lin_comb_r([P|Ps], K, [S|Ss], [Kps|Ss1]) :-
    { Kps = K*P+S },
    lin_comb_r(Ps, K, Ss, Ss1).
问题:-

conv([ [1,1], [2,0], [3,0], [1,2], [2,2] ], [X,Y]).
服务器已打印输出。你为什么要自己做这件事?对于约束,如您的案例中的CLPR,打印答案通常非常重要,因为它包括方程式的投影和显示。已打印输出。你为什么要自己做这件事?对于约束,如您的案例中的CLPR,打印答案通常非常重要,因为它包括方程式的投影和显示。