daonode

所属分类:NFT
开发工具:CoffeeScript
文件大小:414KB
下载次数:0
上传日期:2015-11-26 08:20:32
上 传 者sh-1993
说明:  函数逻辑求解器和编译器
(functional logic solver and compiler)

文件列表:
.npmignore (32, 2015-11-26)
.travis.yml (102, 2015-11-26)
CONTRIBUTING.md (237, 2015-11-26)
Gruntfile.js (186, 2015-11-26)
LICENSE (1115, 2015-11-26)
demo (0, 2015-11-26)
demo\interpreter (0, 2015-11-26)
demo\interpreter\expression.coffee (1559, 2015-11-26)
demo\interpreter\kleene.coffee (1343, 2015-11-26)
demo\trampoline.coffee (1166, 2015-11-26)
doc (0, 2015-11-26)
doc\docco.css (9410, 2015-11-26)
doc\interpreter (0, 2015-11-26)
doc\interpreter\dao.html (58636, 2015-11-26)
doc\interpreter\general.html (27073, 2015-11-26)
doc\interpreter\lisp.html (22471, 2015-11-26)
doc\interpreter\logic.html (40171, 2015-11-26)
doc\interpreter\parser.html (82680, 2015-11-26)
doc\public (0, 2015-11-26)
doc\public\fonts (0, 2015-11-26)
doc\public\fonts\aller-bold.eot (29804, 2015-11-26)
doc\public\fonts\aller-bold.ttf (66836, 2015-11-26)
doc\public\fonts\aller-bold.woff (33244, 2015-11-26)
doc\public\fonts\aller-light.eot (29509, 2015-11-26)
doc\public\fonts\aller-light.ttf (68620, 2015-11-26)
doc\public\fonts\aller-light.woff (33124, 2015-11-26)
doc\public\fonts\novecento-bold.eot (18190, 2015-11-26)
doc\public\fonts\novecento-bold.ttf (48136, 2015-11-26)
doc\public\fonts\novecento-bold.woff (20576, 2015-11-26)
doc\public\stylesheets (0, 2015-11-26)
doc\public\stylesheets\normalize.css (6874, 2015-11-26)
index.coffee (102, 2015-11-26)
package.json (1060, 2015-11-26)
roadmap.todo (3152, 2015-11-26)
src (0, 2015-11-26)
src\builtins (0, 2015-11-26)
src\builtins\general.coffee (3674, 2015-11-26)
... ...

## daonode Dao is a functional logic solver, unifying code with data, grammar with program, logic with functional, compiling with running. Daonode is a porting, rewriting and upgrading from python to coffeecript(so just javscript) of the dao project. What would happen when lisp meets prolog in javascript? ###what's new in 0.2.0 * now daonode can compile expression(similar to lisp's sexpression) to javascript. * stuffs in /lib is for the compiler * Currently no document is written for the comiler, please refer to the document for the interpreter. * original stuffs for the solver is moved to /lib/interpreter, and they still work. * all tests is moved /test * add .travis.yml and use travis-ci.org for Continuous integration, see https://travis-ci.org/chaosim/daonode. ### Documentation See for documents for daonode. The annotated coffeescript source is in the daonode/doc. See the tests, and you'll get some information about the api and use cases. Some old documents is on http://pythonhosted.org/daot/ (out of date). ### Web sites the project's repository is on github . some old information and related stuff can be reached at pypi distribution and document: http://pypi.python.org/pypi/daot>, http://pythonhosted.org/daot/, dao groups on google: Group name: daot, Group home page: http://groups.google.com/group/daot, Group email address: daot@googlegroups.com google+ pages for news on dao: https://plus.google.com/112050694070234685790 ### Testing daonode uses the nodeunit test framework, see the folder "test" ### Bug reports To report or search for bugs, please goto , or email to simeon.chaos@gmail.com ### Platform notes daonode is developed and tested on Windows 7, node.js 0.10.0, coffeescript 1.6.2. ### License MIT: see LICENSE

近期下载者

相关文件


收藏者