% mvlpl.pl

% ##
% ##         mvlpl.pl,  Hunault (gH) 96  :
% ##         MVL - Evaluateur de calculs en logique multivaluée
% ##         please report to gilles.hunault@univ-angers.fr
% ##         for improvements and updates.
% ##

% ????? faire un halt. par halt (sans point).                   **
% ????? tester si on est sous Dos ou sous Unix                  **
% ????? n(X,Y,Z) pour Z=n(X) en taille Y                        **
% taille(X) par assert et retract, baze aussi
% manque propu etc.

% http://swi.psy.uva.nl/projects/xpce/SWI-Prolog.html
% http://www.idt.unit.no/GET/ffwcgi.en/prolog?key=*

% ## 0.0 Modules en chargement forcés

% ## 1.0 Gestion des compteurs

% ## 2.0 Modules généraux

% ## 3.0 Opérateurs

% ## 4.0 Définition des opérateurs classiques

% ## 5.0 Affichages

% ## 6.0 Prédicats de gestion de l'incertitude

% ## 8.0 Base de connaissance pour l'exemple de Lauritzen

% ## 9.0 Buts

chercheEtTrouveOld   :-  cert_quand(tubr,inter(asia,smok),K),write(K), nl.

chercheEtTrouve      :-  cert_quand(tubr,inter(dysp,xray),K),write(K), nl.

pied :- intro,
    err_all_compt,
    prompt(_,__),
    new_compt(ligne),
    saisie.

main :- chercheEtTrouve.

:- main.

%%% ******************************************************** FIN DE MVL.PL