DCG : DCG {} 코드 내의 변수에 나머지를 할당

Question

이 답변은 Very basic dcg prolog syntax 조금 도와 줬지만 [X]는 다음 문자 만 가져옵니다. 전체 문자를 읽고 싶습니다.

GNU Prolog를 사용하여 명령 옵션 파서를 작성하고 있는데 DCG 지점에 머물러 있습니다. 나는 "foo는 --as = JSON"에 대한 예를 들어 보이는이 문법 규칙을 가지고, 난 그냥 "어떤"의 결과에 코드 내 손을 얻는 방법 작동하지 않을 수 있습니다

as_opt --> "--as=", anything, { c(as_opt)}, !. 
anything --> [], {c(anything_match)}. 

을 그리고 그 gprolog 확장은 다음과 같습니다

as_opt([45, 45, 97, 115, 61|A], B) :- 
     anything(A, C), 
     c(as_opt), !, 
     C = B. 

anything(A, B) :- 
     c(anything_match), !, 
     A = B. 

은 "C()"조건은 간단 단지 형식()으로 실행 규칙이 그래서 그것을 실행으로 무슨 일이 일어나고 있는지 볼 수 stdout에 있음을 추적하는 데 사용됩니다. 나는 손으로 코드를 작성했다면 내가 할 것이다 :

%% for completeness here! 
c(Msg) :- format("Processed ~w~n", [Msg]). 

as_opt([45, 45, 97, 115, 61|A], B) :- 
     anything(A, C), 
     c(as_opt), !, 
     C = B, 
     { g_assign(gvValue, B)}. %% just for example 

원래 DCG로 돌아 간다 :

as_opt --> "--as=", anything, { c(as_opt), gassign(gvValue, ???)}, !. 

은 그래서가는 곳 "???" 입니다. 그것은 가능한가 ... 그것은 틀림 없다. DCP 규칙을 다시 확장하는 방법에 대한 gprolog 규칙을 다시 읽으 려합니다. 그러나 (facepalm) 나 자신에 대한 것이지만 그 동안은 도움이 가장 환영받을 것입니다.

감사합니다. Sean.

Answer 1

당신은 어떤 목록을 설명하는 간단한 DCG 비 터미널 중 하나를 요구하고 :

list([]) --> []. 
list([L|Ls) --> [L], list(Ls) 

:

list --> []. 
list --> [_], list. 

실제로 설명되는 목록에 액세스하기를, 당신은 인수를 소개합니다

다음과 같이 사용할 수 있습니다.

as_opt(Option) --> "--as=", list(Option). 

Answer 2

저는 전역 변수를 사용하지 않아야한다고 생각합니다. 대신, 값을 다시 얻기 위해, DCG 절에 인자 (들)을 추가

anything([C|Cs]) --> [C], anything(Cs). 
anything([]) --> []. 

그렇지 않으면, 나머지 구문/3의 마지막 인수로 사용할 수 있습니다, 규칙이 제목 일치 '소모', succeded 후.

Answer 3

더 나은 해결책이 있습니다. 더 빠르고 더듬 거리는 선택 포인트를 피할 수있는 매트에 의해 늑골이 붙어 있지만, 예를 들어,에 발견 된 바와 같이 call//1 내장형 비 터미널에 대한 지원이 필요합니다. SWI-Prolog, GNU Prolog 및 기타 Prolog 컴파일러. 또한 Logtalk. 고려 : SWI - 프롤로그 사용

as_opt(Option) --> "--as=", list(Option). 

list([L|Ls]) --> [L], list(Ls). 
list([]) --> []. 

as_opt2(Option) --> "--as=", call(rest(Option)). 

rest(Rest, Rest, _). 

더 차이를 설명하기 위해 :

?- phrase(as_opt(Option), "--as=json"). 
Option = [106, 115, 111, 110] ; 
false. 

?- phrase(as_opt2(Option), "--as=json"). 
Option = [106, 115, 111, 110]. 

?- time(phrase(as_opt(Option), "--as=json")). 
% 9 inferences, 0.000 CPU in 0.000 seconds (57% CPU, 562500 Lips) 
Option = [106, 115, 111, 110] ; 
% 2 inferences, 0.000 CPU in 0.000 seconds (63% CPU, 133333 Lips) 
false. 

?- time(phrase(as_opt2(Option), "--as=json")). 
% 6 inferences, 0.000 CPU in 0.000 seconds (51% CPU, 285714 Lips) 
Option = [106, 115, 111, 110]. 

스퓨리어스 선택 점은 list//1 비 터미널의 정의에서 비롯됩니다. 성능 차이는 call//1은 암시 적 목록 인수에 단순히 액세스 할 수 있지만 list//1 비 터미널은 암시 적 인수의 요소별로 목록 복사 요소를 수행하고 있습니다.call//1 성능, 접두사 후 문자 수의 독립적 인 일정 동안 결과적으로, list//1 버전의 성능은 --as= 접두사 다음 문자에 선형은 다음과 같습니다

?- time(phrase(as_opt(Option), "--as=jsonjsonjsonjsonjsonjsonjsonjsonjsonjsonjsonjson")). 
% 54 inferences, 0.000 CPU in 0.000 seconds (83% CPU, 2700000 Lips) 
Option = [106, 115, 111, 110, 106, 115, 111, 110, 106|...] ; 
% 4 inferences, 0.000 CPU in 0.000 seconds (69% CPU, 137931 Lips) 
false. 

?- time(phrase(as_opt2(Option), "--as=jsonjsonjsonjsonjsonjsonjsonjsonjsonjsonjsonjson")). 
% 6 inferences, 0.000 CPU in 0.000 seconds (79% CPU, 333333 Lips) 
Option = [106, 115, 111, 110, 106, 115, 111, 110, 106|...].