logic: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 {