89年买了一本书是武汉大学康弘雷(记不清楚了原名)教授翻译的一本书《这本书叫什么?》,上面有很多逻辑谜题,我又利用空闲时间使用Prolog求解了书中所有的逻辑谜题,后来想写一本书当时定的书名:《prolog求解逻辑谜题》,由于各种原因(主要是出版费)至今没有完成这个意愿,现在有钱了。但prolog已经忘得差不多了,主要是新的visual prolog开发环境的熟悉,另外visual prolog已经演变成流行的面相对象了,不过如果掌握基本的谓词演算方法还是可以很快掌握的。
几天前看到了还有人在关心Prolog,感到很欣慰,另外lisp也是很好玩的,这些独特的程序设计语言还是很有意思的,我也用他们解决了些实际问题,主要是在AutoCAD中,虽然现在我在开发中使用的是c/c++、vb.net和c#。
20年前的1988年我就开始使用Tubo Prolog了
来源:互联网 发布日期:2011-09-29 15:13:09 浏览:10843次
导读:解决 事农夫 羊 狼和草果和问题...
相关热词: 20年前 1988年我就开始使用Tubo Prolog了 专
相关内容
AiLab云推荐
最新资讯
- 机器人实现全自动显微注射 将提高大规模遗传学实验能力
- 星尘智能发布AI机器人,可以叠衣、炒菜、叠杯,预计今年商业化
- 全球首台商用协作机器人制造商:拒绝价格战,大力引入人工智能
- 马斯克:可能在明年年底前出售特斯拉人形机器人 Optimus
- 苹果中国工厂回收机器人首次露面,规避了哪些电子回收弊端?
- 特斯拉或将在2025年底前销售人形机器人Optimus,机器人100ETF(159530)一度涨超1%
- 马斯克:“擎天柱”机器人仍在试验阶段 最早明年年底上市
- 马斯克称最快明年底前开卖人形机器人Optimus!网友:真能那么快吗?
- 外媒:马斯克透露,“擎天柱”机器人仍在试验阶段,最早明年年底上市
- 投资300亿!机器人产业爆发:几大趋势
本月热点
- 人形机器人崛起:OpenAI、微软洽谈投资Figure AI,望募资5亿美元
- OpenAI 悄悄升级 ChatGPT:可在对话中调用不同的自定义聊天机器人 | 懂点AI
- Limbic开发AI心理咨询机器人,帮用户避免与人类交流可能引发的焦虑感
- 麒麟信安入股超能机器人 或尝试打开新业绩增长点?公司最新回应来了
- 灿瑞科技:已有产品应用于消费级机器人领域
- 英伟达官宣AI聊天机器人,本地RTX显卡运行,这是要挑战OpenAI?
- 人形机器人企业暂时得救了
- Meta联合研发家务机器人,能在零人力帮助下自主整理房间
- 端到端纯视觉!OpenAI押注的人形机器人献艺拜年了
- 波士顿动力 Atlas 机器人能力升级,可灵活搬运汽车零件
热门排行
-
斯坦福家政机器人火了但又翻车了!多数是真人操控编排的
阅读量:167404
-
斯坦福团队发布新机器人Mobile Aloha,人形机器人将迎来产业元年?
阅读量:165704
-
我的同事是 GPT-4 机器人,我们在 Slack 上一起工作
阅读量:162431
-
谷歌起草“机器人宪法”,以确保 AI 机器人不会伤害人类
阅读量:160333
-
人形机器人崛起:OpenAI、微软洽谈投资Figure AI,望募资5亿美元
阅读量:104310
-
大疆回应停售青少年教育产品:将资源聚焦在大学生高校机器人赛事
阅读量:68788