语法错误:需要运算符(SWI Prolog)
语法错误:需要运算符(SWI Prolog)
这是一个SWI Prolog编译器返回的错误消息，它表示在代码中缺少了运算符。在Prolog中，运算符用于表示不同的操作和关系。当代码中出现语法错误时，编译器会提示需要运算符。
要解决这个错误，你需要检查代码中是否缺少了运算符或运算符的使用方式不正确。可能的原因包括：
- 漏掉了运算符：检查代码中是否缺少了运算符，例如在表达式中缺少了算术运算符（+、-、*、/）或逻辑运算符（&&、||、！）等。
- 运算符使用错误：检查代码中是否正确使用了运算符。例如，将逻辑运算符用于算术运算或将算术运算符用于逻辑运算等。
- 运算符优先级错误：检查代码中运算符的优先级是否正确。在Prolog中，不同的运算符有不同的优先级，如果优先级设置不正确，可能导致语法错误。
- 运算符定义错误：如果你在代码中定义了自定义运算符，检查定义是否正确。确保定义的运算符在使用时能够被正确解析。
总之，要解决这个错误，你需要仔细检查代码中的运算符使用情况，并确保运算符的定义和优先级设置正确。如果你需要更具体的帮助，请提供相关代码片段以便我们提供更详细的解答。
相关·内容
1回答
在Ubuntu中使用SWI 7.7.2，我试图从Pereira和Schieber运行"talk“模块(附录A，)。
在复制、粘贴到文本编辑器(Sublime)并调整换行(主要是)与原始值匹配、运行swipl、然后“talk.P”之后，我遇到了20多个“语法错误:操作符预期的”错误，例如(目录位置被.替换)：
第15-20行：
main_loop :-写(‘>>’)，%提示用户read_sent(单词)，%读取句子交谈(单词，答复)，%使用TALK print_reply(回复)处理它，%生成打印的回复main_loop。%处理更多的句子
错误：./talk.p:16:15
浏览 0提问于2017-12-04得票数 2
回答已采纳
2回答
我正在SWI下进行开发，但我的目标是Erlog ()。我需要一种使用非标准Prolog语法的方法。是否有一种方法可以编写被SWI编译器忽略的prolog代码，即使它不可见。
下面是一个示例，它是什么样的：
do_stuff(G,Amt) :- ecall(erlog_demo:efunc('Elixir.Blah':stuff({G,Amt})).
我在想，如果SWI有一种方法可以跳过它，那么我有另一个声明，它什么也不做。
do_stuff(_,_).
一种可能的选择是对其进行注释，然后在Erlog中运行之前使用解析器删除注释，但这似乎很麻烦。
任何其他的想法。
======
浏览 1提问于2015-10-10得票数 4
回答已采纳
1回答
同级(X，Y):-父亲(Z，X)，父亲(Z，Y)，不是(X=Y)。
姐妹(X，Y):-父亲(Z，X)，父亲(Z，Y)，女性(X)。
兄弟(X，Y):-父亲(Z，X)，父亲(Z，Y)，男性(X)。
我在使用not函数时遇到了一点问题。我试过不使用X=Y，但是没有用，兄弟规则仍然会产生错误。
如果我删除not x=y，输出将会有点“丑陋”。我应该如何编写not函数？
浏览 1提问于2016-11-02得票数 0
2回答
我正在寻找类似内置算术运算符的东西，它在Prolog中有返回值(特别是在SWI-Prolog中)。例如，如果你运行A is (1+2) + (3+2).，它会返回A = 8.。
如何定义func运算符来做类似+运算符的事情？
例如，A is (2 func 3) func (4 func (2+1)).。
浏览 1提问于2010-11-15得票数 5
回答已采纳
我是Prolog的新手，我正在尝试解决这样的问题，所以我希望有人能帮上忙。
我想实现一个三元谓词flatten_term(Term, Function_symbol, Flattened_term)，如果Flattened_term是通过展平所有嵌套出现的Function_symbol从Term获得的，那么它就会成功。假设Term不包含Prolog变量，并且在不检查列表的情况下不包含列表。
?- flatten_term(f(f(x)), f, Flattened_term).
Flattened_term = f(x).
?- flatten_term(f(x), f, Flattened
浏览 2提问于2015-01-17得票数 0
1回答
我目前有一个(键，值)对的列表，我想取出所有的键，以便在另一个函数中使用。
这样我就有了一个名为
PairsList
我想要
retractall(map(Key,_).
我试过了：
retractall(map(PairsList[(Key,_)],_).
但这只会抛出一个语法错误。
任何帮助都是最好的！
浏览 1提问于2012-11-08得票数 2
回答已采纳
所以我试着用prolog来解决kenken，但我从一开始就遇到了几个问题，首先假设我像kenken(X1，X2，X3，.....X16)那样运行它。我想用我之前定义的规则来解决这个x。假设第一个单元格有3个值X1，X2和X3，我想用乘法得到2，这意味着X1*X2*X3=2，如果我有这样的结果，我该如何设置规则来查看所有可能的解。另外，我如何告诉我的x只使用1-4的值范围。我试着做一些像这样的事情
:- use_module(library(clpr)).
solve([X1,X2,X3]):-
{X1*X2*X3=2}.
但它给了我一个非常奇怪的输出。
浏览 1提问于2013-11-25得票数 2
1回答
SWI-Prolog，版本6.6.6。
考虑以下事实：
p(a, a).
p(a, b).
它会得到以下答案：
?- p(a, a).
true ;
false.
但是如果我稍微改变一下数据：
p(a, a).
p(b, a).
我得到的答案略有不同...
?- p(a, a).
true.
似乎在第二种情况下没有发生回溯，因为问题中谓词的第一个参数与其他从句不一致。
然而，对于每种情况，人们都希望得到true ; false.的答案:引擎将尝试第一个谓词子句(结果为true)，然后回溯并查找同一谓词的其他子句(结果为false)。在第二种情况下，这是一种捷径吗？
这是(某种)标准行为吗?也就
浏览 0提问于2015-10-27得票数 3
早上好，我被OsmAnd中的Prolog程序的一条规则卡住了。这是一个简化的版本：
dest(D) -- ['dest.ogg'|Ds] :- name(D, Ds).
我不知道--的含义是什么，因为这是我第一次在Prolog程序中看到这样的构造。它看起来像是一个替换，如下所示："dest(D)是在['dest.ogg'|Ds] if name(D, Ds)中替换Ds获得的列表“。此外，我试图在几个Prolog手册(例如SWI)中寻找"--“，但是我找不到与这种构造有关的任何东西。
有什么建议吗？这是一个定制的构造吗？
浏览 3提问于2017-06-12得票数 4
回答已采纳
3回答
我已经按照下面的说明在我的linux机器上设置并安装了interprolog和swi prolog :
我已经将unixVariables.sh编辑为包含机器上的java和swi-prolog(pl)可执行文件的路径，并且我的unixVariables.sh如下所示：
# This is a typical environment for Linux, see elsewhere for Mac OS X
JAVA_BIN=/usr/lib/jvm/java-6-sun-1.6.0.16/bin
XSB_BIN_DIRECTORY=/home/YOUR_NAME/XSB271/config
浏览 2提问于2010-02-09得票数 2
回答已采纳
2回答
我正在尝试从终端运行prolog。我已经安装了7.2.2版，并使用以下命令将其添加到我的环境路径中：
PATH=$PATH:/Applications/SWI-Prolog.app/Contents/MacOS
然后为了开始，我输入
swipl
但是返回的是这个错误：
Illegal instruction: 4
我是个新手，请帮帮我。我知道我可以通过双击应用程序来运行它，但我在终端上工作更舒服。
我的Mac版本是Mac OS X Lion 10.7.5 (11G63)
浏览 21提问于2015-07-01得票数 3
回答已采纳
2回答
我想在SWI-Prolog中重新定义AND运算符。但是我不知道该怎么做。我尝试了以下定义：
a & b = b & a
但是，它被报告为递归的，不起作用。希望大家能给我一些建议。提前感谢！
浏览 0提问于2012-07-09得票数 2
我不明白下面的Prolog片段？":_:"是什么意思？":="和"="有什么区别？
game_to_problematic_points(Game,Pid,Hid) :-
Point := Game/point,
Pid := Point@id,
Point = point:_:Hits.
append(_, [Hit1,_|_], Hits),
hit_out(Hit1),
Hid := Hit1@id.
hit_out(Hit) :-
X := Hit@x,
Y := Hit@y,
( X > 23.
浏览 7提问于2016-07-17得票数 5
回答已采纳
sum([],0).
sum([H|T],S) :- sum(T,X),S is X+H.
mean([],0).
mean(L,M) :- sum(L,S),length(L,L1),M is S/L1.
:-arithmetic_function(mean/1).
when i try
?- mean([1,2,3,4],X).
它用
X= 2.5
Yes
现在我想用
?- X is mean ([1,2,3,4].
但它会后悔
Type error: ERROR: '.'/2: Type error: `[]' expected, found `[2,
浏览 9提问于2011-01-02得票数 1
2回答
我对在java中使用JPL很感兴趣，但是在编译java程序的时候，出现了像'package jpl‘这样的错误信息。如何将jpl导入java？
浏览 2提问于2011-09-27得票数 1
回答已采纳
我开始学习Prolog，我的代码遇到了编译器错误。我正在尝试编写一些代码，如果一个家庭满足特定条件，它将检查该家庭是否处于贫困状态。最后几行是贫困条件，这就是我得到Opertator Expected错误的地方。我想说的是，根据家庭ID，如果这个家庭的规模是一个人，而收入低于11170，那么这个家庭就是贫困的。对于一个超过8人的家庭，贫困水平是38890，再加上每增加一个家庭成员3960人。如何纠正这些错误？family_in_poverty应该返回true或false。
family(10392,
person(tom, fox, born(7, may, 1960), wor
浏览 0提问于2012-04-30得票数 2
回答已采纳
1回答
我正在构建一个C++库(windows，DLL)，我想嵌入swi-prolog来实现一些功能。
我要做的是：
#include <Windows.h>
#include <SWI-Prolog.h>
BOOL WINAPI DllMain(
HINSTANCE hinstDLL, // DLL モジュールのハンドル
DWORD fdwReason, // 関数を呼び出す理由
LPVOID lpvReserved // 予約済み
)
{
BOOL result = TRUE;
switch(fdwReason)
浏览 2提问于2012-12-09得票数 2
回答已采纳
3回答
在visual prolog中，prolog程序中有“域”部分，您可以在其中定义类型。swi-prolog中有没有类似的东西？
在visual prolog中，类型定义如下：
domains
NewType = thing1; thing2
浏览 2提问于2010-10-18得票数 5
回答已采纳
我经常使用SWI-Prolog的能够执行列表(谓词)的特性。来看看它是如何实现一些谓词的。我想看看它在succ/2上到底做了什么，因为我在SWI-Prolog上使用它，但我也需要它在没有它的Sicstus上运行！我已经在SWI手册中看到了它的功能，并尝试实现它，但我认为它一定是在我尝试的基础上做了一些额外的事情。我的问题是列表功能只是给出了
%外来: succ/2
有什么想法吗，伙计们？
谢谢:)。
浏览 1提问于2010-11-21得票数 3
回答已采纳
2回答
我完全是Prolog的菜鸟。我希望在ubuntu中安装turbo prolog。我该怎么做呢。我用谷歌搜索了一下，但都是徒劳的。对于ubuntu的turbo prolog，有没有其他的选择？
浏览 8提问于2012-08-07得票数 2
1回答
我是prolog的新手，正在尝试学习如何编程。我想知道如何在Prolog中计算x^y，两者都是整数。
我知道事实是这样的：
% exp(y,x,z) <- z is x**y
浏览 0提问于2011-12-29得票数 2
1回答
我有一个非常简单的prolog程序
min(P1, P2):-
(
atom_number(P1, L1),
atom_number(P2, L2),
( L1 > L2
-> writeln('L2 id min'),
writeln(L2)
; L1 < L2
-> writeln('L1 is mean'),
writeln(L1)
)
)
我是这样从命令行运行的-
swipl -f pro1.pl
als尝试使用
swipl -f pro1.pro
然后在prolog
浏览 1提问于2015-01-05得票数 2
回答已采纳
4回答
可以使用最近在SWI和YAP变体中实现的从Prolog内部调用R。
反过来说，有没有办法从R内部调用Prolog？在没有一个直接的Rcpp接口能够将Prolog项绑定到R上，就像Rcpp将C++对象绑定到R对象一样，是否有任何间接的方法来实现这个目标(比如从R代码中嵌入的C++代码通过Rcpp调用Prolog )？
所谓“调用”，我指的是“链接”prolog项到R对象，这对于使用Rcpp的C++对象来说是可能的，并通过R函数包装器执行prolog查询，而无需求助于操作系统调用。
浏览 7提问于2014-12-28得票数 3
回答已采纳
我找到了另一篇文章，讨论了冒号，但是这个表达式看起来不太一样。
我看到这个X变量可以作为一个参数传递，好奇它能做什么？
X= x:2
浏览 1提问于2013-03-05得票数 6
在“prolog中的专家系统”一书中，我遇到了一个障碍。这本书定义了一个简单的外壳如下：
solve :-
abolish(known, 3),
define(known, 3),
top_goal(X),
write('The answer is '),
write(X),
nl.
solve :-
write('No answer found.'),
nl.
然而，谓词define似乎不是SWI中内置的谓词。定义的目的是确保在调用known/3以删除以前对known/3的任何定义之后，在系统中定义谓词know
浏览 6提问于2016-01-14得票数 4
回答已采纳
我尝试使用这段代码已经有一段时间了，它说有一个语法错误，但我不知道它是什么。
studies(ahmed,history(77,63)).
studies(john,chemistry(0,21)).
passed(Person,Subj):-
studies(Person, Subj(Work, Exam)),
Final is Work + Exam,
Final >=60.
浏览 2提问于2016-10-13得票数 1
回答已采纳
6回答
我在我的Mac上运行SWI-prolog时遇到了最大的麻烦。
当我键入时：
/opt/bin/local/swipl
我收到一个错误，说：
/opt/local/bin/swipl: No such file or directory
当我输入"swipl“时，我得到的结果是：
swipl: command not found
我已经在终端和XQuartz上都尝试过了。我甚至进入了
/Applications/SWI-Prolog.app/Contents/MacOS
看看这样做是否有用，但是prolog中的"Welcome“文本从未出现过。很可能是在我在MacOS文件夹中输入
浏览 5提问于2014-02-06得票数 31
我正在研究Java编写的Prolog系统，Prova。
但是它的实现还不是很清楚，是Prolog编译器还是Prolog解释器？我读了手册，但没有找到答案。
浏览 4提问于2014-08-09得票数 0
我有一个运算符存储在变量Op中，两个整数存储在X和Y中。现在，我想做一些类似(Z是X Op Y)的事情，但这种语法似乎不正确。
有没有人知道在Prolog中有没有办法做到这一点？
感谢您的回答
浏览 0提问于2011-10-01得票数 5
回答已采纳
4回答
我现在正在配置JPL，并且想使用java来使用swi-prolog。
我下载了SWI-Prolog的最新稳定版本，它是6.2.0，并安装在D:\swipl
首先，我将以下路径添加到可访问路径: D:\swipl\bin，它应该包含所有需要的dll文件。
然后，我将以下路径添加到CLASSPATH virable: D:swipl\lib\jpl.jar，这应该是所需的jar文件。
当我尝试运行提供的版本示例时，我得到了以下错误：
Exception in thread "main" java.lang.UnsatisfiedLinkError: jpl.fli.Prolog.t
浏览 3提问于2012-09-05得票数 2
回答已采纳
在一个Prolog实现中缺少一些谓词，在其他实现中是可用的。
我们可以实现缺少谓词，让我们称之为"Prolog兼容性层“。
您知道Prolog的"Prolog兼容性层“(特别是GNU)吗？
请以下列方式构造答案：
有链接的标题。
“实现为”--您可能希望使用的prolog实现
“兼容性与”-完成兼容性层的prolog实现
“函数”-兼容性函数列表(您可以用粗体显示您的最爱)
“附加信息”-评论，要求，限制等。
“许可证”-许可证信息
P.S.受另一个问题启发的问题：。
浏览 4提问于2011-08-22得票数 5
回答已采纳
2回答
如果我有以下格式的事实：
person(name,age).
如何编写查询来查找最年轻的人？
我试过使用递归，但我一直陷入无限循环。到目前为止，我完成了所有的阅读，我发现我需要使用！剪切运算符。任何帮助都将不胜感激。
浏览 0提问于2013-05-03得票数 1
回答已采纳
1回答
我已经安装了xQuartz，因为我使用VSCode与c++一起编码。我是一个血腥的初学者，完全不知道如何使用SWI Prolog与内置编辑器在我的Mac。或者VSCode作为编辑。在这里贴出的任何问题都没有帮助我，因为我不明白给出的任何指示。有人能告诉我用最简单的方法做什么吗？我从来没有用终端安装东西，所以如果你给我指示，让这些傻瓜证明。我从网站下载SWI Prolog并将其拖到我的应用程序文件夹中。它打开。我还需要做什么？理想情况下，使用的编辑器是相同的。
浏览 19提问于2022-04-22得票数 -1
2回答
我正在寻找处理时态逻辑运算符的Prolog扩展的实现。有什么关于这个的信息吗？由于时序逻辑一直是逻辑的重要组成部分，我相信一定有关于原型或实现的讨论。
浏览 1提问于2014-04-23得票数 5
我正在尝试运行SWI-Prolog的simplex库文档中给出的coins示例，但是我得到了这个错误消息：
$ rlwrap swipl coins.pl
Warning: /home/vitorferraz/junk/coins.pl:1:
Unknown message: simlpex(bounded)
Welcome to SWI-Prolog (threaded, 64 bits, version 7.6.4)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- lice
浏览 3提问于2018-05-22得票数 3
2回答
Prolog是一种很好的语言。我偶尔会用到它。
但每次接近它，我都会感到越来越不舒服。
现代编程语言正逐渐允许
程序员少重复自己
如果可以推断出不必要的部分，或者它们的名称只是占位符，就省略掉它们。
DCG是朝着正确方向迈出的一步，允许您编写
sentence --> noun_phrase, verb_phrase.
而不是
sentence(A,Z) :- noun_phrase(A,B), verb_phrase(B,Z).
但是，它与不同列表的纠缠使得它没有多大用处。
因此，我要寻找的是给提供一个更紧凑的语法表示的项目，同时保持它的语义表现力。
浏览 0提问于2017-11-20得票数 0
1回答
我有个问题。我好几个星期都找不出这个问题。例如：
parent(john,paul).
parent(paul,tom).
parent(tom,mary).
ancestor(X,Y) :- parent(X,Y).
ancestor(X,Y) :- parent(X,Z),
ancestor(Z,Y).
查询是：
swipl -s /home/alikoyuncu/pl/ples.pl -g "ancestor(X,'tom')" -t halt.
产出：
% library(swi_hooks) compile
浏览 0提问于2012-09-08得票数 0
回答已采纳
1回答
我有点糊涂。我想使用split_string函数，它可以看到。但我只是不知道如何导入或使用这个函数。我的电脑上已经有这个pl文件了吗？我只能在C:\Program \swipl\ strings.pl \ciao中找到split_string，但我不包括split_string函数。
我很确定这很容易，但我就是搞不懂。
谢谢!
浏览 3提问于2014-10-20得票数 0
回答已采纳
当我使用cygwin终端使用吉他手跟踪SWI代码时，会弹出以下错误：
[PCE fatal: @display/display: Failed to connect to X-server at `': no DISPLAY environment variable
*********************************************************************
* You MUST be running the X11 Windowing environment. If you are, *
* check the setting of
浏览 4提问于2015-09-30得票数 4
回答已采纳
1回答
启动prolog视图时，控制台显示：
org.cs3.prolog.connector.process.PrologProcessException: org.cs3.prolog.connector.process.PrologProcessStartException:未能启动Prolog进程！prolog可执行文件的路径无效
对此，我没有在谷歌上找到任何东西，这在我看来很奇怪。只有我能找到的地方：
我无法理解这是否与我的问题有关
似乎是从一个旧版本。那么，在如何解决这个问题上有什么帮助吗？我花了太多的时间尝试使用prolog，我已经使用了第二种方法(在尝试并未能安装ciao之后)。
浏览 2提问于2016-04-02得票数 2
env:
windows 7 32位
swi-prolog 6.2.6
swi支持读行交互吗？
说它支持GNU，如何在windows 7上打开？
谢谢。
浏览 2提问于2013-01-30得票数 1
回答已采纳
我在中电(FD)：的这一页上找不到除法(/)符号
同样，这个简单的代码也会产生错误：
:-use_module(library(clpfd)).
afn(A,B,C):-
C #= B / A.
?- afn(23, 56, C).
ERROR: Domain error: `clpfd_expression' expected, found `56/23'
问题在哪里，如何解决？谢谢。
浏览 4提问于2016-07-05得票数 6
回答已采纳
2回答
我试着在macOS高山上使用喷气推进语言和SWI-Prolog，但我遇到了麻烦。实际上，一开始没有找到libjpl.dylib，所以我通过以下方式将它的路径添加到java.library.path
java -Djava.library.path=/Applications/SWI-Prolog.app/Contents/swipl/lib/x86_64-darwin15.6.0/
现在找到了库，但我得到了另一个错误：
java.lang.UnsatisfiedLinkError: /Applications/SWI-Prolog.app/Contents/swipl/lib/x86_64-d
浏览 5提问于2018-09-23得票数 3
1回答
我不明白这是什么意思
[sopio|...], [...|...]|...
在?- findall([X,Y], indirectowner(X, Y), L).的结果
L = [[sopio, badri], [temur, badri], [temur, leila], [badri, anuki], [badri, tamar], [tamar, ioseb], [sopio, anuki], [sopio|...], [...|...]|...].
我发现了以下事实：
owner(sopio,badri).
owner(temur,badri).
owner(temur,leila).
浏览 13提问于2018-06-06得票数 2
回答已采纳
1回答
我有一个需求，比如将大量数据从visual prolog端插入到oracle数据库中，而且最重要的是，所有数据都需要通过一个存储过程调用注入。我尝试过将数据作为字符串值进行传递，但在visual prolog中有一个限制，比如字符串变量的长度不能超过'250‘个字符。因此，将它们作为字符串传递对于我的要求是不可行的。因此，我尝试使用term_str()以prolog list的形式传递数据。但不幸的是，列表/数组项不能在oracle端处理。我的DBA建议我以数组对象的形式传递大数据。有人知道如何在visual prolog中将数组数据转换为数组对象吗？或者其他关于通过单个存储过程调用将
浏览 2提问于2012-03-08得票数 1
3回答
我知道这是有限制的，但是有没有一种合理的方法在Prolog代码中加入条件指令，这样它就可以在GNU或SWI中合理地工作？我认为至少在最简单的情况下，内置谓词(如SWI中的sumlist和GNU中的sum_list )在拼写上彼此不匹配。或者SWI有assert，但GNU没有。所以如果能有这样的东西就好了：
:- if($SWI).
SWI version of stuff
:- else.
GNU version of stuff
:- endif.
或者简单地说：
:- if(not_a_builtin(sumlist))
sumlist(L, S) :- sum_list(L, S).
:
浏览 3提问于2013-06-11得票数 5
回答已采纳
双(X，Y) :- X为Y/2，Y为X*2。
我试着执行这个，但是它总是错误的
参数没有在第2行的2 4 is _1604/2 1 double(4，_1662)中得到充分实例化
我怎么能得到两个变量的两倍。
浏览 0提问于2021-03-08得票数 1
回答已采纳
我对prolog编程很陌生，我的第一项任务是制作一个二次方程解查找器。我已经找到并重写了它的输入/输出版本，但是我不理解偏执的用法。它们的工作方式和C/C++一样吗？在我看来，每次引入用户输入的新变量时，似乎都应该使用它们。否则，我会继续得到特定的错误：
"ERROR: is/2:参数没有被充分实例化“，我查找了关于这个问题的明确解释，但是没有找到足够的答案来解决我的问题。
q :- write('A = '),
read_integer(A),
( A = 0, write('Not a quadratic equation');
w
浏览 2提问于2015-12-11得票数 3
回答已采纳
正如我似乎找不到的另一个StackOverflow答案所指出的那样，这种模式经常出现在实际的Prolog代码中：
pred(X) :-
guard(X),
...
pred(X) :-
\+ guard(X),
...
很多人试图把它浓缩成
pred(X) :-
(guard(X) ->
...
;
...).
然而，我们都知道，箭头结构破坏了选择点，不符合逻辑。
在Ulrich Neumerkel和Stefan Kral的中，提出了一个名为if_/3的谓词，它是单调的和合乎逻辑的，但是在本文中他们提到了另一个吸引我注意的构
浏览 2提问于2018-10-31得票数 6
回答已采纳
有人知道Prolog中的谓词readterm是如何与事实/数据库一起工作的吗？我得用这句话，但我不知道如何将它付诸于事实。
浏览 2提问于2012-01-05得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
云直播
对象存储活动推荐
腾讯云开发者
