答案集编程“猜测”

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.