Discussion :

[Rex R.]

Pouvez-vous m'aider sur la boucle suivante? J'ai une propriete, disons "fatigue", qui est defini (predicat "def") sur des intervals (par exemple int(5,10), int(10,15), int(15,25) ).

def(fatigue, int(5,10)).
def(fatigue, int(10,15)).
def(fatigue, int(15,25)).

J'aimerai qu'avec la requete def(fatigue, X), mon cher Prolog me retourne:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
def(fatigue, int(5, 10)) 
def(fatigue, int(10, 15))
def(fatigue, int(15, 25))
def(fatigue, int(5, 15))
def(fatigue, int(10, 25))
def(fatigue, int(5, 25))

Voilà. la reponse est sans aucun doute tres simple, mais je ne l ai pas.

J ai essaye avec:

defa(int(I,F1)) :-
def(int(I, F1)),
not defa(int(F1, F)).

defa(int(I,F)) :-
def(int(I, F1)),
bound(F1),
defa(int(F1, F)).

mais ma requete est du type defa(fatigue, X) et non plus def(fatigue, X).

Une barre de chocolat pour le premier qui trouve!!!

[billynirvana]

Je n'aime pas les trucs préfabriqués, donc je ne vais utiliser ton int, mais
partons du principe que l'on ait l'ensemble des prédicats:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
def(fatigue, 5, 10)->;
def(fatigue, 10, 15)->;
def(fatigue, 15, 20)->;
def(fatigue, 20, 25)->;

si j'exécute le but suivant:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

>def(fatigue, x, y);

j'obtiens:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

{{x=5; y=10}, {x=10; y=15}, , {x=15; y=20}, {x=20; y=25}}

si ca peut t'aider!

[Rex R.]

mais ca ne m'aide vraiment pas, car il me manque toutes les solutions qui m'interesse, i.e.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
{{x=5; y=15}, {x=5; y=20}, , {x=5; y=25} ... etc }

[billynirvana]

Ca marche pas ce truc?

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
def(fatigue, 5, 10)->;
def(fatigue, 10, 15)->;
def(fatigue, 15, 20)->;
def(fatigue, 20, 25)->;

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
def(fatigue, x, y)->
	def(fatigue, x, z);
	def(fatigue, z, y);

[Rex R.]

Tel quel ca ne marche pas, car mon prolog ne le trouve pas "valide". Pour le rendre valide, et sachant que je connais peu la synthaxe if then else -> ; j ai essayé avec:

def(fatigue, 5, 10).
def(fatigue, 10, 15).
def(fatigue, 15, 20).
def(fatigue, 20, 25).

def(fatigue, X, Y) :-
def(fatigue, X, Z),
def(fatigue, Z, Y).

Est-ce equivalent? L'ensemble des réponses données n'est toujours pas satisfaisant puisqu'il ne me repond pas def(fatigue, 10, 25) par exemple, et puis la derniere clause boucle infiniment.

[billynirvana]

1- Pour la syntaxe, oui effectivement, je n'utilise pas la même que toi. Donc il faut adapter avec ta version.
2- La boucle infinie est normale car les variables ne sont jamais liées...

Je pense qu'il n'existe pas de solution simple. Pour résoudre ton problème, il faut passer par un but avec un nom différent.

Par contre, il pourrait existeer des librairies permettant de gérer ton problème mais c'est contre nature Prolog .

EDIT: un truc du genre:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
defa(fatigue, x, y)->	
	def(fatigue, x, y);
 
defa(fatigue, x, y)->
	def(fatigue, x, z)
	defa(fatigue, z, y);

[Rex R.]

En effet, ca boucle .

Du reste, mais qu'est ce donc que c'est que cette synthaxe? Est ce la synthaxe dite de Marseille? Quelle est son utilité?

[billynirvana]

C'est la syntaxe historique du Prolog, celle dite de Marseille, plus précisément de l'université de Luminy Marseile où ce langage a été développé.

A bientot