在prolog中不使用atom_concat连接两个原子
在Prolog中，可以使用atom_chars和atom_codes来连接两个原子，而不使用atom_concat。
atom_chars/2是一个内置的Prolog谓词，它将一个原子转换为一个字符列表。我们可以使用这个谓词将两个原子转换为字符列表，然后使用append/3谓词将它们连接起来。下面是一个示例：
concat_atoms(Atom1, Atom2, Result) :-
atom_chars(Atom1, Chars1),
atom_chars(Atom2, Chars2),
append(Chars1, Chars2, ResultChars),
atom_chars(Result, ResultChars).使用示例：
?- concat_atoms('hello', 'world', Result).
Result = helloworld.这个谓词将两个原子连接起来，并将结果存储在变量Result中。
在Prolog中，还可以使用atom_codes/2谓词将一个原子转换为一个字符代码列表。类似地，我们可以使用append/3谓词将两个字符代码列表连接起来，然后使用atom_codes/2将结果转换回原子。下面是一个示例：
concat_atoms(Atom1, Atom2, Result) :-
atom_codes(Atom1, Codes1),
atom_codes(Atom2, Codes2),
append(Codes1, Codes2, ResultCodes),
atom_codes(Result, ResultCodes).使用示例：
?- concat_atoms('hello', 'world', Result).
Result = helloworld.这个谓词的工作原理与之前的示例相同，只是使用了atom_codes/2谓词而不是atom_chars/2谓词。
以上是在Prolog中连接两个原子的方法，不使用atom_concat。这些方法可以帮助您在Prolog中进行字符串操作。
相关·内容
1回答
我是一个全新的prolog新手，我正在尝试与以下内容相匹配：
规则(blah变量，...)。
基本上，我尝试匹配后面跟任何表达式的原子"blah“。这个是可能的吗？
浏览 1提问于2011-02-09得票数 0
我试图在列表的每个元素中添加一个特殊字符(*)。
我想在元素的开头和结尾添加它，所以如果我有：
list(apple,orange,pear)
它将是：
list(*apple*,*orange*,*pear*)
在prolog中有办法做到这一点吗？
谢谢。
浏览 3提问于2021-12-16得票数 0
回答已采纳
functor([a1-b1,a2-b2,a3-b3,a4-b4]).
我需要分离a和b，并构造两个新的函数器，比如
functora([a1,a2,a3,a4]),
functorb([b1,b2,b3,b4])
浏览 0提问于2013-03-23得票数 2
回答已采纳
我需要从字符串中删除一个字符。例如：
?- remove_char('abcde', 'c', X).
X = 'abde'
?- remove_char('abcdefgh', 'f', X).
X = 'abcdegh'
我正在寻找一种简明扼要的方法来完成这个任务，但我没有成功。我是Prolog的新手，如果我不想将字符串转换为列表，我将很难处理字符串。对此是否有内置的功能，或者至少有一种简约的方式？
浏览 3提问于2013-11-01得票数 1
回答已采纳
有时，当我在Prolog中阅读一些示例时，我可以看到它说：“这段代码的形式是(+，?，?)”。那么，这些符号的含义是什么。我不知道名字，那我就找不到更多了。谢谢
浏览 2提问于2015-05-24得票数 2
回答已采纳
我想知道是否有任何方法可以将字符串值附加到变量值以创建新变量。我在想的是：
V = 7,
foo(V) :-
NV = 'S'+V.
所以我希望NV最后有一个S7值，S7是一个新的变量。(V在之前的某个地方被赋值为7)。
浏览 1提问于2014-03-29得票数 0
如何使我的Prolog程序输出？
1*a*b*c
如果我输入simplify([1,a,b,c],S).？目前的结果是
1*(a*(b*c))
simplify(S,S1):-
s(S,S1).
s([H|T],C) :- T\=[],s(H,SA), s(T,SB), s0(SA*SB,C).
s([H|T],H) :- T==[].
s(A,A).
s0(A*B,S):-
S = A*B.
谢谢你的帮助。
浏览 2提问于2016-12-02得票数 1
回答已采纳
这是我目前的代码库结构。
trans([], []).
trans([H|T], [NewH|NewT]):-
means(H, NewH),
trans(T,NewT).
means(one, uno) :- !.
means(two, dos) :- !.
means(X, X) :- !.
Question1
这大致是我想要的方式。例如，如果我键入prolog编译器：
?- trans([bob, uno, dos], X).
X = [bob, uno, dos].
答案是正确的。但是，如果我用大写字母插入一个参数，例如：
?- trans([Bob, uno
浏览 14提问于2020-01-02得票数 0
回答已采纳
输入：
run([p(X,Y,Z),h(Z,P,Q)],Out).
代码：
:- ensure_loaded(library(lists)).
run([X|Y],Out) :-
X =.. [Fct|Args],
X =..Total,
length(Args,L),
concat(abs_,L,Fct_A),
Out =.. [Fct_A|Total].
在swi prolog上，我得到了正确的答案：
A = abs_3(p, X, Y, Z).
在yap prolog上失败。看来我应该用yap了。
我必须使用什么来代替concat(abs_,L,Fct_A
浏览 4提问于2011-07-24得票数 0
回答已采纳
1回答
我很难使下面的SPARQL查询参数化。
首先，我加载请求库：
?- use_module(library(semweb/sparql_client)).
% library(uri) compiled into uri 0.02 sec, 290,256 bytes
% library(readutil) compiled into read_util 0.00 sec, 17,464 bytes
% library(socket) compiled into socket 0.00 sec, 11,936 bytes
% library(option) compiled in
浏览 0提问于2013-05-30得票数 3
回答已采纳
1回答
我知道我们可以在运行时动态添加事实，意思是
fact1(+First,+Second).
我可以使用asserta插入。但我想问的是，我是否可以在运行时添加函数器，这意味着最初只有一个像fact1(first,second).这样的事实，但用户将在运行时插入更多事实
fact2(first,second).
fact3(first,second).
在这里，最初我们不知道要添加多少事实。假设用户输入为3，那么我们必须添加fact1，fact2和fact3。如果用户输入为4，那么我们必须添加四个事实，即fact1、fact2、fact3和fact4。
在这个方向上的任何建议都是值得感谢的。谢谢。
浏览 2提问于2011-02-15得票数 1
回答已采纳
2回答
创建随机CNF公式prolog
、、、、
在我的论文中，我正在研究知识库的具体特性，以及这如何影响论证树的大小。我需要prolog中的一个sat求解器，我已经有了它，但是我也需要一个创建随机子句的算法。k是精确长度k的子句。为了简单起见，我将k设为3，最大值4。我想给出K(每个子句的文字量)作为程序的参数。因此，如果我想要一个3-sat，有1000个子句和300个文字，那么我的程序应该创建一个知识库，包含长度为3的100个子句，其中所有的文字都必须以一定比例的负数(简单50/50)随机展开。我希望输出看起来如下，输出:随机创建的一组子句：
V1 :- V2，V3。
V2 :- -V3，-V4。
有人能帮我吗？
浏览 13提问于2022-06-01得票数 1
如何在SWI Prolog中重命名变量？
我试着像这样使用数字谓词。
numbervars(Xs,1,_,[functor_name(name)]).
因此，如果Xs是一个由4个变量组成的列表，那么当我提交'writeln(Xs)‘时，它将是这样的。
[name(1),name(2),name(3),name(4)]
我如何使用该函子，或任何其他方式删除括号，并使它看起来像：
[name1,name2,name3,name4]
提前谢谢。
浏览 2提问于2014-03-30得票数 1
回答已采纳
1回答
这就是我的问题(举个例子，因为这样更快)：
?- enum_list([alpha, beta, gamma, beta, beta, delta, epsilon, alpha], L).
L = [alpha1, beta1, gamma, beta2, beta3, delta, epsilon, alpha2].
当我被允许对列表进行重新排序时，问题就很简单了(只需对列表进行排序，将相同的元素分组到列表中，如果列表长度大于1，则枚举列表)。但我想维持秩序。有什么想法吗？
浏览 4提问于2011-02-18得票数 1
注:这是一个作业问题。我被困在这上面已经好几个小时了。简单地说，“”基本上是导致代码行为不当的原因。
预期产出
% ?- read_command(L).
% |: cal -n -r file1 file2
% L = concatenate([-n,-r],[file1,file2]).
不正确输出观测
% ?- read_command(L).
% |: cal -n -r file1 file2
% L = concatenate([], ['-n', '-r', file1, file2]).
我不知道-r是怎么变成'-r‘的，-n是'
浏览 1提问于2016-01-07得票数 1
回答已采纳
我正在编写一个使用处理prolog源文件的模块。在此过程中，我使用解构谓词，或者使用将其投影到其名称中。例如：
?- functor(pred(foo, bar), N, _).
N = pred.
?- pred(foo, bar) =.. L.
L = [pred, foo, bar].
现在，我想将pred的名称更改为(例如) pred_expanded，并再次将其作为一个术语，这样pred(foo, bar)就变成了pred_expanded(foo, bar)。
我尝试了append(pred, "_expanded", F)和append(pred, '_
浏览 0提问于2016-09-06得票数 2
例如，如果我得到以下谓词：
father('jim', 'Boby')
father('rob', 'bob')
我想知道父亲的名字是以“bo”开头的吗？
浏览 0提问于2012-04-06得票数 2
回答已采纳
我试图用host_ip为主机分配IP地址。但我希望任何定义的IP地址都应该满足一些前提条件。首先，地址八进制不应超过有效范围，其次，我只想要A类网络10.0.0.0/8中的地址。
我尝试使用assertz，但它不像预期的那样工作：
byte(X) :- integer(X), X >= 0, X =< 255.
ip(A, B, C, D) :- byte(A), byte(B), byte(C), byte(D).
valid_ip(A, B, C, D) :-
ip(A, B, C, D),
A = 10.
add_host(Name, A, B, C, D
浏览 1提问于2016-11-17得票数 1
回答已采纳
2回答
我有一个像'pen,pencil,eraser'这样的字符串。我怎样才能使这个谓词。
things(pen,pencil,eraser).
你有什么想法吗？(我使用prolog)
浏览 0提问于2011-05-04得票数 1
在我的程序中，我有一些规则，比如：
tellme(X) :- knows(X).
tellme(friends1(X)) :- tellme(X).
tellme(friends2(X)) :- tellme(X).
tellme(friends3(X)) :- tellme(X).
.
.
.
tellme(friends25(X)) :- tellme(X).
现在这个friends1，friends2，friends3 .....依赖于变量N。在这里，例如，我的N的值是25。那么，是否可以编写一条规则来生成这些规则，直到N次，或者我必须手动编写这些规则N次。欢迎任何建议或解决方案。
浏览 1提问于2011-03-13得票数 4
3回答
我正在做一个精益prolog的小项目。我现在要做的是，给定一个句子，返回一个单词列表。因此，我接受了一个字符数组，例如“高低”，并试图将其分为“高”和“低”。我使用字符数组，因为我想处理单词本身，而我认为字符串不适用于此。
这是我的代码。
get_first_word([], _, []):-
!.
get_first_word(X, Pivot, Input):-
append(X, [Pivot|_], Input),
!.
split_at([],_).
split_at(Input, Pivot):-
get_first_word(X, Pivot, Input),
浏览 0提问于2013-04-01得票数 2
回答已采纳
在B中是否有确保加载/1工作的解决办法，就像它在许多其他Prolog系统中一样？其目标是有一个序言，以便其余的代码可以使用a/1，而不依赖于我使用的是哪个Prolog系统。
它似乎没有像许多Prolog系统那样解析到当前所咨询的文件的相对路径。
它似乎不允许Prolog文本，但需要一些字节代码，这将迫使我编译一些东西。
因此，我尝试了以下几点：
:- set_prolog_flag(redefine_builtin, on).
ensure_loaded(X) :-
atom_concat('<base>\\',X,Y),
consu
浏览 1提问于2014-06-11得票数 1
1回答
我试图在prolog中创建一个简单的程序，但我遇到了一个问题：
:- dynamic at/2, i_am_holding/1, i_am_at/1.
/* some lines of code */
i_am_at(room1).
at(revolver, room1).
take(revolver) :- write('You picked up the revolver.'),nl.
take(X):- i_am_at(Place),
assert(i_am_holding(X)),
retract(at(X,Place)).
/* s
浏览 1提问于2013-10-19得票数 0
回答已采纳
3回答
我对Prolog非常陌生，我正在尝试构建一个脚本，在那里我可以用Prolog生成一个随机字符串。到目前为止我运气不太好。
我这样做的想法是生成一个所需的字符列表，根据列表的大小创建一个随机数，然后尝试从该列表中提取一个字符。这很好，但我也需要能够连接到一个变量上，而这个变量显然是从零开始的。目前，我只是试图将字符串的大小限制为5个字符，但在将来，我需要一些更复杂的内容(比如5-8个字符)。
以下是我到目前为止所拥有的：
generate :-
Output = '',
generate_random_string(Output, 0),
write(Ou
浏览 0提问于2018-10-04得票数 0
回答已采纳
我发现提供：
atom_to_term(+原子，-Term，-Bindings)
使用Atom作为输入，使用variable_names选项读取_term/2
并返回术语中的读项和绑定中的变量绑定。
但我有一个困难的时间，找出在这方面的其他Prolog系统提供什么。也许有些人已经获得了解决方案，他们可能想要分享？
例如，它所做的事情：
?- atom_to_term('X + Y', T, N).
T = _A+_B,
N = ['X'=_A, 'Y'=_B].
浏览 19提问于2022-04-16得票数 2
我想要一个在SWI-Prolog中读取用户输入数据的特定规则，类似于：
process( ... ) :-
% do_stuff
read_values( ... ),
% do_more_stuff with X and Y here.
read_values( ... ) :-
write('Please enter X: '),
read(X),
write('Please enter Y: '),
read(Y).
这有可能吗？
浏览 1提问于2012-09-28得票数 3
回答已采纳
3回答
这是我使用的代码：
printElement(L/C) :- format('~t~a - ~a~t~20+|', [L, C]).
printElement(L) :- format('~t~a~t~20+|~t', L).
printList([]) :- format('~n', []).
printList([H|T]) :-
printElement(H),
printList(T).
printLists([], _).
printLists([H|T], N) :-
M is N + 1,
fo
浏览 7提问于2015-11-03得票数 2
回答已采纳
dec_bin(1,1).
dec_bin(N,B):-N>1,X is N mod 2,Y is N//2,dec_bin(Y,B1),B=B1+X.
这给出了输出：
?- dec_bin(12,K).
K = 1+1+0+0.
但是我只想要1100，没有'+‘符号。请谁来帮帮我..
浏览 3提问于2012-12-14得票数 0
回答已采纳
我正在尝试理解运算符。
我已经为它定义了以下运算符和方法。
:- op(600, xfy, ⧺).
⧺(Left, Right) :- concatAtoms([Left, Right], _). % _ would the result but can´t be returned without an extra parameter
% concatenates atoms, e.g. [a,b] = ab
concatAtoms([H|T], R) :-
concatAtoms(T, H, R).
concatAtoms([], R, R).
concatAtoms(
浏览 0提问于2020-05-13得票数 1
1回答
我目前正在学习Prolog中的谓词逻辑。我在回答有关这个主题的问题时遇到了困难，我想知道使用Prolog谓词解决这样一个问题的步骤。我有一个只能使用两个不同谓词名在Prolog谓词中表示的场景。
A和B结婚了
B喜欢C
C和D结婚了
D喜欢E
F喜欢B
E喜欢B
E和G结婚了
A喜欢G
浏览 4提问于2013-05-12得票数 1
回答已采纳
打印列表中两个原子的第一个字母。我甚至不能打印列表中两个原子中的一个的第一个字母。 grab_letter([],[]).
grab_letter([A],[B]) :- A = [First|_], B = [Second|_].
?- grab_letter([apple,pie]).
true ? 如何让它打印"a"？
浏览 12提问于2019-03-21得票数 1
2回答
嗨，我有一个用Prolog编写的简单时钟，它以5分钟为间隔测量时间
nextTime(Hrs:Mins1, Hrs:Mins2) :- nextMins(Mins1, Mins2).
nextTime(Hrs1:'55', Hrs2:'00') :- nextHrs(Hrs1, Hrs2).
nextHrs('12', '13').
nextHrs('13', '14').
nextHrs('14', '15').
nextHrs('15',
浏览 3提问于2014-03-19得票数 0
我之前已经动态地定义了一些事实，如下所示。
% declare dynamic facts
:- dynamic title/2.
:- dynamic author/2.
:- dynamic publisher/2.
:- dynamic price/2.
:- dynamic call_number/2.
:- dynamic edition/2.
:- dynamic data_disk/2.
并在每次程序运行时断言这些事实
:- assert(title(book1, 'Elementary Statistics')).
:- assert(title(book2,
浏览 0提问于2016-11-27得票数 1
尝试在prolog中创建一个规则，它将询问在给定日期之前是否有任何消息在两个人之间发送(其中两个人都可以是消息的接收者或发送者)。调用是否正确后，打印两个用户在给定时间之前交换过消息的所有日志。
到目前为止我想，
msgbefore(X,Y,D) :-
message(X,Y,D1),
date_time_stamp(D),
date_time_stamp(D1),
D1 < D,
message(Y,X,D1),
date_time_stamp(D),
date_time_stamp(D1),
D1 < D.
数据库由以下
浏览 0提问于2014-01-03得票数 0
这是我的程序
clause1(A,Answer2):-
atom_concat(A,' = 2',Answer),
Answer2 = [Answer].
当我跑的时候
?- clause1(var,Answer2).
我得到了
Answer2 = ['var = 2'].
但我想
Answer2 = [var = 2].
浏览 1提问于2018-01-08得票数 0
回答已采纳
1回答
我试图在prolog中构建一个简单的最大公共除数(cmmdc)，对于下面的代码，我在newY =cmmdc上遇到了一个失败。有人能帮我吗？
% cmmdc(X: intreg, Y: intreg, Ret: intreg)
% (i, i, o), (i, i, i)
cmmdc(X, 0, X):- !.
cmmdc(X, Y, Ret):-
newY = X mod Y,
cmmdc(Y, newY, Ret).
浏览 6提问于2022-11-27得票数 -1
2回答
有时我看到这样的术语:x= a:b或x=a。
我可以执行像X= Y:Z这样的请求，编译器将Y与a统一，Z与b统一，就像预期的那样。
现在我的回答是:允许我使用哪些字符(或字符序列)组合两个Prolog原子？！
也许你可以给我一些关于这个问题的进一步信息的链接。
谢谢你的帮助和德国的亲切问候。
浏览 14提问于2013-10-10得票数 3
回答已采纳
3回答
据我所知，使用，SLD分辨率不应该创建循环数据结构(这是正确的吗？)
如果是这样，理论上可以实现Prolog，使其不需要垃圾收集(GC)。但话又说回来，人们可能不会。
基于WAM的Prolog实现是这样的吗？
是这样的吗？(我相信这不是基于WAM的)在SWI中禁用GC安全吗？
具体地说：
:- set_prolog_flag(occurs_check, true).
:- set_prolog_flag(gc, false). /* is this safe? */
浏览 9提问于2020-11-15得票数 7
回答已采纳
1回答
我在Prolog中有一个列表示例：
list_where([Tequila,Whisky,Vodka],bathroom).
list_where([Martini,Musat],kitchen).
list_where([Malibu,Soho],under_the_bed).
list_where([Epita],everywhere).
现在，我在yap中查阅该文件(我在Ubuntu 15.10上使用YAP )，并启动以下查询：
list_where(X,bathroom).
我的结果是：
X = [_A,_B,_C] instead of X=[Tequila,Whisky,Vodka
浏览 5提问于2016-01-31得票数 1
回答已采纳
1回答
我一直在试图理解，在特定的上下文中使用Prolog优于Datalog是否有很大的优势。Prolog是图灵完整的，而Datalog不是。但是，使用Prolog还有其他实质性的优势吗？
例如，特定的上下文可以是关系数据库.使用Prolog或Datalog更好吗？
浏览 5提问于2015-10-25得票数 0
3回答
我正在尝试格式化来自程序的结果，但遇到了困难。
作为结果，我想给出这样的东西：
Res = do(paint(x) do(clean(a), do(repair(b) , initialState)))
基本上，我想要将连续的项连接到initialState原子，但它不适用于atom_concat，因为要连接的其他项不是原子，而且我还想在每次传递"do“函数时添加)。
所以应该是这样的: Res = initialState。
当调用do函数时，我会有一个如下所示的函数
concatenateTerm(Pred, Res, Res).
例如，Pred蜂群修复(B)，并获得结果：res
浏览 0提问于2010-06-11得票数 0
回答已采纳
我正在写一个swi-prolog程序，它读取一个文件名，打开它，然后写一些东西。
main :- read(FileName),
tell(FileName),
write("Some stuff"),
told.
它可以工作，但我必须将文件名设置为'«name».«type»'，如下所示：
?- main.
|: 'Hello.txt'.
true.
我需要程序以这种方式接收名称，而不是使用单立方：
?- main.
|: Hello.
true.
文件的类型必须由我填写：
$ ls
Hello.
浏览 5提问于2015-10-01得票数 0
在内部将列表表示为右分支树。因此，a，b，c代表：
因此，空列表是否表示为具有单个根节点的树(空列表)？
一个包含空列表的列表是否表示为一棵有一个根节点和两个叶节点的树，这两个节点都是空列表？就像这样：
.
/ \
/ \
/ \
[] []
浏览 0提问于2014-03-26得票数 2
回答已采纳
1回答
我正在从一个文件中获取一些输入。一开始我把它读成原子，然后把它转换成数字。在我的例子中，保持“数字”完全相同是很重要的。例如，如果输入是0456，那么原子将是0456，但当转换为数字时，它将是456。这是很重要的保持数字完全相同的-even在乞讨中的0。我需要它以数字的形式存在，因为我必须做除法等。出于这个原因，我认为保持原子是不可能的，因此，我正在寻找一种方法来保持数字的原样。
示例输入如下所示：
1234
4563
0789
4560
“读取”代码如下：
read_a_line(Stream, Number) :-
read_line_to_codes(Stream,Line),
浏览 0提问于2019-08-14得票数 0
3回答
在Prolog中，只有当变量是instantiated时，才能检查variable是否为特定值。
? - my_rule(X).
my_rule(X):-
X = 4,
write('continue').
在这里，我试图检查X is 4，如果X is 4继续，但是如果X是_，我也希望规则继续，但是当它被调用时，比如X is 3，那么它就不应该继续。
结果会是这样：
?- my_rule(X).
continue
true.
?- my_rule(4).
continue
true.
?- my_rule(3).
false.
浏览 0提问于2018-12-05得票数 1
回答已采纳
2回答
我正在试验prolog，阅读“使用ISO标准在prolog中编程，第一版”。我已经在我的ubuntu 10.10 Maverick RC系统上安装了yap (又一个prolog)，是用synaptic安装的。我在emacs23中使用prolog模式运行prolog。
下面的代码(来自本书的第五章)没有给出本书中的结果：
/* FILE history_base.pl */
use_module(library(lists)) /* to use member/2 */
浏览 0提问于2010-10-08得票数 1
回答已采纳
2回答
我是prolog的新手，我正在尝试通过更改它们的优先级来重新分配prolog中的运算符。我在以下方面遇到了4个错误：
:-op(1000,yf,+). %unary plus%
:-op(1000,yf,-). %unary minus%
:-op(750,yfx,"%"). %modulo%
前两个给出了类似的错误，如下所示：
warning: directive failed (op(1000,xf,+)) with exception (error(permission_error(create,operator,+),op/3))
我也得到了一个模1的错
浏览 6提问于2013-02-18得票数 2
回答已采纳
1回答
我需要一些帮助，以找到规则和/或查询的知识库在Prolog与信息的客户在超市。
例如，我有：
Customer(Name,Age,Sex,Wage).
customer(John,30,M,2000).
customer(Mary,35,F,2500).
customer(Mark,40,M,2500).
invoice(Number, CostumerName, Product, Price).
invoice(001, John, Potatoes, 20).
invoice(002, John, Tomatoes, 10).
invoice(003, Mary, Soap, 50)
浏览 2提问于2015-06-15得票数 2
回答已采纳
1回答
我需要看看是否有三个人，至少有两个人来自g1组。我写道：
ingroup(person1, g1).
ingroup(person2, g1).
ingroup(person3, g1).
ingroup(person4, g2).
ingroup(person5, g2).
test_ok :- ingroup(X,g1),ingroup(Y,g1), ingroup(Z,G), diff(X,Y,Z).
diff(X,Y,Z) :- X =\= Y, X =\= Z, Y =\= Z.
这在SWI Prolog中产生了以下错误：
68 ?- test_ok.
ERROR: =\=/2: A
浏览 2提问于2014-02-12得票数 0
回答已采纳
4回答
是否有一种方法来检查一个字符串是否是Prolog中另一个字符串的子字符串？我尝试将字符串转换为一个字符列表，然后检查第一个集合是否是第二个字符的子集，而这个子集似乎不够严格。这是我目前的代码：
isSubstring(X,Y):-
stringToLower(X,XLower),
stringToLower(Y,YLower),
isSubset(XLower,YLower).
isSubset([],_).
isSubset([H|T],Y):-
member(H,Y),
select(H,Y,Z),
浏览 3提问于2013-11-27得票数 7
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM活动推荐
腾讯云开发者
