Discussion :

[Alpha573]

Bonjour,
Je travaille actuellement sur un projet ou je dois créer une grammaire à partir de laquelle je dois générer des phrases.
Donc j'ai choisi Prolog mais là j'ai un petit soucis de débutant...

Mon problème est le suivant :
J'ai une adresse de départ, et la taille de cette adresse.
Je veux générer toutes les adresses possibles de facon à quelles soient comprises dans l'intervalle (adresseDebut+taille).

Exemple :
AdresseDebut=1000
Size=500

Par exemple ça générera Adresse=1000, Size = 500 ou bien Adresse = 1200, Size = 50 etc..

Donc j'ai fais ça en SWI-Prolog :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
 
/* Prédicat pour regionAdress et RegionOp.Size */
addrDebut(1000).
size(X) :-
   X>0,
   X<100. //Le 100 correspond à la size
 
phraseAddr(X,Y) :-
   addrDebut(X),
   size(Y).
   X+Y<1100.

Mais ça ne marche pas j'ai l'erreur suivante :

Code :

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

1
2
3
4
5
6
?- phraseAddr(1000,50).
true.
 
?- findall( (X,Y), phraseAddr(X,Y), R).
ERROR: >/2: Arguments are not sufficiently instantiated
?-

[Trap D]

Ta méthode permet une fois corrigée de générer des adresses valides, mais cela n'a rien à voir avec une grammaire.
Ta méthode corrigée :

Code :

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

1
2
3
4
5
6
7
8
adresse(1000).
size(500).
 
adresse_valide(X) :-
	adresse(Adr),
	size(Size),
	S is random(Size),
	X is Adr + S.

Cela te génère des adresses valides mais un bagof ne te les donnera pas toutes.
Au lieu de S is random(Size), tu peux faire un between(0, Size, S) qui les génère toutes mais les crée dans l'ordre croissant.

[Alpha573]

Merci pour ta réponse mais ce n'est pas ce je voulais réellement.
Parce-que d'une part on introduit un paramètre aléatoire, et moi je voudrais énumérer les solutions plutôt que de générer et tester si c'est valide avec un random.

De plus, je voudrais savoir si c'est possible d'avoir en plus de la sortie, la taille que le générateur à prit pour que ce soit valide.
Parce-que là ça me sort une adresse valide, mais je voudrais connaitre la taille, c'est à dire qui si par exemple j'ai pour adresse de départ 1000 et size 50 et que ça me sort une adresse de 1020, je voudrais la valeur 20, donc un tuple je suppose (1020,20).

Est-ce possible ?