CPSC 3520 - DAY 10
FEBRUARY 13, 2018

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

The two constraints that are required in order to be an element of a language
of the list.

	Terminals
	Derivable from S from P.

Most prolog interpreters have a LGN preprocessor.

x = aabac

is represented in Prolog as the list

[a, a, b, a, c]


s --> a,b.
a --> [terma].
b --> [termb].

goes to:

S(A,B) :- a(A,C), b(C,B).