[Prolog] débutant..

Recherche :

Mot : Pseudo : Filtrer
Bas de page
Auteur	Sujet : [Prolog] débutant..

guiguivts

Salut!

j'ai un petit probleme prolog pas bien compliqué je pense mais je voie pas trop comment le résoudre

C'est par rapport à ce prédicat :

Code :

deplacementdroiteinutile(X,Y) :- vision(A,B) , A is (X+1) , vue(A,B) , voisin(A,B,C,D) , vue(C,D).

En fait à partir d'une case de coordonnée X et Y je récupere les voisins à droite de cette case ( (X,Y+1) , (X,Y) , (X,Y-1) )

J'en ai donc au maximums trois et à partir de ces trois nouvelles cases je récupère la liste des voisins de ces trois cases grace au prédicat voisin ( je suis sûr qu'il fonctionne je l'ai testé) et je voudrai que TOUS ces voisins soient vus (grace au prédicat vue(C,D) )

Mon problème c'est que le prédicat déplacementdroiteinutile est vrai si il y a au moins un vue(C,D) vrai. or je voudrai qu'ils soient tous vrai mais je ne voie pas comment faire..

merci d'avance :mrgreen:

Message édité par guiguivts le 08-04-2007 à 12:46:16

Publicité

guiguivts

En fait pour réduire le problème

Pour ce prédicat :

Code :

toto :- case(X,Y) , paire(X).

Il me sort vrai car il existe une case de coordonnée X paire mais comment faire si je veux que toutes les cases aient X paire ?

Message cité 1 fois
Message édité par guiguivts le 08-04-2007 à 13:13:02

Trap D

guiguivts a écrit :

En fait pour réduire le problème

Pour ce prédicat :

Code :

toto :- case(X,Y) , paire(X).

Il me sort vrai car il existe une case de coordonnée X paire mais comment faire si je veux que toutes les cases aient X paire ?

essaie :

Code :

toto :-
forall(case(X,_), paire(X)).

Valalble avec SWI-Prolog.

Message édité par Trap D le 08-04-2007 à 16:25:32

guiguivts

J'ai trouvé un moyen détourner mais ça peut toujours servir merci

guiguivts

Salut , toujours question de débutant :

J'ai un damier de créer avec des cases des murs etc..

Je cherche à faire un prédicat me disant s'il y a un chemin entre une case et une autre :

j'ai fait ça :

existechemin(X,Y,A,B) :- voisin(X,Y,A,B).
existechemin(X,Y,A,B) :- existechemin(C,D,A,B) , voisin(X,Y,C,D).

L'ennui c'est que bien sûr ça boucle.. je voie bien d'ou ça vient et comment corriger le problème en utilisant des listes. (enfin je pense..) mais est ce que c'est possible sans utiliser de listes ?

Trap D

On touche aux graphes là, et sans les listes, je ne vois pas trop comment t'en sortir.

guiguivts

Oki j'ai trouvé des tutos intéressants je vais donc devoir me les taper

J'ai déjà vu djikstra et autres en cours mais de là à les faire en prolog berk!

Message cité 1 fois

Trap D

guiguivts a écrit :

Oki j'ai trouvé des tutos intéressants je vais donc devoir me les taper

J'ai déjà vu djikstra et autres en cours mais de là à les faire en prolog berk!

Pas berk :??:
Je t'invite à y réfléchir sérieusement, tu auras beaucoup à y gagner.
Cette adressepour te montrer ce qu'on peut faire

guiguivts

J'ai commencer à voir comment tester si un chemin existait en utilisant les listes mais je bloque. j'ai ça comme prédicat :

Code :

existechemin(X,Y,X,Y,_).
existechemin(X,Y,A,B,_) :- voisin(X,Y,A,B),!.
existechemin(X,Y,A,B,L) :- voisin(X,Y,C,D) , not(membre(case(C,D),L)) ,existechemin(C,D,A,B,[case(X,Y)|L]).
membre(case(X,Y),[case(X,Y)|_]).
membre(case(X,Y),[_|S]) :- membre(case(X,Y),S).

mais bien sûr ça ne fonctionne pas

Message édité par guiguivts le 11-04-2007 à 13:55:25

guiguivts

Etonnant j'ai rajouté dans mon troisieme existe chemin un prédicat estliste(L) décrit comme ça :

estliste([]).
estliste([X|S]).

et ça fonctionne, à priori ça ne marche pas sans ça car on ne sait pas ce que c'est L mais j'avoue que je voie pas tres bien pourquoi !

Publicité

guiguivts

Enfin de compte ça ne marche pas si le chemin n'existe pas, il boucle...

guiguivts

Y a pas des connaisseurs en prolog par ici ?

guiguivts

Pablo Escrobarbe

Retour d'exil

non apparement. [:dawa]

_darkalt3_

