Sudoku. Board Encoding. ▻ Alternatively, via rules: square(0, X, Y ) :- row(X), ... 1 {cycle(X, Y ) : edge(X, Y )} 1 :- node(Y ).
確定! 回上一頁