迷你卡伦

MiNKANEN是一种嵌入式领域特定语言的逻辑编程。MiNKANEN已经在越来越多的宿主语言中实现,包括许多其他语言中的方案、球拍、Culjule、Haskell、Python、JavaScript、Scala、Ruby、OcAML和PHP。MICKANNEN被设计为易于修改和扩展;扩展包括约束逻辑编程、概率逻辑编程、标称逻辑编程和列表。