Subversion Repositories programming

Rev

Details | Last modification | View Log | RSS feed

Rev Author Line No. Line
107 ira 1 
delta(0,a,1).
2 
delta(0,b,0).
3 
delta(1,a,1).
4 
delta(1,b,2).
5 
delta(2,a,2).
6 
delta(2,b,2).
7 
start(0).
8 
final(2).
9 
 
10 
parse(L) :- start(S), trans(S,L).
11 
 
12 
 
13 
trans(X,[A|B]) :-
14 
      delta(X,A,Y),   /*  X ---A---> Y */
15 
      write(X),
16 
      write('  '),
17 
      write([A|B]),
18 
      nl,
19 
      trans(Y,B).
20 
 
21 
 
22 
trans(X,[]) :-
23 
      final(X),
24 
      write(X),
25 
      write('  '),
26 
      write([]), nl.
27