DCG, который соответствует остальной части ввода

Отвечаю на свой глупый вопрос:

@CapelliC дал работающее решение (+1). Он делает что-то, чего я не понимаю :-(, но настоящая проблема заключалась в том, что я не понимал проблему, которую пытался решить. Настоящая проблема заключалась в следующем:

Проблема

У вас есть входной список кодов, который вам нужно проанализировать. В результате должен получиться термин. Вы знаете довольно близко к началу этого списка кодов, как выглядят остальные. Другими словами, он начинается с «ключевого слова», определяющего содержимое. В некоторых случаях, после некоторой точки ввода, остальное содержимое не нужно разбирать: вместо этого оно собирается в результирующем термине в виде списка кодов.

Решение

Одно из возможных решений — разбить синтаксический анализ на два вызова phrase/3 (поскольку нет причин не делать этого?):

1. Прочитайте ключевое слово (первый вызов phrase/3) и сделайте его атомом;
2. Посмотрите в таблице, как должно выглядеть остальное;
3. Анализировать только то, что необходимо проанализировать (второй вызов phrase/3).

Код

Итак, используя подход из (O'Keefe 1990) и используя преимущества library(dcg/basics), доступные в SWI-Prolog, с файлом rest.pl:

:- use_module(library(dcg/basics)).

codes_term(Codes, Term) :-
    phrase(dcg_basics:nonblanks(Word), Codes, Codes_rest),
    atom_codes(Keyword, Word),
    kw(Keyword, Content, Rest, Term),
    phrase(items(Content), Codes_rest, Rest).

kw(foo, [space, integer(N), space, integer(M)], [], foo(N, M)).
kw(bar, [], Text, bar(Text)).
kw(baz, [space, integer(N), space], Rest, baz(N, Rest)).

items([I|Is]) -->
    item(I),
    items(Is).
items([]) --> [].

item(space) --> " ".
item(integer(N)) --> dcg_basics:integer(N).

Важно, что здесь остальное вообще не должно обрабатываться правилом DCG.

Пример использования

Это решение хорошо, потому что оно детерминировано и его очень легко расширить: просто добавьте предложения в таблицу kw/4 и правила item//1. (Обратите внимание на использование флага --traditional при запуске SWI-Prolog для списков кодов, разделенных двойными кавычками)

$ swipl --traditional --quiet
?- [rest].
true.

?- codes_term("foo 22 7", T).
T = foo(22, 7).

?- codes_term("bar 22 7", T).
T = bar([32, 50, 50, 32, 55]).

?- codes_term("baz 22 7", T).
T = baz(22, [55]).

Альтернативой (которая не оставляет точку выбора) является использование встроенного нетерминала call//1 с лямбда-выражением. Использование синтаксиса лямбда-выражения Logtalk для иллюстрации:

rest(Rest) --> call({Rest}/[Rest,_]>>true).

Однако это решение немного неприятно, поскольку оно использует переменную с двойной ролью в лямбда-выражении (которое вызывает предупреждение компилятора Logtalk). Пример использования:

:- object(rest).

    :- public(test/2).
    test(Input, Rest) :-
        phrase(input(Rest), Input).

    input(Rest) --> [a,b,c], rest(Rest).

    rest(Rest) --> call({Rest}/[Rest,_]>>true).
%   rest([C|Cs]) --> [C|Cs].    % Carlo's solution

:- end_object.

Предполагая, что указанный выше объект сохранен в исходном файле dcg_rest.lgt:

$ swilgt
...

?- {dcg_rest}.
*     Variable A have dual role in lambda expression: {A}/[A,B]>>true
*       in file /Users/pmoura/Desktop/dcg_rest.lgt between lines 13-14
*       while compiling object rest
% [ /Users/pmoura/Desktop/dcg_rest.lgt loaded ]
% 1 compilation warning
true.

?- rest::test([a,b,c,d,e], Rest).
Rest = [d, e].

Вы должны быть в состоянии получить те же результаты, используя другие реализации лямбда-выражений, такие как библиотека lambda Ульриха.

может быть

rest([C|Cs]) --> [C|Cs] .

по крайней мере, в SWI-Prolog он работает (я использовал библиотеку (dcg/basics), чтобы получить номер)

line(I,R) --> integer(I), rest(R).
?- phrase(line(N,R), `6546 okok`).
N = 6546,
R = [32, 111, 107, 111, 107]