微信公众号 讲师中心
首页
文章
后端开发 web前端 数据库 开发工具 php框架 常见问题 科技 Java 系统教程 电脑教程 硬件教程 手机教程 软件教程 游戏教程 自媒体 新闻
专题
后端开发 web前端 数据库 开发工具 php框架 科技 Java 系统教程 电脑教程 硬件教程 手机教程 软件教程 游戏教程 新闻
AI工具
AI 聊天问答 Agent智能体 AI 文本写作 AI 绘画作图 AI 设计工具 AI 视频创作 AI 音频制作 AI 办公学习 AI 编程开发 Prompt指令
学习
大前端 后端开发 数据库 移动端 运维开发 计算机基础
编程手册
大前端 后端开发 数据库 移动端 运维开发 计算机基础
下载
js特效 网站源码 工具下载 类库下载 网站素材 学习资源 插件扩展 手机/移动开发 手机游戏
最近更新
搜索
后端开发 web前端 数据库 开发工具 php框架 常见问题 科技 Java 系统教程 电脑教程 硬件教程 手机教程 软件教程 游戏教程
自媒体 新闻
首页 > 后端开发 > Python教程 > 正文

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

php中文网
发布： 2016-06-16 08:43:10
原创
2738人浏览过

可以和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 ) ) )
登录后复制

天谱乐
天谱乐

唱鸭旗下AI音乐创作平台，为您提供个性化音乐创作体验！

天谱乐 514
查看详情 天谱乐
相关标签：
python

大家都在看：

最佳 Windows 性能的顶级免费优化软件
最佳 Windows 性能的顶级免费优化软件

每个人都需要一台速度更快、更稳定的 PC。随着时间的推移，垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是，许多工具可以让 Windows 保持平稳运行。

下载
来源：php中文网
收藏 点赞
上一篇：python采集博客中上传的QQ截图文件 下一篇：Python下singleton模式的实现方法
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系admin@php.cn
最新问题
Python3MySQL怎么操作_Python3操作MySQL数据库方法与实例说明 首先安装PyMySQL驱动并验证导入，然后使用正确参数建立数据库连接，通过游标执行查询或增删改操作，注意提交事务，并在finally块中关闭游标和连接以释放资源。
2025-11-18 22:40:02
931
python shutil有哪些操作文件的方法 shutil是Python中用于高级文件操作的模块，提供复制（copy、copy2、copyfile）、移动（move）、删除目录（rmtree）、复制目录树（copytree）、获取磁盘使用情况（disk_usage）、修改所有者（chown）及归档压缩（make_archive、unpack_archive）等功能，适用于备份、部署等用户级文件管理任务。
2025-11-18 22:40:02
359
Python 环境与项目目录结构设计 使用虚拟环境隔离项目依赖，推荐venv或conda；创建标准目录结构，明确代码、测试与配置分离；通过requirements.txt管理直接依赖，结合python-dotenv加载环境变量，确保配置安全灵活。
2025-11-18 22:39:05
784
pythonfor循环怎样对筛选后的数字求和_pythonfor循环根据条件筛选数字并求和的教程 先初始化总和变量为0，再用for循环遍历序列，通过if判断筛选符合条件的数并累加。例如遍历1到10筛选偶数求和得30；或对列表中大于5的数求和得22。
2025-11-18 22:38:02
404
Python入门如何操作正则表达式_Python入门文本匹配的强大工具 正则表达式是Python中处理文本模式匹配的强大工具。1、通过importre导入模块，使用re.match()从字符串开头匹配，如re.match(r‘abc’,‘abcdef’)成功匹配。2、re.search()在全文查找首个匹配项，如re.search(r‘\d+’,‘年龄是25岁’)返回‘25’。3、re.findall()提取所有非重叠匹配，如re.findall(r‘\b[A-Za-z]+\b’,‘HelloworldPython’)返回[‘Hello’,‘world’,‘Pyth
2025-11-18 22:37:02
861
Python 虚拟环境删除与清理方法 删除Python虚拟环境需先确认路径，常见为项目目录下的venv等文件夹；直接删除该文件夹即可清除环境，Windows用rmdir/svenv，macOS/Linux用rm-rfvenv；若为Conda环境，须用condaenvremove-n环境名命令删除；可选pipcachepurge清理缓存。
2025-11-18 22:35:16
867
使用 pyenv 安装不同版本 Python 的技巧 pyenv可轻松管理多版本Python，支持安装、切换及局部环境配置。通过pyenvinstall安装指定版本，如3.9.18；用pyenvglobal/local/shell设置全局、项目或会话级版本；结合pyenvvirtualenv创建隔离环境，避免依赖冲突。安装前需确保系统依赖完整，并将pyenv初始化代码添加到shell配置文件中。
2025-11-18 22:35:02
753
Python官网文档的正确查阅方法_Python官网API参考手册使用指南 使用help()函数、pydoc工具或访问官方文档可高效查阅Python用法。1、在交互式环境中输入help(dict)等命令查看对象文档；2、终端执行pydocrequests或pydoc-kkeyword搜索相关模块；3、通过https://docs.python.org/zh-cn/3/在线查阅完整文档，利用搜索功能精准定位json.dumps等API说明，结合示例代码正确调用。
2025-11-18 22:34:57
546
Python网页版如何实现单页应用_Python网页版单页应用SPA开发与路由设置教程 答案：Python后端通过提供API和静态文件支持SPA，前端框架处理路由与渲染。1.Python使用Flask等框架暴露RESTful接口并托管前端构建产物；2.配置通配路由返回index.html，避免页面刷新404；3.前端采用VueRouter等实现页面跳转，通过AJAX获取数据；4.项目分离前后端目录，构建后由Python服务dist文件夹；5.部署时可选择一体化或分离部署，需注意CORS配置。核心是前后端职责分明，Python不参与前端路由控制。
2025-11-18 22:34:02
541
Python3安装包从哪里获取_Python3官方与第三方安装包获取渠道 Python3安装包可通过官网https://www.python.org/获取，支持多系统稳定版与源码包下载，自动识别设备推荐版本，并提供完整文档；Linux用户可用apt、yum等包管理器安装，macOS可使用Homebrew，实现依赖自动处理与快速升级；数据科学用户可选用Anaconda集成发行版，内置conda包管理与虚拟环境功能，图形化操作更友好；开发者还可通过pyenv工具管理多版本共存，支持全局或局部版本切换，适配不同项目需求。
2025-11-18 22:33:32
569
相关专题
更多>
热门推荐
开源免费商场系统广告
热门教程
更多>
相关推荐
热门推荐
最新课程
最新下载
更多>
网站特效
网站源码
网站素材
前端模板
关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新 English
php中文网：公益在线php培训，帮助PHP学习者快速成长！
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送
PHP中文网APP
随时随地碎片化学习

Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号

  • PHP学习

  • 技术支持

  • 返回顶部