耍耍Prolog语言
Prolog语言
CPJLJ
我承认这个递归我有赌的成分
展开
-
八皇后问题
valid_queen((Row, Col)) :- Range = [1,2,3,4,5,6,7,8], member(Row, Range), member(Col, Range). valid_board([]). valid_board([Head|Tail]) :- valid_board(Head), valid_board(Tail). rows([],[]). ...原创 2020-02-03 15:11:00 · 161 阅读 · 0 评论 -
奈何本人没文化,一句卧槽行天下
解决一个4X4的数独 valid([]). valid([Head|Tail]) :- fd_all_different(Head), valid(Tail). sudoku(Puzzle, Solution) :- Solution = Puzzle, Puzzle = [S11, S12, S13, S14, ...原创 2020-02-03 14:36:04 · 613 阅读 · 0 评论 -
逻辑学的知识全部退给老师了
刚刚上个月初考了逻辑学,用Prolog还是一脸懵, 更何况我还学习了离散数学的知识... Q: 翻转一个列表中的元素次序。 只要证明第二个列表的Tail等于第一个列表的Head就行了吧(十分没有底...) reverse([Head1|Tail1], [Head2|Tail2]) :- Tail2 is Head1. 卧槽!可是...我都不知道Prolog是怎么得出结果的? 无法解...原创 2020-02-03 12:00:03 · 175 阅读 · 0 评论 -
初次适用prolog
# writer(A, B) A是书B的作者 writer('Kenneth', 'C'). writer('Brice A.Tate', 'Seven'). writer('Harold Abelson Gerald', 'SICP'). writer('BobDay', 'a'). writer('BobDay', 'b'). # musician(A, B). A会弹奏B musician...原创 2020-02-02 14:52:18 · 259 阅读 · 0 评论 -
魔...魔法?
美国5个州的拼色问题原创 2020-02-02 11:41:42 · 189 阅读 · 0 评论 -
Prolog基本知识
和SQL一样,Prolog基于数据库,但是其数据有逻辑规则和关系组成。 在Prolog中,数据以逻辑规则的形式存在,下面是基本构造单元。 事实。事实是关于真实世界的基本语言。(Babe是一头猪,猪喜欢泥巴。) 规则。规则是关于真实世界中一些事实的推论。(如果一个动物是猪,那么它喜欢泥巴。) 查询。查询是关于真实世界的一个问题。(Babe喜欢泥巴吗?) 事实和规则被放入一个知识库(knowled...原创 2020-02-02 10:09:55 · 1027 阅读 · 0 评论