Discussion :

[tommy94]

bonjour
alors voilà j'ai un petit problème avec mon prédicat, je voudrais qu'il me renvoie la liste la plus longue de ma base de connaissance (exo typique des trains =/) mais j'avoue que là je suis un peu perdu .
j'ai déjà fait

Code :

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

1
2
3
4
5
6
7
8
9
10
mot([1,2,3]).
mot([1,2]).
mot([1,2,3,4,5]).
mot([1,2,3,4,5,6,7,8,9,10]).
 
taille([],0).
taille([T|L1],TAILLE) :- taille(L1,L), TAILLE is L+1.
 
longest([], 0).
longest(Lss, N) :- taille(Lss, L),L >= N.

alors que je voudrais qu'il me renvoie :
X = [1,2,3,4,5,6,7,8,9,10].

merci pour votre aide

[Trap D]

Je ne vois pas l'utilisation des faits mot dans les prédicats taille ni surtout longest !
Quel Prolog utilisez-vous ? Pouvez-vous utiliser bagof ? length ?

[tommy94]

j'utilise swipl, c'est juste que je n'arrive pas à définir mon prédicat longest qui me permettrait de renvoyer le wagon : mot(X) le plus long :/

d'un coté je préfère ne pas utiliser les prédicats prédéfinis .

[Trap D]

Le problème est surtout de trouver un moyen de passer en revue tous les faits mot/1.
Une possibilité est de créer un prédicat qui appelle mot/1 et qui se termine par fail. Ainsi tous les mots sont passés en revue, et pour récupérer le résultat dans un autre prédicat il faut écrire \+<le_predicat> (sinon le prédicat appelant échoue lui-même). Cela fonctionne en onjonction avec assert/retract.
Je vous laisse chercher sur cette voie.

[tommy94]

édite , oui je vois le truc maintenant , ça sera nettement plus simple.
L étant une liste mais comment faire pour qu'une fois toutes les permutations finies, test() s'arrête, et me mets à chaque permutation, e est mis dans ma bdc ?

Code :

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

test(L,X) :- permutation(L,Ls),assert(mes_mots(e)).

[Trap D]

Je pense qu'il faut à chaque étape retirer ce qui est mémorisé, comparer avec le mot courant, et remémoriser le mot le plus long.

[tommy94]

k ça va être un peu compliqué, je trouve.
Je pensais à générer une nouvelle base de connaissance en effectuant des permutations sur la liste que je lui aurai passé en argument. Après c'est du gâteau vu que j'aurai une base de connaissance propre.

Je me suis inspiré de ce que vous m'avez dit

Une possibilité est de créer un prédicat qui appelle mot/1 et qui se termine par fail. Ainsi tous les mots sont passés en revue, et pour récupérer le résultat dans un autre prédicat

, et cette solution est meilleure que celle que j'avais en tête.
Parcontre comment faire pour qu'à chaque permutation, il crée une base de connaissance sans que l'on ai besoin d'appuyer sur ";", pour continuer la création. =/

[Trap D]

Il suffit d'ajouter fail.

[tommy94]

ok merci beaucoup, tiens effectivement, il y a des doublons :/
il y aurai pas un moyen de les supprimer ?

[Trap D]

Bizarre qu'il y ait des doublons ?
On peut voir le code ?

[tommy94]

voici le code,

Code :

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

1
2
 
test(L2) :- permutation(L2,L3),assert(mes_mtss(L3)),fail.

d'un coté, je me dis que c'est un peu normal vu qu'il fait toutes les permutations, donc forcément il y a des permutations qui sont les même en l'occurrence :

Code :

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

test([a,b,a]).

[Trap D]

Je ne pensais qu'il y avait 2 elements égaux dans la permutation de départ !
Pour les suppriler il suffit de tester si elles existent déjà par un mes_mtss(L3) :

Code :

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

1
2
3
4
5
:- dynamic mes_mtss/1.
test(L2) :-
	permutation(L2,L3),
	(   \+mes_mtss(L3) -> assert(mes_mtss(L3)); true),
	fail.

N.B. la première ligne est indispensable, sinon le test \+mes_mtss(L3) engendre une erreur

[tommy94]

merci beaucoup

je ne pensais pas qu'on pouvait pas utiliser "\+" et les "->"

car dans le cours sur le site , j'avais pas très bien compris comment m'en servir

je vais pouvoir mettre [RESOLU]

merci encore et passez de bonne fêtes