非Prolog逻辑编程

| 是否有任何好的非Prolog或基于Prolog的逻辑编程语言？ 谁拥有或有任何良好的经验？     
2020-05-27 8 条评论
分享

没有找到相关结果

    已邀请:

    搜洼挂时

            我强烈推荐Dan Friedman，Oleg Kiselyov和Will Byrd撰写的《理性计划者》。它介绍了miniKanren，一种在Scheme之上构建的小型（三核运算符）逻辑编程语言。使用起来很有趣，特别是与允许统一模式匹配的
    matche
    宏一起使用时。     
    2020-05-27 0 0
    分享

    卧沫

            答案集编程是一种非常强大的逻辑编程范例。使用clasp / clingo答案集求解器已经取得了很多成功。     
    2020-05-27 0 0
    分享

    坝胺绣敝

            通过答案集编程（基本是逻辑编程）向我介绍了DLV和模型。     
    2020-05-27 0 0
    分享

    括宠

            看一看定理证明助手，例如Coq，HOL和Isabelle。 某些类型的系统（例如，在Agda2中）也可以视为逻辑编程。     
    2020-05-27 0 0
    分享

    磐剩

            您可以签出CLIPS。它的结构类似于Lisp（很多），但它是为构建专家系统而设计的；我还没有看到Prolog解决CLIPS无法解决的问题。像Prolog一样，它基于建立事实，然后对事实进行查询。     
    2020-05-27 0 0
    分享

    甲车劲

            还有用Clojure编写的相当快的miniKanren实现，称为core.logic。 还有一些使用它的教程： https://github.com/clojure/core.logic/wiki/A-Core.logic-Primer https://github.com/frenchy64/Logic-Starter/wiki http://objectcommando.com/blog/2011/11/04/the-magical-island-of-kanren-core-logic-intro-part-1/ http://clojure.com/blog/2011/12/08/lojic-part-two.html     
    2020-05-27 0 0
    分享

    妒垮

            水星和绿野仙踪浮现在脑海。还有Datalog，它是Prolog的受限版本（非图灵完整版本）。     
    2020-05-27 0 0
    分享
    为什么被折叠? 0 个回复被折叠

    要回复问题请先登录或注册

    或代码 OrCode.com 备案号：粤ICP备15020848号-1
    Escape time: 0.046717882156372