手机
当前位置:查字典教程网 >脚本专栏 >python >python 示例分享---逻辑推理编程解决八皇后
python 示例分享---逻辑推理编程解决八皇后
摘要:可以和Haskell,Prolog一样做到模式匹配,建立逻辑推到规则,描述问题,得出答案。frompyDatalogimportpyData...

可以和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 ) <= ( X1 != X2 ) & ( X1 != X2 + N ) & ( X1 != X2 - N ) pred( N, N1 ) <= ( N > 1 ) & ( N1 == N - 1 ) queens( 1, X ) <= ( X1._in( range( size ) ) ) & ( X1 == X[0] ) queens( N, X ) <= pred( N, N1 ) & queens( N1, X[:-1] ) & next_queen( N, X ) pred2( N, N1 ) <= ( N > 2 ) & ( N1 == N - 1 ) next_queen( 2, X ) <= ( X1._in( range( 8 ) ) ) & ok( X[0], 1, X1 ) & ( X1 == X[1] ) next_queen( N, X ) <= pred2( N, N1 ) & next_queen( N1, X[1:] ) & ok( X[0], N1, X[-1] ) print( queens( size, ( X0, X1, X2, X3, X4, X5, X6, X7 ) ) )

【python 示例分享---逻辑推理编程解决八皇后】相关文章:

python求素数示例分享

Python代理抓取并验证使用多线程实现

Python 网络编程起步(Socket发送消息)

python局域网ip扫描示例分享

python socket网络编程步骤详解(socket套接字使用)

Python实现的简单万年历例子分享

python删除文件示例分享

Python 条件判断的缩写方法

python连接池实现示例程序

python创建线程示例

精品推荐
分类导航