% cette ligne
% demande la lecture des fichiers nomme
% vous ne devez pas toucher lexique et transfert
% (je peux tres bien les changer lors du test)
% vous n'avez qu'a ecrire tp3.pl
%
:-  consult([lexique,transfert,tp3]).


% un exemple de test
% qui sort toutes les traductions pour la phrase
% [paul aime sabrina terriblement]

run :- 
   analyse([paul,aime,sabrina,terriblement],X),
   format("Structure Source=~w~n",[X]),
   transfert(X,Y),
   format("Structure Cible =~w~n",[Y]),
   genere(Y,Z),
   format("Traduction=~w~n",[Z]),
   fail.

% un autre exemple ou je peux demander l'ensemble des paires <S,T>
% ou T est la traduction de S, pour toutes les phrases S que la grammaire
% est capable de reconnaitre.
% il ne me reste plus qu'a comparer votre sortie a celle que j'attends par
% un diff...

test :- 
  traduit(X,Y),
  format("[~w] se traduit par [~w]~n",[X,Y]),
  fail.

% pour tester automatiquement depuis la ligne de commande
:- run.


% c'est un exemple, je peux tres bien tester des phrases qui ne sont pas
% reconnue par la grammaire pour verifier que vous ne generez pas de traduction
% etc..
