2回答
我有以下关于/3命题逻辑的子句。 statement(false).not(true, false).我该如何添加XOR子句呢？
浏览 16提问于2019-02-01得票数 2
回答已采纳
1回答
我对prolog很陌生，我有一些基本问题.我用的是SWI Prolog。这就是我在prolog中要写的：端口由常量(X1，X2，.)表示-类型(X1)= Xor -Type:和，OR，XOR是否终端(X)-返回我不认为我的方法是正确
浏览 1提问于2014-01-18得票数 2
回答已采纳
我正在使用函数语言Prolog学习上下文语法。我正试图解决这个问题，但我在设计语法以识别语言方面遇到了困难。
有人能帮我用Prolog写这个语法吗？
浏览 3提问于2022-09-05得票数 0
回答已采纳
2回答
prolog有编译器，但其他网站则表示，该语言本身就是一种解释语言。我很困惑prolog是否真的是一种解释语言。有人能澄清一下这句话到底是什么吗？编译语言还是解释语言？
浏览 1提问于2016-05-25得票数 8
回答已采纳
3回答
我对prolog很陌生。我已经了解到，尽管prolog是一种声明性语言，但它可以作为一种通用的编程语言，就像C一样。所以，无论你能用C解决什么问题，你也可以用prolog来解决，即使它的运行时间可能不是很好。由于prolog中没有指针(据我所知)，我想知道是否可以用prolog为用C编写的以下代码编写一个等价的程序:-{
int a
浏览 0提问于2013-08-30得票数 1
回答已采纳
Prolog有什么问题？以Erlang为例。它的语法借鉴自Prolog，它最初是用Prolog实现的，这真的很有趣。也就是说，从Erlang人的角度来看，Prolog存在根本性的问题，否则他们会根据自己的需要对Prolog进行调整。
浏览 1提问于2016-02-27得票数 12
1回答
上的Scala 3引用提到了Scala3mataProgramming可能存在的一些“类似Prolog的编程风格”：
什么是“Prolog样的编程风格”以及它是如何工作的？就是像什么Prolog？它在Scala 3中工作吗
浏览 2提问于2022-09-05得票数 7
1回答
Javascript似乎作为其他编程语言的实现语言变得流行起来。这篇文章引起了我的注意。
网上到处都是用Javascript编写的Prolog系统的概念验证原型。用Javascript编写的现行的、积极维护的、最好是符合ISO的Prolog系统是什么？
浏览 3提问于2013-03-15得票数 17
回答已采纳
4回答
我有一个中等大小的遗留ISO prolog应用程序，我想将其迁移到基于JVM的语言。该应用程序是一个命令行工具，它解析文本文件，执行一些评估/转换，然后导出基于文本的文件。然而，Prolog的能力非常低。
我不期望有一种工具可以将prolog源代码转换成其他语言。但我正在尝试理解什么是最简单的解决方案。是用Java从头开始还是用Clojure这样的函数式语言？
浏览 0提问于2014-01-14得票数 3
对于我在大学的一门课程，我需要一个用prolog实现的国际象棋游戏。我的家庭作业是用它来构建/改进游戏的AI。我不想从头开始写整个游戏，我想知道是不是有一个游戏的源代码是用prolog或者其他语言C，C++，C#，Java提供给prolog程序的。
谢谢，科比·梅尔
浏览 2提问于2011-10-23得票数 4
回答已采纳
我当时正在学习PROLOG编程语言，测试一些例子并阅读文档。我开始对PROLOG中的列表做大量的研究。想法是:头和尾。然后，我了解到清单可以用下面的PROLOG来表示：
所以这就是为什么我有点困惑。它是否用于系统或语言(元)
浏览 4提问于2021-05-12得票数 0
回答已采纳
我想解决一个用Prolog实现得分函数的问题。在优化函数是用另一种语言定义的情况下，是否可以从MiniZinc脚本调用Prolog (或另一种语言)？
浏览 21提问于2020-05-06得票数 2
回答已采纳
7回答
有没有人知道集成Prolog和C#的好方法(最好是免费的)？
我想从我的托管代码中创建一个Prolog dll或类似的调用，并在所有处理完成后检索答案。我希望它主要是片面的(c#称为Prolog)。我看过，它谈到了Prolog在现实世界中的用法，但我想知道是否有人有c# &Prolog的经验？或者是一篇很好的教程/文章？
浏览 0提问于2008-10-08得票数 31
5回答
0x530b(x << 2) | z = 0x1787 直接前进的战术在8700K上需要大约2天，这太多了(即使我使用所有我可以访问的PC (R5-3600，i3-2100，i7-8700K，R5-4500U，3xRPi4，RPi0/W)，它也会花费太多时间)。所以我想出了一个非常有趣的解决方案:将方程解析成关于数字位的语句(类似于“XOR的第3位，y的第1位等于1")，所有这些语句都是用Prolog
浏览 91提问于2021-02-07得票数 5
回答已采纳
PyPy的JIT最初是一个Prolog原型：。
Gambit Scheme和Erlang一开始也是用Prolog实现的。有没有其他值得注意的(或不那么值得注意的)项目从Prolog开始，然后用更主流的语言重新实现？
浏览 4提问于2011-05-03得票数 4
回答已采纳
3回答
“is /2”Prolog谓词是如何实现的？我知道相等于但是谓词是否使用命令式编程实现？换句话说，实现是否等同于下面的C代码？if(uninstantiated(x)) X = 3*4;else //signal an error还是使用声明式编程和其他谓词实现？
浏览 4提问于2014-01-08得票数 3
回答已采纳
1回答
我正在尝试用C语言编写一个Prolog的WAM实现。我注意到Prolog数据类型只有四种标记类型: REF、STR、CON和LIS。 执行堆中的每个单元都包含令牌的类型及其在堆中的位置。 在纯prolog实现中是否有符号表？我的解析器是创建一个符号表还是构造一个堆？WAM教程实现没有提到任何这些。
浏览 26提问于2020-10-03得票数 0
回答已采纳
17回答
尽管我只做了两个半月的编程，但我发现Haskell的语义和语法比更传统的命令式语言更容易学习，并且(现在)对它的大部分构造感到很舒服。
然而，在Haskell中编程就像巫术一样，我想扩展我的编程知识。我在Haskell中使用迭代构造，但以递归方式实现它们。这些评论非常有用，因为我不打算用Caml编写Haskell！在证明助手中，Coq和Agda看起来都很有趣。特别是，Coq将提供对构造逻辑和形式化类型理论的坚实介绍。3)第三，Prolog。Prolog
浏览 104提问于2010-09-22得票数 85
回答已采纳
最近，我花了一些时间和一个专门用Prolog编程了20年的人在一起。我们谈到了他在2019年使用的新的Prolog技巧，这些技巧在2000年并不广为人知。例如，他一直致力于基于语法的模糊测试生成……这听起来像是Prolog的自然应用程序。Q1:是什么让他们继续使用这种语言？Q3:有没有人对新一代Pr
浏览 1提问于2019-11-17得票数 1
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
云直播
对象存储活动推荐
腾讯云开发者
