Różnice
Różnice między wybraną wersją a wersją aktualną.
|
|
pl:prolog:pllib:dcg_interpreter [2019/06/27 15:50] |
pl:prolog:pllib:dcg_interpreter [2019/06/27 15:50] (aktualna) |
| ====== Dcg interpreter ====== |
| {{tag>DCG interpreter}} |
| ===== Description ===== |
| A definite clause grammar (DCG) interpreter |
| |
| **Source**: The Art of Prolog |
| ===== Download ===== |
| Program source code: {{dcg_interpreter.pl}} |
| ===== Listing ===== |
| <code prolog> |
| /* |
| parse(Start,Tokens) :- |
| The sequence of tokens Tokens represented as a difference-list |
| can be reached by applying the grammar rules defined by -->/2, |
| starting from Start. |
| */ |
| |
| :- op(40,xfx,\). |
| :- op( 800, xfx, -->). |
| |
| parse(A,Tokens) :- |
| nonterminal(A), A --> B, parse(B,Tokens). |
| parse((A,B),Tokens\Xs) :- |
| parse(A,Tokens\Tokens1), parse(B,Tokens1\Xs). |
| |
| parse(A,Tokens) :- terminals(A), connect(A,Tokens). |
| parse({A},Xs\Xs) :- A. |
| |
| terminals(Xs) :- list(Xs). |
| |
| list([]). |
| list([X|Xs]) :- list(Xs). |
| |
| connect([ ],Xs\Xs). |
| connect([W|Ws],[W|Xs]\Ys) :- connect(Ws,Xs\Ys). |
| |
| % Program 19.4: A definite clause grammar (DCG) interpreter |
| </code> |
| ===== Comments ===== |
| |