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——表处理编程)
HostKvm也发布了开年促销方案,针对香港国际和美国洛杉矶两个机房的VPS主机提供7折优惠码,其他机房业务提供8折优惠码。商家成立于2013年,提供基于KVM架构的VPS主机,可选数据中心包括日本、新加坡、韩国、美国、中国香港等多个地区机房,均为国内直连或优化线路,延迟较低,适合建站或者远程办公等。下面列出几款主机配置信息。美国洛杉矶套餐:美国 US-Plan1CPU:1core内存:2GB硬盘...
wordpress高级企业自适应主题,通用型企业展示平台 + 流行宽屏设计,自适应PC+移动端屏幕设备,完美企业站功能体验+高效的自定义设置平台。一套完美自适应多终端移动屏幕设备的WordPress高级企业自适应主题, 主题设置模块包括:基本设置、首页设置、社会化网络设置、底部设置、SEO设置; 可以自定义设置网站通用功能模块、相关栏目、在线客服及更多网站功能。点击进入:wordpress高级企业...
georgedatacenter怎么样?georgedatacenter这次其实是两个促销,一是促销一款特价洛杉矶E3-1220 V5独服,性价比其实最高;另外还促销三款特价vps,大家可以根据自己的需要入手。georgedatacenter是一家成立于2019年的美国vps商家,主营美国洛杉矶、芝加哥、达拉斯、新泽西、西雅图机房的VPS、邮件服务器和托管独立服务器业务。georgedatacen...