当前位置:首页 > 开发 > 研发管理 > 正文

clojure逻辑编程框架——core.logic入门

发表于: 2014-03-10   作者:Aaron5   来源:转载   浏览:
摘要: core.logic是miniKanren的一个实现。miniKanren中一个重要的概念就是goal,根据goal来推测可能的结果,这就是它的核心概念。 一、Core.logic的基本语法: (run* [logic-variable] logic-expressions) ;;或者 (run 1 [logic-variable] logic-expre
core.logic是miniKanren的一个实现。miniKanren中一个重要的概念就是goal,根据goal来推测可能的结果,这就是它的核心概念。

一、Core.logic的基本语法:

 
(run* [logic-variable]
   logic-expressions)
;;或者
(run 1 [logic-variable]
   logic-expressions)



二、三个核心操作符号:fresh, ==, conde。
其实用几段最简单的代码就可以明白。

user=>(run* [q] (fresh [a b ] (== a 1) (== b 2) (== q [a b])))
([1 2])
user=>(run* [q] (fresh [a b] (conde [(== 1 a)] [(== 2 b)]) (== q a) (== q b)))
(1 2)



其中fresh就相当于let,定义局部变量。==就是逻辑相等。conde和cond有点像,用一段伪代码表示就是

(run* [q]
   (OR
     [goal1 AND goal2 AND ...]
     ...))


三、来几个高级的goal:conso,resto,membero。其中结尾带o,a,u,e就是一种命名规范而已,为了和clojure自带的cons,rest,member区分开来。
user=> (run* [q] (membero q [1 2 3]))
(1 2 3)
user=> (run* [q] (resto q [1 2 3]))
((_0 1 2 3))
user=> (run* [q] (conso 1 [2 3] q))
((1 2 3))

clojure逻辑编程框架——core.logic入门

  • 0

    开心

    开心

  • 0

    板砖

    板砖

  • 0

    感动

    感动

  • 0

    有用

    有用

  • 0

    疑问

    疑问

  • 0

    难过

    难过

  • 0

    无聊

    无聊

  • 0

    震惊

    震惊

版权所有 IT知识库 CopyRight © 2009-2015 IT知识库 IT610.com , All Rights Reserved. 京ICP备09083238号