缚风铃

摘要： 在这里我把书里比较有用的技巧做一下记录吧。 1.4.2中讲了尾递归优化。 比如要求一个列表的长度，第一种代码是这样： len([], 0).len([_|Tail], N):- len(Tail, M), N is M + 1. 它没什么不对，但运行时会生成栈框架塔，占用大量空间。每次往下递归时，自 阅读全文

摘要： SWI-Prolog上用于有限域约束逻辑式编程的p(fd)库的教程。 阅读全文

摘要： 前一阵子，看到了篇有趣的文章：初级教程：像素画水滴下落动画制作步骤，没想到，看似极简的水滴下落，都有这么多的细节。它的动态图如下： 我突发奇想，想通过ncurses库用字符拼出个水滴下落动画。但由于字符的限制，和我技术有限，感觉效果不是很好。代码如下： 其动态效果如下： 阅读全文

摘要： 最近沉迷于《NetHack》、《DCSS》等字符游戏，对其很感兴趣，于是用C语言写了个字符界面的井字棋小游戏。欢迎大家指教。 编写时遇到了一些问题，我原先准备用循环，直到读取到正确的输入。可该死的getchar函数，在读取后，又把回车又传给下次循环，我不得不对其进行处理。 设定井字棋的AI时，有个有 阅读全文

摘要： 对Prolog的一些感想和我写的教程。 阅读全文