answer-set-programming - 答案集编程“猜测”

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.