|
|
发表于 2009-5-17 17:13:29
|
显示全部楼层
Post by 8pm;1988207
是啊,一阶谓词演算
自由变量匹配、尾递归实现循环、自动回搠
很多不一样的概念
曾让我大开眼界的语言
現在还保存有当年买的上海科学普及出版社翻译的《Turbo Prolog 2.0 用户手册》和《Turbo Prolog 2.0 参考手册》,以前没有 WWW,买不起 modem 连 BBS,自学 Prolog 就靠它们了。
可以下sicstus prolog 和 swi prolog的manual
Post by wzl12356;1988152
我想问一下,如何获得linux下面的c和c++库函数头文件的信息?除了qt库以为,还有没有想windows下面的msdn那样的东西?
谢谢!!
不好意思跑题了 还是该答点东西 我现在正在用 c 有问题讨论
楼主 man string 看看
online: http://www.gnu.org/software/libc/manual/ |
|