% tradutor simples

dict1(o,the).
dict1(gato,cat).
dict1(mia,miaus).


t1([],[]).

t1([X1|L1],[X2|L2]) :-
	(dict1(X1,X2) 
         -> true
         ;  X2 = +X1 
        ), 
        t1(L1,L2).

run(P,I) :- ex(P),
            t1(P,I).

ex([o,gato,mia]).
ex([o,gato,estuda,ciencias,da,computacao]).