answer-set-programming - 解答集合プログラミング「Guesses」

Question

推測ブロックから正確に「ステップ」項目を選択したいのですが、カーディナリティで推測を制限すると満足できなくなりました。

  % Pick a series of move
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  steps { 
          vpr(X,Y) : verticalPlus(X,Y); 
          vmr(X,Y) : verticalMinus(X,Y); 
          hpr(X,Y) : horizontalPlus(X,Y); 
          hmr(X,Y) : horizontalMinus(X,Y) 
 } steps.