关于computational logic，和declarative programming的理解，涉及的领域的介绍求教大神
Computation Expressions (F#) 就是他们的应用的例子吧，不过他们作为学科，肯定会多出很多奇怪的知识的，包括证明部分。
■网友
谢邀我的印象是和逻辑编程、机器验证、机器证明、程序语言理论相关的领域。不算多冷门的方向去玩一下Prolog和Coq大概就有点知道怎么回事了
■网友
我提供个链接，题主先自行翻阅一下。Jürgen Giesl\u0026#39;s Home Page
推荐阅读
- 过节■江苏省委省政府办公厅下发关于做好2021年元旦春节期间有关工作的通知
- |徐州市出台《关于优化创新创业生态系统 提升区域科技创新活力的实施意见》及实施细则
- 雨下|全球关于禁售燃油车只是理论上可行吗
- 关于用phpfsocket 写Post， 模拟http 报文怎样写入要传输的处理数据
- 智叔|很多家长还在整箱买：谈谈关于牛奶的17个真相警惕这些列入黑名单的“假牛奶”
- 关于微信小程序的思考：运营者该何去何从
- 关于人工智能虚拟人的一些问题
- 知乎上关于人生经验的介绍是否可能对青少年造成潜在危害
- 写下我关于做数据分析专员的困惑和各位的建议是
- 非物质文化遗产|市北文体中心一场关于“非遗”的盛会…