文件名称：logict:基于连续的回溯逻辑编程monad
文件大小：22KB
文件格式：ZIP
更新时间：2024-06-08 15:04:34
backtracking logic-programming monad-transformers logict Haskell
逻辑 为基于逻辑的评估提供支持。 基于逻辑的编程使用一种称为回溯的技术将替代值视为逻辑语句的解决方案，并以诸如和类的语言来举例说明。 基于逻辑的编程用隐式功能代替显式的迭代和排序代码，这些隐式功能在满足明确提供的条件的一组可能值内部“迭代”（通过回溯）。 该软件包使用基于连续性的技术（其改编自Oleg Kiselyov，Chung-chieh Shan，Daniel P.Friedman，Amr Sabry的论文《为Haskell中基于逻辑的编程提供了支持。 本文将先前的研究扩展到使用MonadPlus功能（其中mplus用于指定要考虑的值替代方法，而mzero用于指定缺少任何可接受值的方法）来使用新的MonadLogic定义的一组操作添加对公平性和修剪的支持。班级。 背景 在Prolog逻辑编程的一个典型示例中，有一组事实（表示为无条件语句）： parent ( sarah ,
【文件预览】：
logict-master
----.github()
--------workflows()
----Setup.lhs(77B)
----example()
--------grandparents.hs(804B)
----LICENSE(2KB)
----logict.cabal(2KB)
----test()
--------Test.hs(20KB)
----README.md(5KB)
----Control()
--------Monad()
----changelog.md(449B)