摘要：申明：此文为译文，仅供学习交流试用，请勿用作商业用途，造成一切后果本人概不负责，转载请说明。本人英语功力尚浅，翻译大多借助于翻译工具，如有失误，欢迎指正。 逻辑程序简介 逻辑程序是一组公理或规则，定义对象之间的关系。逻辑程序的计算是扣除该计划的后果的。一个程序定义了一组后果，这就是它的意义。逻辑... 阅读全文

摘要：上个月突然看到Prolog这门语言，它特殊的语法吸引了我，但是经过我一段时间的学习，发现它也不像网络上传说的那样神奇，不过我依然对它很感兴趣，有前辈说Prolog本身并不强大，但是用来作为一门辅助语言解决一些特殊的问题还是很有效的，碰巧我是干C#的，就查了查怎样把Prolog跟C#结合起来，但是... 阅读全文

摘要：申明：这是在看到园子里两个帖子关于两道面试编程题之后个人的一点想法面试题一：大厅里有100盏灯，每盏灯都编了号码，分别为1-100。每盏灯由一个开关来控制。（开关按一下，灯亮，再按一下灯灭。开关的编号与被控制的灯相同。）开始时，灯是全灭的。现在按照以下规则按动开关。第一次，将所有的灯点亮。第二次，将... 阅读全文