사용자가 입력 한 문자열이 목록의 문자열과 일치하는지 여부를 어떻게 확인할 수 있습니까?

Question

사용자가 입력 한 문장의 단어가 적어도 하나의 문자열과 일치하는지 확인하고 싶습니다. 여기에 내가 가진 것이있다. 예를 들어 'banana car'(예 : 'should not')를 입력하면 내 조건부 테스트가 false를 반환합니다.

swish prolog에서 나는 enterQuery라고 씁니다. 프롬프트되면 나는 '바나나 카'라고 적는다.

?- enterQuery. 
|: 'banana car'. 
[banana,car][banana,apple] 
false. 

는 대신, 예상 :

?- enterQuery. 
|: 'banana car'. 
[banana,car][banana,apple]successs 

Answer 1

당신은 많은 일을 내가 쿼리 할 때

enterQuery:- 
read(X), 
processQuery(X). 

processQuery(X):- 
split_string(X," ", " ", L), 
write(L), 
test(L). 

test(L):- 
write([banana, apple]), 
common_member(L,[banana,apple]), 
write('successs'). 

common_member(Xs,Ys) :- 
member(E,Xs), 
member(E,Ys). 

거짓 [바나나, 차] [바나나, 사과] 돌아 오기 당신이 보여주는 코드에서 불필요한 것들. 여기

내가 최상위 레벨에서 직접이 작업을 수행 할 방법은 다음과 같습니다

?- L = [banana, car], member(E, L), member(E, [banana, apple]). 
L = [banana, car], 
E = banana . 

은 현재의 약자로 문제는 코드가 string을 기대하고있다,하지만 당신은 그것을 원자를주는 것입니다. 귀하의 코드 :

?- enterQuery. 
|: "banana car". 
[banana,car][banana,apple] 
false. 

큰 따옴표에 유의하십시오.

여전히 문제가 있습니다 : 이제, 첫 번째 목록에서 banana 및 car은 string을하고, 두 번째 목록에서 banana 및 apple 원자이다.

또는 입증하기 :

?- read(X), string(X). 
|: banana. 

false. 

?- read(X), string(X). 
|: "banana". 

X = "banana". 

그래서 당신은 또한 당신이 [banana, apple]에서 ["banana", "apple"]에 비교하는 목록을 만들 필요가있다.

여전히 매우 지저분한 코드이므로이 대답의 맨 위에있는 첫 번째 코드 단편에 입력하는 대신 read/1으로 읽으려는 이유가 명확하지 않습니다.

편집 :

당신은 최상위 수준에서 문장을 입력해야하는 경우, 아무것도 (문자열을), (원자에 대한) 작은 따옴표 큰 따옴표를 포장, 여전히으로 입력에서 당신을 중지하지 은 술어에 대한 인수가입니다! 이로드와

string_words(S, Ws) :- 
     separators_string(Seps), 
     split_string(S, Seps, Seps, Ws). 

separators_string(Seps) :- 
     findall(C, 
       (char_type(C, white) 
       ; char_type(C, punct) 
       ), 
       Cs), 
     string_chars(Cs, Seps). 

: 여기

몇 가지 예제 코드입니다

?- string_words("banana car", Ws). 
Ws = ["banana", "car"]. 

?- string_words("Hello, how are you doing?", Ws). 
Ws = ["Hello", "how", "are", "you", "doing"]. 

Answer 2

SWI - 프롤로그에서 (많은) 텍스트 분석에 직면 할 때 당신이 시도 할 수있는 내장 tokenize_atom/2. 이름에도 불구하고, 실제로는 다른 텍스트 표현과 함께 작업 할 수 있습니다

?- tokenize_atom('apple banana', L). 
L = [apple, banana]. 

?- tokenize_atom("apple banana", L). 
L = [apple, banana]. 

?- tokenize_atom(`apple banana`, L). 
L = [apple, banana]. 

보리스는 이미 다른 세부 사항을 해결 ...