程序员经验分享-hwhale

Haskell 与 Prolog 的比较 [关闭]

2024-01-07

Prolog 比 Haskell 能更好地解决哪些问题？这两种语言之间的主要区别是什么？

Edit

是否有一个可以模仿 Prolog 功能的 Haskell 库（一种逻辑求解器）？


关于逻辑库问题：如果它不存在，应该可以通过多种方式构建一个。这理性的阴谋家将逻辑推理能力构建到Scheme中。第33-34章PLAI讨论 Prolog 和实现 Prolog。这些作者正在Scheme 和Prolog 之间搭建桥梁。的创造者PLT方案 http://www.plt-scheme.org/作为他们的语言之一建立了懒惰方案 http://docs.plt-scheme.org/lazy/index.html在 Haskell 的惰性求值特性之后。奥列格·基谢廖夫LogicT https://web.archive.org/web/20141005145655/http://okmij.org/ftp/Computation/monads.htmlpaper 一如既往地出色——他突破了多种语言的可能性界限。还有一个逻辑编程示例 http://www.haskell.org/haskellwiki/Logic_programming_example在 Haskell Wiki 上。

  • 理性的阴谋家 https://rads.stackoverflow.com/amzn/click/com/0262562146作者：丹尼尔·P·弗里德曼、威廉·E·伯德和奥列格·基谢廖夫
  • 编程语言：应用程序和解释 http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/作者：施里拉姆·克里希那穆提
  • LogicT - 具有公平操作和修剪的回溯单子变压器 https://web.archive.org/web/20141005145655/http://okmij.org/ftp/Computation/monads.html
  • Haskell Wiki 上的逻辑编程 http://www.haskell.org/haskellwiki/Logic_programming_example
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)

Haskell

Prolog

Haskell 与 Prolog 的比较 [关闭] 的相关文章

  • 谓词对于列表中的所有元素都必须为 true

    我有一组事实 likes john mary likes mary robert likes robert kate likes alan george likes alan mary likes george mary likes har

  • 如何更换HXT中的节点？

    给定一个示例 xml 文件

  • 我是否需要采取明确的操作来促进与持久数据结构的共享？

    我来自命令式背景 正在尝试实现一个简单的不相交集 并集查找 数据结构 以获得在 Haskell 中创建和修改 持久 数据结构的一些练习 目标是有一个简单的实现 但我也关心效率 我的问题与此相关 首先 我创建了一个按等级并集的不相交集森林实现

  • Haskell 项目可以使用 cmake 吗？

    我正在计划一个用 Haskell 编写的项目 也许也有一些部分是用 C 编写的 对于构建系统 我决定不选择 Haskell 程序 cabal 的常见选择 主要是因为我想了解其他语言的构建程序是如何工作的 我听说过 CMake 我认为这是一个

  • 使用带有两个列表而不是一个列表的地图。可以筑巢吗？

    我需要多次运行一个带有两个参数的函数 我有两个包含这些参数的列表 我希望能够使用map或类似的东西用相应的参数调用函数 我要调用的函数具有以下类型 runParseTest String gt String gt IO 列表的创建方式如下

  • 从终端查询不会打印任何内容

    当在命令行中运行时 这 swipl g write 42 t halt 打印 42 到STDOUT正如预期的那样 然而 这 swipl g X 42 t halt 不打印任何内容 它只是返回 我如何让它打印在 REPL 中打印的内容 即X

  • 函数式语言中的部分求值和函数内联有什么区别？

    我知道 函数内联就是用函数定义代替函数调用 部分评估是在编译时评估程序的已知 静态 部分 在 C 等命令式语言中 两者之间存在区别 其中运算符与函数不同 但是 在像 Haskell 这样的函数式语言 其中运算符也是函数 中 两者之间有什么区

  • 查找相邻成员

    我必须找出列表中的两个成员是否相邻 限制是使用append 3谓词 到目前为止 我已经完成了下面的操作 如果它是真的 它就有效 否则我得不到答案 就像它永远运行一样 adjacent X Y L append L1 X Y T1 appen

  • 在 ghci 下执行 `(read "[Red]") :: [Color]` 时会发生什么？

    我正在阅读以下小节现实世界 Haskell 第 6 章 类型类 http book realworldhaskell org read using typeclasses html关于一个实例Read for Color 它实现了reads

  • Haskell 点运算符

    我尝试在 Haskell 中开发一个简单的平均函数 这似乎有效 lst 1 3 x fromIntegral sum lst y fromIntegral length lst z x y 但是为什么下面的版本不行呢 lst 1 3 x f

  • 为什么 mod 在表达式中给出的结果与在函数调用中给出的结果不同？

    假设有人想要计算函数 f x y x mod 3 y mod 3 mod 2 那么 如果再展开f 1 0 手动 可以得到 1 mod 3 0 mod 3 mod 2 1 然而 如果使用内联函数 结果是 let f x y x mod 3 y

  • 如何让 do 块提前返回？

    我正在尝试使用 Haskell 抓取网页并将结果编译到一个对象中 如果出于某种原因 我无法从页面获取所有项目 我想停止尝试处理页面并提前返回 例如 scrapePage String gt IO scrapePage url do doc

  • 管道 - 将多个来源/生产者合并为一个

    我正在使用读取文件sourceFile 但我还需要在处理操作中引入随机性 我认为最好的方法是拥有一个这样的制片人 Producer m StdGen ByteString 其中 StdGen 用于生成随机数 我打算让生产者执行 source

  • 为什么我不能声明推断类型？

    我有以下内容 runcount Eq a Num b gt a gt b runcount runcountacc 0 runcountacc Eq a Num b gt b gt a gt b runcountacc n runcount

  • 使用 Parsec 解析正则表达式

    我正在尝试通过实现一个小型正则表达式解析器来学习秒差距 在 BNF 中 我的语法类似于 EXP EXP LIT EXP LIT 我尝试在 Haskell 中实现这一点 expr try star lt gt try litE lt gt l

  • 这是 unsafeCoerce 的安全使用吗？

    我遇到的情况是 我目前正在使用极其可怕的函数 unsafeCoerce 幸运的是 这并不是为了任何重要的事情 但我想知道这是否是该函数的安全使用 或者是否有其他方法可以解决其他人知道的这个特定问题 我的代码类似于以下内容 data Toke

  • 优化 Haskell 内循环

    仍在 Haskell 中进行 SHA1 实现 我现在已经有了一个有效的实现 这是内部循环 iterateBlock Int gt Word32 gt Word32 gt Word32 gt Word32 gt Word32 gt Word3

  • Prolog中计算数字是否为素数

    我正在尝试计算输入是否是素数 但出了问题 这是我的代码 primeNumber X prime prime A 1 prime prime A B R is A mod B R 1 R A prime prime X B B lt A Ne

  • 在 Archlinux 上使用 Vim 作为 Haskell 的 IDE 目前情况如何？

    如果可行的话 我的目标是通过 YouCompleteMe 在 Vim 中完成 Haskell 的命令 在这方面 正如您在下面看到的 我还没有找到关于如何让它发挥作用的共识 相关评论的最新评论YouCompleteMe 上的问题 https

  • 如何使用类型系统编码和强制执行合法的 FSM 状态转换？

    假设我有一个类型Thing拥有国有财产A B C 合法的状态转换是A gt B A gt C C gt A 我可以写 transitionToA Thing gt Maybe Thing 这会返回Nothing if Thing处于无法转换

随机推荐

热门标签