% mvlpl02.pl

intro :-
 nl,
 write(' +-------------------------------------------------------+ '), nl,
 write(' +                                                       + '), nl,
 write(' +   MVL - Evaluateur de calculs en logique multivaluée  + '), nl,
 write(' +  *****                                                + '), nl,
 write(' +                                                       + '), nl,
 write(' +   taper aide. pour plus de renseignements,            + '), nl,
 write(' +         halt. pour quitter                            + '), nl,
 write(' +         (ne pas oublier le point !!!)                 + '), nl,
 write(' +                                                       + '), nl,
 write(' +-------------------------------------------------------+ '), nl,
 nl.

aide_act :-
  shell('xless -font 12x24  mvlpl.hlp &').
%  shell('o:\browser.exe  c:\lng\pl\mvlpl.hlp &').
aide :-
  aide_act, nl,
  write(' voici le texte d__aide (mvlpl.hlp).. en tache de fond !! '), nl,
  write(' via xless ou browser (si possible)'), nl,nl.

bye  :- affiche(" merci d'avoir utilisé mvlpl"),nl,
        affiche('                                    report to gilles.hunault@univ-angers.fr'),nl,
        affiche('                                    for improvements and updates.'),nl,nl,halt.
z    :- bye.
quit :- bye.
exit :- bye.

dos(X)  :- shell(X).
dos     :- nl,write('   dos(X) passe la commande X au Dos   ; exemple : dos(__dir__) ').

unix(X) :- shell(X).
unix    :- nl,write('   unix(X) passe la commande X à Unix  ; exemple : unix(__ls__)').