小坎伦

miniKanren是一种用于逻辑编程的嵌入式领域专用语言。miniKanren已经用越来越多的宿主语言实现,包括Scheme、Racket、Clojure、Haskell、Python、JavaScript、Scala、Ruby、OCaml和PHP等许多其他语言。miniKanren设计为易于修改和扩展;扩展包括约束逻辑编程、概率逻辑编程、标称逻辑编程和表列。