[PROLOG] Prédicat tous_differents avec des couples

Recherche :

Mot : Pseudo : Filtrer
Bas de page
Auteur	Sujet : [PROLOG] Prédicat tous_differents avec des couples

ITM

Avatar peint à la main

Salut!
Je n'arrive pas à trouver un prédicat satisfaisant pour faire un "tous_differents" sur une liste de couple d'entiers...
A chaque fois, j'arrive à un truc qui certe "marche" mais pose trop de contraintes, du coup ça complexifie énormément les choses pour rien
Vous avez une idée :??:

Message édité par ITM le 25-10-2006 à 18:57:51

Publicité

Trap D

En SWI-Prolog, tu peux utiliser sort/2, qui va te trier la liste en ordre croissant des premiers éléments des couples, après tu n'as plus qu'à balayer ta liste pour répérer les couples identiques (si j'ai bien compris ce que tu demandes).

ITM

Avatar peint à la main

En fait je veux générer des couples de coordonnés entières compris entre (X1,Y1) et (X2,Y2)

Ma démarche est :
- Générer une liste de (X2-X1+1)*(Y2-Y1+1) couplets
- Contraindre la liste de couplets (en gros couplets_tous_entiers, valeurs_tous_compris_entre X1 et X2, Y1 et Y2, couplets_tous_différents)
- Enumérer

Le tous_differents me fait crasher le prog : j'ai fait un truc trop complexe ou les contraintes se recoupent (à cause d'un ou qui est pas mutuellement exclusif), alors je me demandais si y'avait plus simple...
En attendant j'ai remplacé cette méthode par un double "for" mais c'est pas vraiment l'esprit Prolog et c'est l'usine comparé à ça...
:hello:

Message cité 1 fois

Trap D

ITM a écrit :

C'est celà que tu veux ?

Code :

% je définis ce qu'est un tuple cherché
tuple((X1,Y1),(X2,Y2), (X,Y)) :-
between(X1,X2,X),
between(Y1,Y2,Y).
% J'indique à Prolog que je veux tous les tuples
% verifiant mon, prédicat tuple
tous_les_tuples(X, Y , L) :-
bagof(T, tuple(X,Y,T), L).

-? tous_les_tuples((1,2), (3,4),L).

L = [ (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (..., ...)] ;

No

PS : fonctionne en SWI-Prolog

Message édité par Trap D le 26-10-2006 à 01:03:15

ITM

Avatar peint à la main

Ouais c'est exactement ça :love:
Je connaissais pas du tout between, honte à moi (edit : et j'aurais pu le faire moi même d'ailleurs )
Merci mille fois en tout cas, je teste dès demain :jap:

Message édité par ITM le 26-10-2006 à 01:44:11

Trap D

S'embarquer dans des for, c'est le signe qu'on est encore marqué par la programmation impérative, enfin pour moi c'était le cas.
Prolog est puissant pour ce genre de problème : trouver tous les ...

ITM

Avatar peint à la main

Ouais je suis tout à fait d'accord
Alors, là j'ai un autre problème... En fait à mon école on est sur Prolog IV :'(
Du coup, bagof me balance un joli "not implemented" quand je l'utilise dans ce cas là... j'ai vérifié, ça marche nickel avec SWI-Prolog. En remplaçant par findall ça me fait la même chose, pourtant que jais que celui là marche dans des cas plus simples.
J'ai l'impression qu'il sait pas qu'on est sur un espace de nombre entier ou je ne sais quoi. J'ai beau foutre des int(X1), int(Y1), ... Rien à faire...
Comment faire?

Message cité 1 fois
Message édité par ITM le 26-10-2006 à 14:33:10

Trap D

ITM a écrit :

Désolé, je ne connais pas Prolog IV
Essaye sur DVP, peut-être pourra-t-on te renseigner ?

ITM

Avatar peint à la main

Ok, DVP, qu'est-ce :??:

Message cité 1 fois

Trap D

ITM a écrit :

Ok, DVP, qu'est-ce :??:

DVP c'est ici

FORUM HardWare.fr

Programmation

Divers

[PROLOG] Prédicat tous_differents avec des couples

Sujets relatifs
Problème ligne de base CSS -> IE et Firefox différents ...	pbm pour inverser une liste en prolog
interaction entres des pages web sur différents serveurs	Help ! Macro excel pour importer données de differents onglets
css différents sur différents calques de textes	paragraphes + float differents sous IE et Firefox
{Résolu}Comparer deux colonnes dans deux fichiers différents	Problèmes de variables communes à différents Threads
Filtre sur formulaire et défilement avec des droits différents suivant	[Prolog] Garder en mémoire la valeur d'une variable
Plus de sujets relatifs à : [PROLOG] Prédicat tous_differents avec des couples

Page générée en 0.055 secondes