performance - 如何测试 Prolog 程序的性能？

In lại Tác giả: Walker 123 更新时间：2023-11-28 19:55:09 32 4

?- time(your_goal).

?- profile(your_goal).

32 4 0

• prolog - Prolog 中的失败否定和逻辑单调性？

  我正在学习序言。 在我看来，prolog 的规则(关系和简单的事实)是“肯定的”——他们说的是或可能是真的。 向 prolog 程序添加新的此类规则只会增加“正面”知识。它不能添加“负面”事实来说明某

• prolog - Prolog 代码对列表中的元素求和时出现问题

  希望你一切都好。我是 prolog 的新手，我在编写代码时遇到问题。这段代码的目的很简单。它将列表中的每个元素添加到最后一个。我可以用 Java 做的事情是: static void add(

• prolog - Prolog 真的基于封闭世界假设吗？

  在closed-world assumption下, what is not currently known to be true, is false Prolog 的语义通常被称为遵循封闭世界假设，

• prolog - Prolog 事实中的存在量化

  我正在 Prolog (swi-prolog) 中做我的第一步，但无法解决以下问题:如何将存在量化的规则包含在我的事实中；具体来说，我如何包含句子“每个人都是某人的 friend ”\forall x

• prolog - Prolog 中二进制搜索树的范围查询

  我知道如何以过程方式(即，在 C++、Java 等中)对 BST 执行范围查询，但我发现很难转换为 Prolog 语言。 程序的方式应该是这样的: http://www.geeksforgeeks.o

• prolog - Prolog 最佳实践的引用？

  Prolog 中是否有(相对)当前最佳实践的引用资料？一本适合没有学习过逻辑编程或“Prolog 的工艺”等高级文本的商业 Prolog 开发人员？ 有很多通用教程，但我能找到的关于最佳实践的唯一一个

• prolog - 检查字符串是否包含在语言中(Prolog)

  这是CFG: S -> T | V T -> UU U -> aUb | ab V -> aVb | aWb W -> bWa | ba 所以这将接受某种形式的: {a^n b^n a^m b^m |

• prolog - Prolog 中的公式化

  我目前有以下问题，我想用 Prolog 解决。这是一个简单的例子，很容易在 Java/C/whatever 中解决。我的问题是，我认为与 Java 的思想联系太紧密，无法以利用 Prolog 逻辑能力

• prolog - PROLOG 初学者

  Như hiện tại, câu hỏi này không phù hợp với định dạng Hỏi & Đáp của chúng tôi. Chúng tôi hy vọng câu trả lời sẽ được hỗ trợ bởi các sự kiện, trích dẫn hoặc chuyên môn, nhưng câu hỏi có thể gây ra tranh luận, tranh luận, bỏ phiếu hoặc thảo luận mở rộng. Nếu bạn cảm thấy vấn đề này có thể được cải thiện và có thể mở lại, hãy truy cập

• prolog - 理解差异列表(Prolog)

  我无法理解差异列表，尤其是在这个谓词中: palindrome(A, A). palindrome([_|A], A). palindrome([C|A], D) :- palindrome(A

• prolog - 从列表中删除简单的 Prolog

  (这不是一个类(class)作业问题。只是我自己的个人学习。) 我正在尝试在 Prolog 中进行练习以从列表中删除元素。这是我的代码: deleteall([],X,[]). deleteall([

• prolog - Prolog 不擅长什么？

  我最近试图了解 Prolog，它似乎可以很好地映射到很多领域，但我无法弄清楚它可能不擅长什么。 那么它有什么不好的(除了需要实时/无 gc 性能的东西)？ 最佳答案 我同意你的一般评估，即 Prolo

• prolog - Prolog 元解释器中作为输出参数的证明

  我正在组装一个简单的元解释器，它输出证明的步骤。我无法将证明步骤作为输出参数。我的谓词 explain1 以我想要的详细形式返回证明，但不是作为输出参数。我的谓词 explain2 将证明作为输出参数

• prolog - Prolog 中的奇怪运算符 (!)

  hi(g,plus(A,B),int) :- hi(g,A,int),hi(g,B,int),!. 在上面的语句中 '!' 是什么意思？在声明的末尾签名吗？ 最佳答案 那是 cut operator

• prolog - prolog 的独特结果

  有没有一种简单的方法可以让 prolog 中的查询只返回每个结果一次？ 例如我正在尝试类似的东西: deadly(Xn) :- scary(X), Xn is X - 1, Xp is X + 1,

• prolog - Prolog 中的卡片表示

  我正在尝试学习 Prolog。这是我使用这种语言的第一步。作为练习，我想编写可以识别一些扑克手牌的程序(同花顺、同花顺、满屋等)。 我正在 Prolog 中寻找良好的卡片表示。我需要有可能检查一张卡片

• prolog - 在列表中查找最大值 - Prolog

  我刚刚被介绍到 Prolog 并且正在尝试编写一个谓词来查找整数列表的最大值。我需要写一个从头开始比较，另一个从结尾比较。到目前为止，我有: max2([],R). max2([X|Xs], R):-

• prolog - Prolog-回文函

  我试图在Prolog中编写谓词palindrome/1，当且仅当其列表输入包含回文列表时才为true。 例如: ?- palindrome([1,2,3,4,5,4,3,2,1]). 是真的。 有什么

• prolog - 适当的子集 - Prolog

  我正在尝试编写一个程序，该程序将两个列表作为输入并检查适当的子集。我开始于: proper([A],[]). proper([],[A]). proper([A|T1],[A|T2]) :- prop

• prolog - Prolog 中的事实持久化

  我是 Prolog 的新手，我正在使用 SWI-Prolog v6.6 在 *.pl 中存储断言文件。 :- dynamic fact/2. assert(fact(fact1,fact2)). 使用