python 逻辑推理编程解决八皇后
来源:互联网 发布:电脑发手机短信软件 编辑:程序博客网 时间:2024/05/08 09:04
可以和Haskell , Prolog 一样做到模式匹配,
建立逻辑推到规则,描述问题,得出答案。
from pyDatalog import pyDatalogpyDatalog.create_atoms( 'N, N1, X, Y, X0, X1, X2, X3, X4, X5, X6, X7' )pyDatalog.create_atoms( 'ok, queens, next_queen, pred, pred2' )size = 8ok( 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 ) ) )
1 0
- python 逻辑推理编程解决八皇后
- 使用Python生成器解决八皇后问题
- 八皇后递归解决
- 八皇后算法-python
- 八皇后python实现
- python实现八皇后
- python-八皇后问题
- Python八皇后问题
- python 八皇后问题
- python-八皇后问题
- Python实现八皇后
- 八皇后编程问题
- python基于右递归解决八皇后问题的方法
- Python利用遗传算法解决八皇后问题
- 利用python的生成器解决八皇后问题
- 八皇后问题——用Python解决
- C++解决八皇后问题
- 递归解决八皇后问题
- kjtgrfds
- 大理大神刷过的poj题~
- 深入剖析 kmp 算法
- 史蒂夫方史蒂夫史蒂夫史蒂夫
- 串口(调试助手)发送数据——字符串发送与十六进制发送的区别
- python 逻辑推理编程解决八皇后
- Josephus排列
- Amoeba在Windows 7下的安装部署
- hdu 3371 Connect the Cities
- 【Reading】2014-07, 08
- C语言调用Python脚本中的函数
- 【Linux】Vim命令合集
- c++格式控制
- 九度 Online Judge 之《剑指 Offer》一书相关题目解答