文件名称:
用Java编写的miniKanren实现Java8kanren.zip
开发工具:
文件大小: 11kb
下载次数: 0
上传时间: 2019-07-19
详细说明： Java8kanren 是用 Java 编写的 miniKanren 实现。miniKanren 是一类关系型编程语言。miniKanren 可以通过给定的关系表达式和计算结果来反向推导，找出符合条件的输入变量的取值组合。程序员可以通过加入关系表达式对输入变量和计算结果添加约束条件。miniKanren 通过“搜索树”的办法来搜索所有可能的输入变量。如果搜索空间非常大而且符合条件的结果不存在，miniKanren 的搜索有可能永远也不会停止。evalo 是一个用 miniKanren 写的程序，evalo 是以关系表达式为输入和输出的程序。在 miniKanren 中调用 evalo 的方法是：(evalo q q)。evalo 具有自产生程式的功能。Dan Friedman 的 “The Reasoned Schemer” 一书使用 miniKanren 来介绍关系型编程。该书还提供了 miniKanren 在 Scheme 语言上的一个完整实现。该实现的核心代码的长度仅仅只有两页纸。miniKanren 的 Scheme 实现的设计目的是容易理解，修改并扩展。目前，Haskell、Racket、 Ruby、Clojure 以及 Python 中有 miniKanren 的具体实现。其中最典型的实现是 Scheme 的版本。Clojure 语言里的 core.logic 也是受到 miniKanren 启发。 标签：Java8kanren
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
相关搜索:
