Author: Mike Stoker
Date: 09:30:34 10/28/98
Does anyone know of a paper / program which makes use of predicate logic in chess. What I would like to do is to specify the legal moves of kings and rooks in terms of predicates, specifiy what a checkmate is, and from that automatically deduce an efficient representation of the possible mating patterns of a KKR endgame. Cheers, Mike.
This page took 0 seconds to execute
Last modified: Thu, 15 Apr 21 08:11:13 -0700
Current Computer Chess Club Forums at Talkchess. This site by Sean Mintz.