From: a7i5@ugrad.cs.ubc.ca   
      
   > Sure, Sudoku, as with many other puzzles, is a simple logical problem.  I   
   > recommend you to read good book by Krzystof Apt   
   >   
   > Principles of Constraint Programming, Cambridge University Press,   
   > 2003   
   >   
   > in which Apt explains constraint solving using proof rules.  So constraint   
   > solving is as logical as one can get.   
   >   
   > In fact, constraint logic programming CLP is an direct extension of logic   
   > programming LP (a la Prolog) to make LP more expressive and efficient.   
   >   
   > Since you are so interested in Prolog, C(L)P should interest you too!   
   Have   
   > fun.   
   >   
   > Cheers,   
   > jim   
      
   I may have to pick that one up, thanks.   
      
   though.. not exactly so interested in focusing on a purely logical language   
   style...  a little too limited for my tastes...   
      
   [ comp.ai is moderated.  To submit, just post and be patient, or if ]   
   [ that fails mail your article to , and ]   
   [ ask your news administrator to fix the problems with your system. ]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)