看swi-prolog的源码,脑袋发麻

55 views
Skip to first unread message

error right

unread,
Nov 12, 2011, 2:56:14 PM11/12/11
to pongba
最近学习了下简单的prolog的语法,于是想看看prolog的代码。
感觉缺少了太多的知识,有点不知道从哪里入手了。
看了一个 history of prolog ,也不知所云。不过感觉www.cis.upenn.edu/~jean/gbooks 这里的东西似乎有点用,
感觉我可以从这里开始。还请zhang3 ,或哪位大牛指点一下。

zhang3

unread,
Nov 12, 2011, 8:54:30 PM11/12/11
to pon...@googlegroups.com
是看实现prolog的代码啊,还是prolog程序?

这里虽然人少,不过还是有点用:
http://www.douban.com/group/prolog/

我一向推荐这个中文教材:
http://www.douban.com/group/topic/14359116/

error right

unread,
Nov 12, 2011, 9:55:28 PM11/12/11
to pon...@googlegroups.com

目的是想看实现prolog的代码。不过prolog 代码,本身也在了解。
想从prolog的实现中,找到一点自己可以用的东西。
2011/11/13 zhang3 <open...@gmail.com>

error right

unread,
Nov 12, 2011, 10:01:57 PM11/12/11
to pon...@googlegroups.com

prolog 元编程能力 这点也没什么概念。 我想要了解下元编程 背后的理论基础,这方面有否推荐?
2011/11/13 error right <error...@gmail.com>

zhang3

unread,
Nov 12, 2011, 10:14:24 PM11/12/11
to pon...@googlegroups.com
讲元编程的我看过这本:
Prolog programming in depth.pdf

iask上有下载。

讲erlang实现的,joe的博士论文,也有很多prolog的元编程技巧。

yinfei yang

unread,
Nov 13, 2011, 12:10:15 AM11/13/11
to pon...@googlegroups.com
我老板以前推荐过一本 the art of prolog, 我觉得也不错, 可以考虑下。 

Best regards!

Yang Yin-Fei 
Saint Joseph's University
5600 City Avenue, Philadelphia PA



2011/11/12 zhang3 <open...@gmail.com>
Reply all
Reply to author
Forward
0 new messages