今天偶然发现了用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啊 多学习,多学习。
今天偶然发现了用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啊 多学习,多学习。