python 示例分享---逻辑推理编程解决八皇后
程序员文章站
2022-05-01 21:46:14
...
可以和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 ) 1 ) & ( N1 == N - 1 ) queens( 1, X ) 2 ) & ( N1 == N - 1 ) next_queen( 2, X )声明：本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系admin@php.cn核实处理。
相关文章
相关视频