python示例分享---逻辑推理编程解决八皇后

可以和Haskell ， Prolog 一样做到模式匹配，

建立逻辑推到规则，描述问题，得出答案。

from pyDatalog import pyDatalog

pyDatalog.create_atoms( 'N, N1, X, Y, X0, X1, X2, X3, X4, X5, X6, X7' )
pyDatalog.create_atoms( 'ok, queens, next_queen, pred, pred2' )

size = 8
ok( X1, N, X2 )   1 ) & ( N1 == N - 1 )
queens( 1, X )   2 ) & ( N1 == N - 1 )
next_queen( 2, X )  

查看更多关于python示例分享---逻辑推理编程解决八皇后的详细内容...