clog:Clojure 逻辑编程-源码

Clojure

阻塞 Clojure 的基于延续的逻辑编程库。用法例子： ( require '[clog.core :refer :all ]) ( defn append [xs ys zs] ( match [xs zs] [() ys] succeed [( lcons x xs') ( lcons x zs')] ( append xs' ys zs'))) ( run ( fresh [x y] ( append x y [ 1 2 3 4 5 ]) ( return [x y]))) ; => ([() [1 2 3 4 5]] [(1) [2 3 4 5]] [(1 2) [3 4 5]] [(1 2 3) [4 5]] [(1 2 3 4) [5]] [(1 2 3 4 5) []]) 执照版权所有 :copyright: 2014 吉田三四郎。在 Ecl

文件下载

资源详情

[{"title":"（ 6 个子文件 4KB ） clog:Clojure 逻辑编程-源码","children":[{"title":"clog-master","children":[{"title":"src","children":[{"title":"clog","children":[{"title":"core.clj 3.65KB ","children":null,"spread":false}],"spread":true}],"spread":true},{"title":".travis.yml 18B ","children":null,"spread":false},{"title":"test","children":[{"title":"clog","children":[{"title":"test.clj 846B ","children":null,"spread":false}],"spread":true}],"spread":true},{"title":"README.md 737B ","children":null,"spread":false},{"title":"project.clj 302B ","children":null,"spread":false},{"title":".gitignore 87B ","children":null,"spread":false}],"spread":true}],"spread":true}]

评论信息

其他资源

免责申明

【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论【只为小站】经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见版权及免责申明

clog:Clojure 逻辑编程-源码

文件下载

资源详情

评论信息

其他资源

免责申明

个人信息

相关资源标签

热门下载

最新下载