python 示例分享---逻辑推理编程解决八皇后
2014-07-20 00:00
701 查看
可以和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解决八皇后问题示例
- python原始套接字编程示例分享
- Python设计模式编程中解释器模式的简单程序示例分享
- Python设计模式编程中解释器模式的简单程序示例分享
- 用编程解决 公务员考试 中的逻辑推理题
- python读文件逐行处理的示例代码分享
- 黑马程序员--10.网络编程--08.【C_S常见的“双卡”现象和解决--TCP复制文本文件示例II】【阻塞式循环的分析过程 ---总结】
- 九、Python编程解决组合问题(之一…
- python list转dict示例分享
- python正则匹配查询港澳通行证办理进度示例分享
- python实现人人网登录示例分享
- python实现代码行数统计示例分享
- python删除文件示例分享
- python文件比较示例分享
- Python 3中套接字编程中遇到TypeError: 'str' does not support the buffer interface的解决办法
- python使用PyV8执行javascript代码示例分享