【文件属性】:
文件名称:logic:F#的逻辑编程库
文件大小:7KB
文件格式:ZIP
更新时间:2021-06-14 17:15:42
F#
逻辑
基于和F# 逻辑编程库。 它旨在提供惯用的 F# 编程风格,并且类似于 miniKanren 的方案版本。
例子
Scheme-miniKanren中的peano函数
( define peano
( lambda ( n )
(conde
((== 'z n))
((fresh (n-)
(== `(s. ,n-) n)
(peano n-))))))
(run 3 (q) (peano q)) ; ; '(z (s. z) (s. (s. z)))
F# 版本非常相似
let rec peano n =
logic {
do ! conde [ Str " z " == n ;
logic {
【文件预览】:
logic-master
----.gitattributes(2KB)
----src()
--------logic.sln(977B)
--------logic.core()
----README.md(1KB)
----.gitignore(3KB)