CPSC 3520 - DAY 11
FEBRUARY 15, 2018

================================================================================

Prolog and Grammars: The summary so far

+-----------------------+-------------------------+--------------------------+
| productions	        | in prolog LGN		  | translation		     |
+-----------------------+-------------------------+--------------------------+

				...


s([a,b], []).

No 

s([terma, termb], []).


Consider

s---> a, [b], c, [d].

with translation:

listing(s).
s(A,E) :-
a(A, B),
B=[b|C],
c(C, D),
D=[d|E].



s1(What,[]).
What = [termsa, termb, termc, termd].