Changes

==Prover==

'''Prover''' was a [[Proof-Number Search]] implementation for chess, using chess-specific routines of Duck. Provers only goal was [[Mate Search|searching for mate]] <ref>[[Dennis Breuker]], [[Victor Allis]], [[Jaap van den Herik]] ('''1994'''). ''How to Mate: Applying Proof-Number Search''. [[Advances in Computer Chess 7]], reprint as [http://www.top-5000.nl/ps/Mate%20in%2038-%20applying%20proof%20number%20search%20to%20chess.pdf Mate in 38: Applying Proof-Number Search] from [[Ed Schroder|Ed Schroder's]] [http://www.top-5000.nl/prostuff.htm Programmer's Stuff site] » [[Proof-Number Search]]</ref>.

=Publications=

* [https://en.wikipedia.org/wiki/Ducks_Unlimited Ducks Unlimited from Wikipedia]

* [https://en.wikipedia.org/wiki/Digesting_Duck Digesting Duck] by [https://en.wikipedia.org/wiki/Jacques_de_Vaucanson Jacques de Vaucanson]

* [https://en.wikipedia.org/wiki/Duck_%28disambiguation%29 Duck (disambiguation) from Wikipedia]

* [https://en.wikipedia.org/wiki/Citro%C3%ABn_2CV Citroën 2CV from Wikipedia]

=References=

<references />

'''[[Engines|Up one Level]]'''

[[Category:Bird]]

[[Category:Pat Metheny]]