python 示例分享---逻辑推理编程解决八皇后
可以和Haskell，Prolog一样做到模式匹配，
建立逻辑推到规则，描述问题，得出答案。
frompyDatalogimportpyDatalog
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)))
热门推荐
10 外婆祝福语短句唯美简短
11 回国了祝福语简短英语
12 手写母亲的祝福语简短
13 爸爸爱你祝福语大全简短
14 中秋祝福语送朋友简短
15 相恋人回去祝福语简短
16 高温祝福语短语大全简短
17 对疫情的简短祝福语
18 同事男生节祝福语简短