;
cette base de regles ne tient pas compte de toutes les contraintes.
hypotheses retenues:
	 chaque equipe a un terrain dit domicile
;


;
cette regle determine la liste des matchs de la saison
;
REGLE QUI_CONTRE_QUI
SI
	(E1) JOUE_EN (D)' VRAI
	(E2) JOUE_EN (D)' VRAI
	(E1) <> (E2)
ALORS
	(E1) VS (E2)' VRAI
	(E1) ALLE (E2)' FAUX 

REGLE MATCH_ALLE
SI
	(E1) VS (E2)' VRAI
	(E1) ALLE (E2)'FAUX
	(E2) ALLE (E1)'FAUX
	TOTO = 0
ALORS
	((E1) ALLE (E2))' = VRAI

REGLE MATCH_RETOUR
SI
	(E1) VS (E2)' VRAI
	(E1) ALLE (E2)'VRAI
	
ALORS
	((E2) RALLEZ (E1))' = VRAI
		


;
cette regle programme les lieus et jour des matchs
;
REGLE SAISON_ALLE
SI
	(E1) ALLE (E2)' VRAI 
	(E1) JOUE_SUR (T)' VRAI
	(E1) EST_LIBRE (J)' VRAI
	(E2) EST_LIBRE (J)' VRAI
	((T) DISPONIBLE ((J) A (H))) UTILISABLE (N)' VRAI
	(E1) NE_JOUE_PAS (N)'VRAI
	(E2) NE_JOUE_PAS (N)'VRAI
ALORS	
	ECRIRE(ENVOI, (E1) "&" (E2) "&" (J) "&" (H) "&" (T) "&" (N) "&")
	((E1) VS (E2))' = FAUX
	((E1) ALLE (E2))' = FAUX
	(((T) DISPONIBLE ((J) A (H))) UTILISABLE (N))' = FAUX
	((E1) NE_JOUE_PAS (N))' = FAUX
	((E2) NE_JOUE_PAS (N))' = FAUX

;
cette regle programme les lieus et jour des matchs
;
REGLE SAISON_RETOUR
SI
	(E1) RALLEZ (E2)' VRAI 
	(E1) JOUE_SUR (T)' VRAI
	(E1) EST_LIBRE (J)' VRAI
	(E2) EST_LIBRE (J)' VRAI
	((T) DISPONIBLE ((J) A (H))) UTILISABLE (N)' VRAI
	(E1) NE_JOUE_PAS (N)'VRAI
	(E2) NE_JOUE_PAS (N)'VRAI
ALORS	
	ECRIRE(ENVOI, (E1) "&" (E2) "&" (J) "&" (H) "&" (T) "&" (N) "&")
	((E1) VS (E2))' = FAUX
	((E1) RALLEZ (E2))' = FAUX
	(((T) DISPONIBLE ((J) A (H))) UTILISABLE (N))' = FAUX
	((E1) NE_JOUE_PAS (N))' = FAUX
	((E2) NE_JOUE_PAS (N))' = FAUX