Re: Restricting equivalent solutions inside the search (B-Prolog)
- From: Markus Triska <triska@xxxxxxxx>
- Date: Mon, 12 Nov 2007 16:00:23 +0100
Ecirbaf <fabrice.marchant@xxxxxxxxx> writes:
And I absolutely do not see now how I could break the symmetry in
the search of still lives for Conway Game of life, where binary
state cells lay on a board.
Lots of options; for example, if the board looks like:
A ... D
: ... :
: ... :
B ... C
you can impose the constraints A #>= B, A #>= C, A #>= D, and D #>= B.
For magic squares, you can use #>/2 instead.
--
comp.lang.prolog FAQ: http://www.logic.at/prolog/faq/
.
- References:
- Restricting equivalent solutions inside the search (B-Prolog)
- From: Ecirbaf
- Re: Restricting equivalent solutions inside the search (B-Prolog)
- From: Chip Eastham
- Re: Restricting equivalent solutions inside the search (B-Prolog)
- From: Ecirbaf
- Restricting equivalent solutions inside the search (B-Prolog)
- Prev by Date: Re: Counting recursion calls
- Next by Date: Re: WAM Vs. TOAM
- Previous by thread: Re: Restricting equivalent solutions inside the search (B-Prolog)
- Next by thread: Still life search in Prolog
- Index(es):
Relevant Pages
|
|