Logic Programming in Scheme

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
  • 下载
    pdf iconLogic Programming in Scheme.pdf
    密码
    65536

    最后更新:2025-04-12 23:57:46

    ←Mathematical Aspects of Logic Programming Semantics

    →Mathematics for Computer Science (2017)