Proctopathe

FUIS PENDANT QU4IL EN EST ENCORE TEMPS PAUVRE FOU §§§§ [:gandalf]

---------------
Töp of the plöp

Trap D

Plusieurs choses
Choisis, travaille avec des cases ou avec des coordonnées mais là tu mélangers un peu.

Ton prédicat membre/2, tu peux l'écrire comme ça, ce sera plus général :

Code :

membre(X, [X| _]) :- !.
membre(X, [_ | T] :-
membre(X, T).

Sans test aucun car je n'ai pas Prolog sous la main, je ferais comme ça :
Je pars de la case (X,Y) et je veux aller à la case (A,B)

Code :

existechemin(X,Y,X,Y,[]). % le chemin est vide entre les deux mêmes cases
existechemin(X,Y,A,B,[case(A,B)]) :- voisin(X,Y,A,B),!.
existechemin(X,Y,A,B,[case(A,B) | L] ) :-
% La case(C,D) est proche de la case (A,B)
voisin(X,Y,C,D) ,
% je regarde s'il existe un chemin de la case(X,Y) à la case(C,D)
existechemin(X,YC,D,L),
% On regarde si la case n'a pas déjà été visitée.
not(membre(case(A,B),L)).

Attention ce code te donne le chemin à l'envers.
Maintenant, personnellement, je chercherais toutes les cases accessibles en 1 pas, puis toutes celles accessibles en 2, puis 3 jusqu'a arriver à la case(A,B). Cette méthode te donnera en plus le plus court chemin.

_darkalt3_ [:alana21]

Message édité par Trap D le 11-04-2007 à 17:53:16

guiguivts

J'ai fait plus ou moins pareil je trouve non ?

Tu pars de la case X,Y pour aller à la case A,B donc tu cherches récursivement s'il existe un chemin de X,Y à C,D C,D étant proche de A,B

Moi je pars de X,Y pour aller à A,B et je cherche s'il existe un chemin entre C,D et A,B C et D étan proche de X,Y ça revient au même je trouve mais je peux me tromper.

J'ai tester ton code ça revient au même que le mien ça boucle dans certains cas lorsque le chemin n'existe pas

bye

Trap D

Bon, je suis devant SWI-Prolog et maintenant ça fonctionne.

Voilà comment j'ai travaillé.
J'ai défini le prédicat voisin comme ceci :

Code :

voisin(case(X,Y),case(A,B)) :-
( A is X - 1, B = Y, case(A,B));
( A is X + 1, B = Y, case(A,B));
( A = X, B is Y - 1, case(A,B));
( A = X, B is Y + 1, case(A,B)).

Pour pouvoir, en interrogeant la base de fait de cette façon : voisin(case(X,Y),Z). obtenir toutes les cases voisines de la case(X,Y).

J'utilise maintenant un prédicat existechemin(X,Y,L, NL) donc à 4 arguments où
X est la case de départ,
Y est la case d'arrivée,
L est le chemin déjà parcouru
NL le chemin final

Maintenant on construit le chemin :

Code :

% Quand les deux case sont voisines on ajoute simplement
% les deux cases au chemin déjà parcouru (on a terminé).
existechemin(X,Y,L, L1) :-
voisin(X,Y),
!,
append([X,Y], L, L1).
% Sinon, on va chercher une case voisine
existechemin(X , Y, L, L1) :-
% La case Z est proche de la case Y
voisin(Y,Z),
% la case n'a pas déjà été visitée
\+membre(Z,L),
% je calcule le chemin de la case X à la case Z
existechemin(X, Z, [Y | L], L1).

Le chemin est construit dans l'ordre.
Maintenant, pour rechercher un chemin, tu fais par exemple

Code :

existechemin(case(1,1), case(5,4), [], L).

Message édité par Trap D le 12-04-2007 à 00:16:31

guiguivts

Bon bien ça ne marche pas il aime pas ton append et même sans rajouter de L1 en gardant juste L il boucle j'utilise sicstus prolog mais je crois que je vais arréter je perd trop de temps

Trap D

Dommage, utilise SWi-Prolog, c'est mieux.

PS : si c'est la append qui te gène, fais

Code :

existechemin(X,Y,L, [X, Y | L]) :-
voisin(X,Y), !.

Message édité par Trap D le 12-04-2007 à 11:52:56

guiguivts

je peux utiliser que sicstus car je l interface avec java

merci en tous cas

guiguivts

en fait le soucis c'est que dans ce prédicat

existechemin(X , Y, L, L1) :-
voisin(Y,Z),
/+membre(Z,L),
existechemin(X, Z, [Y | L], L1).

Ptet que ça marche mais je ne comprend pas dans ce cas , comme on rajoute La nouvelle case Y dans l'appel récursif il est possible que l'on teste quand même deux fois ce Y.

Par exemple on appelle une premiere fois ce prédicat et X à plusieurs voisins Z On rappelle ce prédicat récursivement avec le premier voisins et donc le premiers voisin va rajouter ses propres voisins à L. Mais lorsque cet appel sera terminé le permier appel du prédicat va reprendre avec un autre voisin mais avec l'ancienne liste L et donc il est possible de tester plusieurs fois la même case c'est peut etre ce qui boucle je ne sais pas.

ça ne boucle que sur certain cas c'est bizarre.

Trap D

Peux-tu m'indiquer tes cases valides ?
Moi j'ai défini dans ma base de faits
case(1,1).
case(1,2).
case(1,3).
etc, de manière à avoir plusieurs possibilités de chemins pour aller d'une case à une autre, et je les obtiens tous. Le problème vient peut-être de cette définitions de case.

voisin(Y,Z) doit fournir un voisin de Y à chaque appel, c'est essentiel.
Par le phénomène de backtrack, quand un parcours échoue on revient sur ses pas et on essaye avec un nouveau voisin.

guiguivts

Oui je comprend pas non plus. en fait j'ai un damier de 10 sur 10 avec des murs à l'intérieur si je prend un nombre assez petit de case par exemple 10 12 ça fonctionne mais si j'en prend 50 ça ne marche plus.

Il y a donc 100 cases mais elles ne sont pas forcément accessibles.

guiguivts

Voilà mon code : voisin j'ai testé à beaucoup de reprises et il fonctionne :

le prolog :

Code :

membre(X,[X|_]) :- !.
membre(X,[_|T]) :- membre(X,T).
voisindeux(case(X,Y),case(A,B)) :- voisin(X,Y,A,B).
existechemin(X,Y,L,[X,Y|L]) :- voisindeux(X,Y) , ! .
existechemin(X,Y,L,L1) :- voisindeux(Y,Z) , \+membre(Z,L) , existechemin(X,Z,[Y|L],L1).

le java

Code :

if(sp.boolRequete("existechemin(case(1,1),case(10,1),[],L)." ))
{
System.out.println("il y a un chemin" );
}
else
{
System.out.println("il n y a pas de chemin" );
}

Je pige pas..

guiguivts

Pourquoi ça marche pas :'(

Trap D

Tu es sûr de l'interface avec Java ?
D'autre part cette méthode bouffe pas mal de mémoire, des algos plus élaborés seraient sans doute plus adaptés.
Cependant, je viens de faire le test avec ça,

Code :

damier(L) :-
L = [[1,1,1,0,0,0,1,1,1,0],
[1,0,1,0,0,0,1,1,1,1],
[1,1,1,1,1,1,1,0,0,1],
[1,1,1,0,0,0,1,0,1,0],
[1,0,1,1,1,1,1,1,1,0],
[1,1,0,0,0,0,1,0,1,0],
[0,1,1,0,0,0,1,0,1,0],
[0,1,0,0,0,0,1,0,1,0],
[1,1,1,0,0,0,1,1,1,0],
[1,1,1,1,1,1,1,1,1,1]].
cell(X,Y):-
damier(L),
nth1(X,L, R),
nth1(Y,R,1).

Ca fonctionne très bien.

Message édité par Trap D le 12-04-2007 à 17:57:59

guiguivts

honnetement je comprend pas ça fait 24h que je suis dessus quand même

je viens de passer 10 minutes à faire exactement la même chose en utilisant java et prolog juste pour tester si les faits existent et ça fonctionne donc je voie pas mais bon ça a l'air de marcher

Par contre comme prévu c'est long et lourd en java alors qu'en prolog c'est censé faire 3 lignes..

Trap D

Pour Plus de renseignements sur l'interface Java, reagarde là :
http://groups.google.de/group/comp.lang.prolog/topics

guiguivts

merci pr tout

Trap D

Ce petit programme en java fonctionne très bien avec l'interface jpl de SWI-Prolog.

Code :

import java.util.Hashtable;
import jpl.*;
import jpl.Query;
public class Labyrinthe
{
public static void
main( String argv[] )
{
String t1 = "consult('Labyrinthe.pl')";
Query q1 = new Query(t1);
System.out.println( t1 + " " + (q1.hasSolution() ? "succeeded" : "failed" ) );
String t2 = "existechemin(cell(7,9), cell(10,10), [], L)";
Query q2 = new Query(t2);
System.out.println( "first solution of " + t2 + ": L = " + q2.oneSolution().get("L" ));
//--------------------------------------------------
java.util.Hashtable[] ss2 = q2.allSolutions();
System.out.println( "all solutions of " + t2);
for ( int i=0 ; i<ss2.length ; i++ ) {
System.out.println( "L = " + ss2[i].get("L" ));
}
//--------------------------------------------------
System.out.println( "each solution of " + t2);
while ( q2.hasMoreSolutions() ){
java.util.Hashtable s2 = q2.nextSolution();
System.out.println( "L = " + s2.get("L" ));
}
}
}

Code de Labyrinthe.pl

Code :

damier(L) :-
L = [[1,1,1,0,0,0,1,1,1,0],
[1,0,1,0,0,0,1,1,1,1],
[1,1,1,1,1,1,1,0,0,1],
[1,1,1,0,0,0,1,0,1,0],
[1,0,1,1,1,1,1,1,1,0],
[1,1,0,0,0,0,1,0,1,0],
[0,1,1,0,0,0,1,0,1,0],
[0,1,0,0,0,0,1,0,0,0],
[1,1,1,0,0,0,0,1,0,0],
[1,1,1,1,1,1,1,1,1,1]].
cell(X,Y):-
damier(L),
nth1(X,L, R),
nth1(Y,R,1).
voisin(cell(X,Y),cell(A,B)) :-
( A is X - 1, B = Y, cell(A,B));
( A is X + 1, B = Y, cell(A,B));
( A = X, B is Y - 1, cell(A,B));
( A = X, B is Y + 1, cell(A,B)).
% existechemin(X,X,L,[X | L]). % le chemin est vide entre les deux
% mêmes cases
existechemin(X,Y,L, [X,Y |L]) :-
voisin(X,Y),
!.
%append([X,Y], L, L1).
existechemin(X , Y, L, L1) :-
% La case Z est proche de la case Y
voisin(Y,Z),
\+membre(Z,L),
% je regarde s'il existe un chemin de la case X à la case Z
existechemin(X, Z, [Y | L], L1).
membre(X,[X |_]):- !.
membre(X,[_|S]) :-
membre(X,S).

guiguivts

Salut,

merci pour ton dernier message. J'avais un peu laissé tombé mais quand même réussi à faire fonctionner chemin

là j'essaye de récupérer la liste des chemin mais ça ne fonctionne malheureusement pas :-(

donc j'ai plus ou mon les mêmes prédicats pour existe chemin :

Code :

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% prédicat permettant de trouver un chemin entre deux cases %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
voisindeux(case(X,Y),case(A,B)) :- voisin(X,Y,A,B).
existechemin(X,X,L,[X | L]). % le chemin est vide entre les deux
existechemin(X,Y,L, [X,Y |L]) :- voisindeux(X,Y) , !.
existechemin(X , Y, L, L1) :- voisindeux(Y,Z) , \+membre(Z,L), existechemin(X, Z, [Y | L], L1).

Pour récuperer une liste de résultat nous utilisons une fonction faite par le prof :

Code :

public LinkedList listeresultat(String texte,String terme){
HashMap resultat = new HashMap();
LinkedList retour = new LinkedList();
try {
SPQuery query=sp.openQuery(texte,resultat);
while (query.nextSolution ()) {
retour.add(((SPTerm)resultat.get(terme)).toString());
}
query.close();
} catch (Exception e) {e.printStackTrace();}
return retour;
}

Et j'appelle ça comme ça :

listechemin =_sp.listelisteresultat("existechemin(case(1,1),case(3,1),[],L).", "L" );

malheureusement ça boucle..

J'ai une autre méthode pour récuperer le premier résultat de cette liste :

Code :

public String premierresultat(String texte, String terme){
HashMap result = this.requete(texte);
if (result.size()>0) return ((SPTerm)result.get(terme)).toString();
else return "";
}

Cela fonctionne pourtant !

bye

guiguivts

Trap D

Je ne m'y connais malheureusement pas assez en Java pour te conseiller.
Tout ce que je peux dire, c'est que dans l'exemple que j'ai posté, je récupère tous les chemins. Il est adapté des exemples de JPL de SWI-Prolog.

guiguivts

Oui moi aussi il le fait bien, l'ennui c'est que lorsqu'il n'y a plus de chemins possibles ça boucle de même avec ton exemple quand je teste sur un chemin qui n'existe pas il boucle

Trap D

Je viens de faire le test, le programme génère une exception que tu peux intercepter si le chemin n'existe pas, (toujours avec SWI-Prolog et JPL).

Publicité

FORUM HardWare.fr

Programmation

Divers

[Prolog] débutant..

Sujets relatifs
[cpp] [Débutant]Question à propos de liste chainées	Devcpp pour les nuls [Débutant]
faire une boucle correcte... grand débutant	Débutant PHP,besoin d'aide
Problemme sur fonction [debutant]	aide pour creation annuaire (débutant)
SSH, serveur dédié pour débutant, comment?	Compilation de template... (débutant)
[Résolu][VBS Débutant Boucle Do-While-Loop Active Directory]	[SQL] une question de pur debutant
Plus de sujets relatifs à : [Prolog] débutant..

Page générée en 0.150 secondes