我需要在Prolog中获取术语参数的索引。谓词arg/3似乎与我需要的相反：如果索引是一个变量，则arg/3将失败，因此无法获取给定值和术语的索引。预期行为的一个示例是：Index = 3
浏览 7提问于2020-05-11得票数 0
回答已采纳
2回答
我希望能够在我当前的prolog程序中尽可能快地查找一个术语的存在，而不需要prolog引擎遍历所有术语，直到它最终到达现有的术语为止。% thousands of other animalsanimal(tiger).
swi引擎将需要经过成千上万的动物，试图与老虎统一，以确认动物(老虎)在我的prolog数据库中<
浏览 7提问于2015-03-24得票数 5
回答已采纳
显然，true = not(not(true))必须是假的，因为=试图将原子true与术语not(not(true)) (而不计算该术语)统一起来，这是假的，因为这些术语是不相同的。然而，我认为==确实比较了评估的内容。...but，这就是我在中得到的信息：false.
我做错什么了？
浏览 4提问于2017-03-07得票数 1
回答已采纳
1回答
像list_withoutlast(X, [1, 2]).这样的查询肯定会成功，但是像list_withoutlast([1, 2, 3], X)这样的查询会留下一个选择点，即使只有一个答案。我还能做些什么来告诉SWI我想要一个包含多个元素的列表？或者，如果我想利用第一个参数索引，我唯一的选项是“零长度列表”和“非零长度列表”吗？
其他Prolog处理这种情况有什么不同吗？
浏览 7提问于2018-07-12得票数 4
1回答
字节码java虚拟机
、、、
我们的项目是为我们的语法创建中间代码，即miniJava。到目前为止，我们使用antlr为它构建了词法分析器和解析器。现在对于中间代码，我们应该使用字节码。我在网上找过了，关于这个案子的资源并不多。
浏览 4提问于2014-01-19得票数 0
1回答
SWI-Prolog，版本6.6.6。p(a, a).它会得到以下答案：true ;?- p(a, a).似乎在第二种情况下没有发生回溯，因为问题中谓词的第一个参数与其他从句不一致。然而，对于每种情况，人们都希望得到true ; false.的答案:引擎将尝试第一个谓词子句(结果为true)，然后回溯并查找同一谓词的其他子句(结果为false)。<em
浏览 0提问于2015-10-27得票数 3
我有一组DCG规则(在本例中是德语人称代词)：ppers(1,0,sg,_) --> [ich].
ppers因为它们在语义上是联系在一起的，所以对我来说，通过将它们移动到一个列表中(例如，按人员分组)而不是不相关的规则来保留这些信息是有意义的。然后我会用nth0()选择我想要的项目，其中我需要的大小写是列表中<
浏览 1提问于2012-05-21得票数 0
回答已采纳
例如，如果您有下一行Prolog声明： grasp,
state(middle, onbox,我被事实，函子，术语弄糊涂了.
浏览 6提问于2013-10-01得票数 11
回答已采纳
我在Prolog中有一段示例代码。我想知道谓词/规则/函子s()在Prolog中意味着什么？(以breadth_search).开头的在线在示例代码中，我没有看到这个构造的任何声明。
浏览 1提问于2021-04-02得票数 0
回答已采纳
我是Python和prolog的新手。据我所知，Python是一种强类型语言。Prolog也是一种强类型语言吗？
浏览 0提问于2010-05-07得票数 7
示例实现将是ArrivalTime < DepartureTime2，其中ArrivalTime和DepartureTime2都可以采用格式(XX:XX)的值，例如12:00或15:50。我正在考虑将XX:XX格式转换成常规的XXXX格式，但我不知道如何做到这一点。还有别的办法吗？
浏览 5提问于2015-11-07得票数 0
回答已采纳
在prolog中，=用于统一，据我所知，如果这两个术语可以匹配，如果变量实例化，它们是统一的。?- 2+2 = 4.
尽管2+2生成4，这与另一个项的数字相同。
浏览 4提问于2017-03-31得票数 2
回答已采纳
在一个要求我在Prolog中实现经典arg谓词的练习中，我遇到了一些问题。其中Arg是一个术语的参数列表中参数的索引。它是这个论点的价值。因为f(x)是t主函子的参数列表中的第一个参数。我的</em
浏览 3提问于2013-04-13得票数 0
回答已采纳
(1)在Prolog中，原子被称为“文本常数”。用作复合术语的名称，用于表示常量或文本。“。见。因此，这些原子是：john，grandparent，等等。(2)在关于逻辑编程的文本中，例如和，“原子”被称为p(t1, t2, ..., tn)形式的术语，其中ts是术语，p是谓词符号。这与经典一阶逻辑中“原子”的使用相对应。与典型Prolog<em
浏览 3提问于2020-08-15得票数 3
我正在使用SWI-Prolog版本7.6.3，最近我遇到了一个将数字和字母表组合到其ASCII值列表中的术语的转换问题。
我知道我们可以使用name/2谓词获得特定术语的ASCII值列表。例如，如果我想获取术语ab或'ab'的ASCII值，那么我们可以使用name(ab,X)。Prolog简单地输出X = [97, 98]，97和98分别是a和b的AS
浏览 0提问于2018-05-08得票数 3
3回答
我正在尝试格式化来自程序的结果，但遇到了困难。作为结果，我想给出这样的东西：基本上，我想要将连续的项连接到initialState原子，但它不适用于atom_concat，因为要连接的其他项不是原子，而且我还想在每次传递"do“函数时添加)。所以应该是这样的: Res = initialState。conca
浏览 0提问于2010-06-11得票数 0
回答已采纳
我编写了一个Prolog程序来求解简单的三角方程。我写它是为了得到三角函数的值。例如，我可以获得sin(45)的值，但不能将sin(45)的值赋给术语sin(45)。实际上，我想将sin(45)的值传递给程序的下一个代码，而不是术语sin(45)。谢谢..。
浏览 0提问于2014-09-01得票数 3
回答已采纳
1回答
作为prolog的新手，我正在阅读现有的代码(以及试图编写一些代码)。有了一些以前的背景，在半决赛，我开始玩它，并看到一些东西，是混淆了我。示例断言：Remember: Internally, all resources are atoms.realised at compile-time using rules for goal_expansion/2我是否正确地假设图书馆以原子
浏览 3提问于2018-11-17得票数 1
回答已采纳
我的任务是扩展一些现有的Prolog代码，我遇到了一个复杂术语的结构问题。这个复杂的术语作为参数传递给我正在编写的Prolog谓词。问题是，我需要从这个复杂的术语中提取两个列表，而这个术语的结构并不是高级的或固定的。具体来说，假设我有这样一个术语"Param“： drs
浏览 1提问于2014-08-13得票数 3
回答已采纳
3回答
我正在考虑把一个prolog程序的所有痕迹放在一个列表中。例如，假设我有 a.v(2).
a,
v(X).我想获得一个表单[[a,v(1)],[a,v(2)]]的列表(或者类似的东西，我可以随时使用findall来获得所有的解决方案)。我想到的最明显的想法是预处理prolog代码，将列表作为参数添加到谓词中(使用SWI中的term_expansion&#
浏览 52提问于2021-08-02得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
云直播
对象存储活动推荐
腾讯云开发者
