2015年9月23日
The Art of Prolog:Advanced Programming Techniques【译文】
摘要： 申明：此文为译文，仅供学习交流试用，请勿用作商业用途，造成一切后果本人概不负责，转载请说明。本人英语功力尚浅，翻译大多借助于翻译工具，如有失误，欢迎指正。 逻辑程序简介 逻辑程序是一组公理或规则，定义对象之间的关系。逻辑程序的计算是扣除该计划的后果的。一个程序定义了一组后果，这就是它的意义。逻辑... 阅读全文
posted @ 2015-09-23 16:09 二本二 阅读(805) 评论(3) 推荐(0) 编辑