Visual Prolog编程、环境及接口 作者: 雷英杰 出版社:国防工业出版社 出版日期:2004/1/1
互逆主义逻辑与Super-Prolog语言 作者: 周训伟 出版社:中国科学技术出版社 出版日期:2002/10/1
Visual Prolog语言教程 作者: 雷英杰等编著 出版社:陕西科学技术出版社 出版日期:2002/1/1
Logic for Applications (应用逻辑)
Anil Nerode 和 Richard A.Shore 合著 《OHM大学理工系列·人工智能》日本大学的教材 其中也有Prolog的介绍 (还顺带介绍了LISP——表处理编程)
已经有一段时间没有分享阿里云服务商的促销活动,主要原因在于他们以前的促销都仅限新用户,而且我们大部分人都已经有过账户基本上促销活动和我们无缘。即便老用户可选新产品购买,也是比较配置较高的,所以就懒得分享。这不看到有阿里云金秋活动,有不错的促销活动可以允许产品新购。即便我们是老用户,但是比如你没有购买过他们轻量服务器,也是可以享受优惠活动的。这次轻量服务器在金秋活动中力度折扣比较大,2G5M配置年付...
Hosteons,一家海外主机商成立于2018年,在之前还没有介绍和接触这个主机商,今天是有在LEB上看到有官方发送的活动主要是针对LEB的用户提供的洛杉矶、达拉斯和纽约三个机房的方案,最低年付21美元,其特点主要在于可以从1G带宽升级至10G,而且是免费的,是不是很吸引人?本来这次活动是仅仅在LEB留言提交账单ID才可以,这个感觉有点麻烦。不过看到老龚同学有拿到识别优惠码,于是就一并来分享给有需...
成立于2006年的荷兰Access2.IT Group B.V.(可查:VAT: NL853006404B01,CoC: 58365400) 一直运作着主机周边的业务,当前正在对荷兰的高性能AMD平台的VPS进行5折优惠,所有VPS直接砍一半。自有AS208258,vps母鸡配置为Supermicro 1024US-TRT 1U,2*AMD Epyc 7452(64核128线程),16条32G D...