Logic Programming in Scheme

简介:
在这本小书中回答的问题: 什么是逻辑编程?为什么否定在逻辑编程中很难?什么是切割?如何解决逻辑难题?逻辑编程是如何实现的?
什么是逻辑编程?什么是目标和查询?为什么否定在逻辑编程中很难?什么是切割?如何解决逻辑难题?逻辑编程是如何实现的?
英文简介:
Questions answered in this little book: What is logic programming? Why is negation hard in logic programming? What is cutting? How do I solve logic puzzles? How is logic programming implemented?
What is logic programming?What are goals and queries?Why is negation hard in logic programming?What is cutting?How do I solve logic puzzles?How is logic programming implemented?
- 书名
- Logic Programming in Scheme
- 译名
- Scheme 中的逻辑编程
- 语言
- 英语
- 年份
- 2012
- 页数
- 41页
- 大小
- 152.14 kB
- 标签
- Scheme
- 下载
Logic Programming in Scheme.pdf
- 密码
- 65536
最后更新:2025-04-12 23:57:46