文件名称：ruby_ukanren:microKanren 到 Ruby 的移植
文件大小：13KB
文件格式：ZIP
更新时间：2024-07-19 06:00:18
Ruby
Ruby 中的微看人 是一种极简的关系（逻辑）编程语言。 这个项目是 microKanren 到 Ruby 的一个端口。 它是为编写的几乎精确翻译。 安装 将此行添加到应用程序的 Gemfile 中： gem 'micro_kanren' 然后执行： $ bundle 或者自己安装： $ gem install micro_kanren 用法 以下示例演示了如何从控制台使用微看人： > require 'micro_kanren' > include MicroKanren :: Core > include MicroKanren :: MiniKanrenWrappers > res = call_fresh ( -> ( q ) { eq ( q , 5 ) } ) . call ( empty_state ) > res . to_s ( ( ( ( [ 0 ] .
【文件预览】：
ruby_ukanren-master
----LICENSE.txt(1KB)
----lib()
--------micro_kanren()
--------micro_kanren.rb(186B)
----Gemfile(97B)
----spec()
--------micro_kanren()
--------test_programs.rb(2KB)
--------spec_helper.rb(201B)
--------test_support.rb(159B)
----Rakefile(174B)
----.travis.yml(44B)
----README.md(3KB)
----.gitignore(154B)
----micro_kanren.gemspec(974B)