摘要: http://www.learnprolognow.org/lpnpage.php?pagetype=html&pageid=lpn-htmlch3 本章有两个主要目标: 1. 在Prolog中引入递归定义。 2. 为了表明Prolog程序的声明性含义与其过程性含义之间可能存在不匹配。 3.1 递归 阅读全文
posted @ 2021-02-26 10:15 feifanren 阅读(46) 评论(0) 推荐(0) 编辑