2017-09-18 | 研究与探索 | UNLOCK

prolog真是博大精深啊

今天偶然发现了用prolog解决的一个逻辑问题-豆瓣(2013年的老帖),便不自量力想帮他实现谓词me/2。 奋斗数十分钟,始终不能让me/2做到“枚举”,即me([a,b,c],[a,b,c,d,e]).会返回yes,但me(W,[a,b,c,d,e]).不会计算W,只会显示no……

上网搜索,发现了prolog表处理谓词_百度文库,方知库中早有sublist/2实现此功能,还给出了实现方法……果然我还是too young too simple啊 多学习,多学习。