https://www.neohope.com Learn and share. Thu, 26 Sep 2024 10:10:45 +0000 en-US hourly 1 https://wordpress.org/?v=6.6.2 https://www.neohope.com/2015/09/24/prolog%e6%b1%82%e8%a7%a3sudoku%ef%bc%88%e4%b8%83%e5%91%a8%e4%b8%83%e8%af%ad%e8%a8%80%e7%89%88%e6%9c%ac%ef%bc%89/ https://www.neohope.com/2015/09/24/prolog%e6%b1%82%e8%a7%a3sudoku%ef%bc%88%e4%b8%83%e5%91%a8%e4%b8%83%e8%af%ad%e8%a8%80%e7%89%88%e6%9c%ac%ef%bc%89/#respond Thu, 24 Sep 2015 10:26:34 +0000 http://www.neohope.com/?p=1628 https://www.neohope.com/2015/09/24/prolog%e6%b1%82%e8%a7%a3sudoku%ef%bc%88%e4%b8%83%e5%91%a8%e4%b8%83%e8%af%ad%e8%a8%80%e7%89%88%e6%9c%ac%ef%bc%89/feed/ 0 https://www.neohope.com/2015/09/24/prolog%e6%b1%82%e8%a7%a3sudoku/ https://www.neohope.com/2015/09/24/prolog%e6%b1%82%e8%a7%a3sudoku/#respond Thu, 24 Sep 2015 09:07:14 +0000 http://www.neohope.com/?p=1626 https://www.neohope.com/2015/09/24/prolog%e6%b1%82%e8%a7%a3sudoku/feed/ 0 https://www.neohope.com/2015/09/20/prolog10116/ https://www.neohope.com/2015/09/20/prolog10116/#respond Sun, 20 Sep 2015 06:54:51 +0000 http://www.neohope.com/?p=1619 https://www.neohope.com/2015/09/20/prolog10116/feed/ 0 https://www.neohope.com/2015/09/20/prolog10115/ https://www.neohope.com/2015/09/20/prolog10115/#respond Sun, 20 Sep 2015 06:40:16 +0000 http://www.neohope.com/?p=1616 ，这种表达形式由Prolog翻译成为普通的差异表形式。 使用DCG，原来的句子谓词将写为： sentence –> nounphrase, verbphrase. 这个句子将被翻译成一般的使用差异表的Prolog子句，但是这里不再用“-”隔开，而是变成了两个参数，上面的这个句子与下面的Prolog子句等价。 sentence(S1, S2):- nounphrase(S1, S3), verbphrase(S3, S2). find nani 的最终版本 我们可以试一下 参考： Adventure In Prolog]]> https://www.neohope.com/2015/09/20/prolog10115/feed/ 0 https://www.neohope.com/2015/09/20/prolog10114/ https://www.neohope.com/2015/09/20/prolog10114/#respond Sat, 19 Sep 2015 22:52:16 +0000 http://www.neohope.com/?p=1614 https://www.neohope.com/2015/09/20/prolog10114/feed/ 0 https://www.neohope.com/2015/09/20/prolog10113/ https://www.neohope.com/2015/09/20/prolog10113/#respond Sat, 19 Sep 2015 16:11:48 +0000 http://www.neohope.com/?p=1612 https://www.neohope.com/2015/09/20/prolog10113/feed/ 0 https://www.neohope.com/2015/09/19/prolog10112/ https://www.neohope.com/2015/09/19/prolog10112/#respond Sat, 19 Sep 2015 15:25:22 +0000 http://www.neohope.com/?p=1610 https://www.neohope.com/2015/09/19/prolog10112/feed/ 0 https://www.neohope.com/2015/09/19/prolog10111/ https://www.neohope.com/2015/09/19/prolog10111/#respond Sat, 19 Sep 2015 11:18:14 +0000 http://www.neohope.com/?p=1606 https://www.neohope.com/2015/09/19/prolog10111/feed/ 0 https://www.neohope.com/2015/09/19/prolog10110/ https://www.neohope.com/2015/09/19/prolog10110/#respond Sat, 19 Sep 2015 10:38:03 +0000 http://www.neohope.com/?p=1603 Continue reading Prolog101(10)→]]> https://www.neohope.com/2015/09/19/prolog10110/feed/ 0 https://www.neohope.com/2015/09/19/prolog10109/ https://www.neohope.com/2015/09/19/prolog10109/#respond Fri, 18 Sep 2015 20:06:20 +0000 http://www.neohope.com/?p=1590 https://www.neohope.com/2015/09/19/prolog10109/feed/ 0