文件名称：logic:F#的逻辑编程库
文件大小：7KB
文件格式：ZIP
更新时间：2024-07-04 11:02:22
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)