解决一个4X4的数独
valid([]).
valid([Head|Tail]) :-fd_all_different(Head),valid(Tail).sudoku(Puzzle, Solution) :- Solution = Puzzle,Puzzle = [S11, S12, S13, S14,S21, S22, S23, S24,S31, S32, S33, S34,S41, S42, S43, S44],fd_domain(Puzzle, 1, 4),Row1 = [S11, S12, S13, S14],Row2 = [S21, S22, S23, S24],Row3 = [S31, S32, S33, S34],Row4 = [S41, S42, S43, S44],Col1 = [S11, S21, S31, S41],Col2 = [S12, S22, S32, S42],Col3 = [S13, S23, S33, S43],Col4 = [S14, S24, S34, S44],Square1 = [S11, S12, S21, S22],Square2 = [S13, S14, S23, S24],Square3 = [S31, S32, S41, S42],Square4 = [S33, S34, S43, S44],valid([Row1, Row2, Row3, Row4,Col1, Col2, Col3, Col4,Square1, Square2, Square3, Square4]).

代码不是算法,仅仅是对问题的具体描述,剩下的事情计算机帮你完成!!!
Prolog不愧是人工智能语言

奈何本人没文化,一句卧槽行天下相关推荐

  1. 快别「一句wòcào行天下」,清华搞了个神器专治词穷

    鱼羊 发自 凹非寺 量子位 | 公众号 QbitAI 奈何本人没文化,一句(哔--)行天下. 这位胖友,不知你行走江湖,是否也有过这样的烦恼? 那么这里有个神器,可就值得好好说道说道了. " ...

  2. 快别「一句wòcào行天下」,清华开源了个神器专治词穷!

    鱼羊 发自 凹非寺 量子位 | 公众号 QbitAI 奈何本人没文化,一句(哔--)行天下. 这位胖友,不知你行走江湖,是否也有过这样的烦恼? 那么这里有个神器,可就值得好好说道说道了. " ...

  3. 程序员抱怨:父母没文化没见识,当初努力学习远离看来是正确的

    不知道从什么时候开始,老家与父母就成了这一代职场人的一种「精神酷刑」,两代人的代沟冲突总会发展成鸡同鸭讲.长辈间的话题,我们不感兴趣.我们所专注的东西对他们来说又过于陌生和遥不可及,最终只剩下沉默,甚 ...

  4. 看完我想说一句卧槽的“单例模式”

    看完我想说一句卧槽的"单例模式" 单例模式是为了创建唯一个对象 单例模式分为两种 饿汉式 懒汉式 饿汉式 /*** 饿汉式* 特点:* 1.构造器私有* 2.一上来就new一个对象 ...

  5. c语言的考试是操作电脑还是写试卷,C语言考试试卷都是基础的题目,由于本人没学过C语言,求各位帮忙, 爱问知识人...

    都是基础的题目,由于本人没学过C语言,求各位帮忙,通过后再给一次分一.单项选择题(10道小题,共10分) 1.以下程序的输出结果是:main(){int x; for(x=1;x<10;x++) ...

  6. idle点开没反应_翟天临、靳东,一个人越是没文化越是喜欢装

    从当初的诺贝尔数学奖发明者靳东,到现在不知知网的博士翟天临.我们可以看到娱乐圈中,越是没文化的人越是喜欢装.搞得去现在连BBC都在报道翟天临事件了,真是哈哈哈哈-- 越是没文化越是喜欢装学霸https ...

  7. Python处理txt文件:多句分行+行首尾添加字符+for循环--Python新手自练系列

    Python处理txt文件:多句分行+行首尾添加字符+for循环--Python新手自练系列 总体操作提示: 操作流程图: 准备工作 第一步先对luo.txt进行操作 第二步对yes.txt进行操作 ...

  8. 没文化 真可怕!【新汉语字典小程序】来拯救你!

    2019独角兽企业重金招聘Python工程师标准>>> 互联网时代,我们打字越来越多,写字越来越少,提笔忘记这种事常常在发生.没文化真可怕,『新汉语字典』来拯救你! 什么样的工具书称 ...

  9. Java匹马行天下之学编程的起点——高级语言大锅烩

    学编程的起点--高级语言大锅烩 前言: 学知识前总想说点鸡汤,想喝的朋友就看看,不想喝的就直接看干货吧,就当鸡汤是给我自己喝的. 前段时间在网上看了一句话感觉挺触动我的,我做个分享: 如果你觉得你的祖 ...

最新文章

  1. Failed to resolve:com.gtihub (android引入库的时候提示这样的错误)
  2. 贪心:Jump Game 跳跃游戏
  3. Oracle错误 1053: 该服务没有响应启动或控制请求
  4. 实践 | Kylin在滴滴OLAP引擎中的应用
  5. React事件系统研究总结
  6. python声明数组_在Python中如何声明动态数组
  7. python集合类型的操作符_Python 语言学习 第一篇:数据类型(数字,集合,布尔类型,操作符)...
  8. DFS应用——遍历无向图
  9. mysql sphinx 中文搜索_sphinx+mysql+mmseg 实现中文全站搜索 安装配置文档
  10. 谈谈Virtual DOM
  11. elk日志分析系统_ELK 日志分析系统
  12. 从HttpClient3迁移到HttpClient4
  13. Python-飞机大战(二)
  14. Http远程控制App
  15. 使用shiro+aop实现权限控制
  16. 怎样做优化才能提升网站的SEO排名?
  17. vue+高德地图实现多边形范围内标点
  18. 詹姆斯高斯林_詹姆斯·高斯林(James Gosling)关于Oracle与谷歌的竞争–“问题始终是互操作性”
  19. InputStream read()方法详解
  20. windows下批量重命名图像名称bat脚本

热门文章

  1. 腾讯电商mini店铺营销活动策划
  2. 2022年7月学习计划
  3. Eclipse侧边项目栏不见了!
  4. 图普科技:国内最早将人工智能深度学习技术应用于互联网内容审核的企业之一 | 百万人学AI评选
  5. 部署一个合约花费了3.5ETH - GasLimit和GasPrice谨慎设值区间
  6. NCTF2022 Web Writeup
  7. 倍福TwinCAT(贝福Beckhoff)基础教程1.2 TwinCAT安装配置
  8. java判断整数是奇数还是偶数_没那么简单:Java中应该怎样判断一个整数是偶数还是奇数...
  9. MIPS指令集(共31条)
  10. Oracle数据库的点点滴滴