assertions_etu

来自「这是用prolog写的几个程序：程序１是一个旅行社关系系统」· 代码 · 共 38 行

etudiant(et001,ibolya,bagyi)->;
etudiant(et002,yue,zhoyu)->;
etudiant(et003,marie,jeanraut)->;
etudiant(et004,ivan,fontarensky)->;
etudiant(et005,ailing,jeam)->;
etudiant(et006,amadu,jeam)->;

binomes(bi1,et001,et002)->;
binomes(bi2,et003,et004)->;
binomes(bi3,et005,et006)->;

inscrit(et001,compi)->;
inscrit(et002,compi)->;
inscrit(et003,compi)->;
inscrit(et004,compi)->;
inscrit(et005,compi)->;
inscrit(et006,compi)->;
inscrit(et001,fonctionnelle)->;
inscrit(et002,fonctionnelle)->;
inscrit(et003,fonctionnelle)->;
inscrit(et004,fonctionnelle)->;
inscrit(et005,systeme)->;
inscrit(et006,systeme)->;

notes(et001,compi,12.10e0)->;
notes(et001,compi,20)->;
notes(et002,compi,14)->;
notes(et003,compi,15)->;
notes(et004,compi,12)->;
notes(et005,compi,16)->;			
notes(et006,compi,17)->;
notes(et001,fonctionnelle,10)->;
notes(et002,fonctionnelle,12)->;
notes(et003,fonctionnelle,13)->;
notes(et004,fonctionnelle,14)->;
notes(et005,systeme,15)->;
notes(et006,systeme,16)->;