Lines Matching refs:middle
478 Chess players know that pieces in the middle of the board are more
480 placing queens in the middle of the board to reduce the number of
482 variables such that the middle ones are first in the list:
490 The implementation of middle\_first/2 requries a bit of list manipulation
505 When we pre-order the variables such that the middle ones are first,
506 the deleteff/3 predicate will prefer middle variables when several
521 We start placing queens in the middle columns, but not on the middle rows.
523 ie.\ setting the variables to values in the middle of their domain.
524 We therefore invent a variant of indomain/1 called middle\_first\_indomain/1
534 The implementation of middle\_first\_indomain/2
535 simply relies on middle\_first/2: