% file: swamorph 
% query: verb([ni, li, ku, lipa])?  % 1s-Past-3s-paid "I paid you"

initial(q1).
final(q6).

transition(q1, Subj, q2) :- subj(Subj).
transition(q2, Tense, q3) :- tns(Tense).
transition(q3, Stem, q6) :- stem(Stem).
transition(q3, Rel, q4) :- rel(Rel).
transition(q3, Obj, q5) :- obj(Obj).
transition(q4, Obj, q5) :- obj(Obj).
transition(q5, Stem, q6) :- stem(Stem).

subj(ni).	subj(u).	subj(tu).	subj(wa).
tns(na).	tns(li).	tns(me).
rel(ye). 	rel(o).
obj(ni).	obj(ku).	obj(tu).	obj(wa).
stem(lipa).	stem(piga).	stem(penda).

verb(S) :-
    initial(Q),
    verb(Q, S).
verb(Q, [X|Xs]) :-
    transition(Q, X, Q1), verb(Q1, Xs).
verb(Q, []) :-
    final(Q).

