BobDay的博客

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([],[])....

解决一个4X4的数独valid([]).valid([Head|Tail]) :- fd_all_different(Head), valid(Tail).sudoku(Puzzle, Solution) :- Solution = Puzzle, Puzzle = [S11, S12, S13, S14, ...

刚刚上个月初考了逻辑学，用Prolog还是一脸懵，更何况我还学习了离散数学的知识...Q: 翻转一个列表中的元素次序。只要证明第二个列表的Tail等于第一个列表的Head就行了吧（十分没有底...）reverse([Head1|Tail1], [Head2|Tail2]) :- Tail2 is Head1. 卧槽！可是...我都不知道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会弹奏Bmusician...

美国5个州的拼色问题

和SQL一样，Prolog基于数据库，但是其数据有逻辑规则和关系组成。在Prolog中，数据以逻辑规则的形式存在，下面是基本构造单元。事实。事实是关于真实世界的基本语言。（Babe是一头猪，猪喜欢泥巴。）规则。规则是关于真实世界中一些事实的推论。（如果一个动物是猪，那么它喜欢泥巴。）查询。查询是关于真实世界的一个问题。（Babe喜欢泥巴吗？）事实和规则被放入一个知识库（knowled...