scheme逻辑程序设计？

blossom007cn 2008-09-18 03:01:01

谁在scheme中用过逻辑式风格的编程，有没有相关的函数库?

多谢。

...全文

92 3 打赏收藏转发到动态举报

写回复

3 条回复

切换为时间正序

请发表友善的回复…

发表回复

pass12 2009-04-21

打赏
举报

回复

很早有一个lisp解几何题的书，就是推理、证明之类的

Lu_ming 2008-12-28

打赏
举报

回复

sicp上有怎么实现一个简单的prolog

wlamos 2008-09-18

打赏
举报

回复

逻辑式风格是指？类似prolog？

一种声明性逻辑程序设计系统，其中的第一级关系嵌入到Scheme的纯函数子集中。该系统具有真正的并集，公平的调度，词汇范围的逻辑变量，集合理论的语义，无需削减的高性能

不过Scheme确实是抽象程度比价高的语言,习惯了C++/Java等逻辑程序设计语言，一下子用函数式程序设计语言的角度看问题还真有点反应迟钝。逻辑程序设计语言里数据结构定义丰富自由，可以定义很直观易于理解的数据结构...

JavaScript在1995年由Netscape公司的Brendan Eich，在网景导航者浏览器上首次设计实现而成。因为Netscape与Sun合作，Netscape管理层希望它外观看起来像Java，因此取名为JavaScript。但实际上它的语法风格与Self及...

高级程序设计语言有：Fortran、Pascal、Cobol、C、C++、Basic、Ada、Java、C#、Lisp、Haskell、ML、Scheme、Prolog、Smalltalk等等。相关推荐：《编程教学》高级程序设计语言，亦称“算法语言”，简称“高级语言”，...

学习C++的时候我们都知道C++是面向对象的程序设计，而C语言是面向过程的程序设计语言，这这一篇文章将会去介绍面向过程程序设计和面向对象程序设计的区别和C++语言的基础输入输出以及string的使用面向对象程序设计...

其他开发语言

3,423

社区成员

15,635

社区内容

发帖

与我相关

我的任务

社区管理员

加入社区

近7日
近30日
至今

加载中

查看更多榜单

社区公告

暂无公告

试试用AI创作助手写篇文章吧

+ 用AI写文章