Merge branch 'master' of https://git.etud.insa-toulouse.fr/tali/TP_Prolog

TP1-2/tp2_3.pl

@@ -0,0 +1,20 @@
+a_droite(X, [X | D], D).
+% not(a_droite(X,[],_)).
+
+
+a_droite(X, [_ | Tail], D) :-
+	a_droite(X,Tail,D).
+
+a_gauche(X, [X | _], []).
+
+a_gauche(X, [Head | Tail], [HeadG | TailG]) :-
+	Head = HeadG,
+	a_gauche(X, Tail, TailG).
+
+
+separer(Head,[Head | Tail], [], Tail).
+
+separer(X,[Head | Tail], [Head | Aux], D) :-
+	separer(X,Tail,Aux, D).
+	
+

TP1-2/tp2_4.pl

@@ -0,0 +1,44 @@
+	% Description de graphes
+	% ----------------------
+	% Chaque clause donne le nom du graphes, la liste des sommets et la liste des arcs.
+	% g1 est un graphe acyclique
+	% g2 contient des cycles
+	
+
+graphe(g1, [1,2,3,4,5,6], [[1,2],[1,3],[2,4],[3,4],[4,5],[4,6]]).
+
+graphe(g2, [1,2,3,4,5,6], [[1,2],[1,3],[2,3],[2,4],[3,4],[4,1],[4,5],[4,6]]).
+
+
+arc(G,O,E) :-
+	graphe(G,Nodes,Arcs),
+	member(O,Nodes),
+	member(E,Nodes),
+	member([O,E],Arcs).
+
+existe_chemin(G,O,E) :- 
+	arc(G,O,E).
+
+existe_chemin(G,O,E) :-
+	arc(G,O,Aux),
+	existe_chemin(G,Aux,E).
+
+chemin(G,O,E,[[O,E]]) :-
+	arc(G,O,E).
+
+chemin(G,O,E,[[O,Aux] | Ch]) :-
+	arc(G,O,Aux),
+	chemin(G,Aux,E,Ch).
+
+chemin_sans_circuits(G,O,E,[[O,E]],Memo) :-
+	arc(G,O,E),
+	not(member(E,Memo)).
+
+
+chemin_sans_circuits(G,O,E,[[O,Aux] | Ch],Memo) :-
+	arc(G,O,Aux),
+	not(member(Aux,Memo)),
+	chemin_sans_circuits(G,Aux,E,Ch,[Aux | Memo]).
+
+
+

TP3/tp3.pl

@@ -0,0 +1,89 @@
+:- use_module(library(lists)).
+
+disque(a, [-1,0,0,0,0,0]).
+disque(b, [-1,-1,0,0,0,0]).
+disque(c, [-1,0,-1,0,0,0]).
+disque(d, [-1,0,0,-1,0,0]).
+disque(e, [-1,-1,-1,0,0,0]).
+disque(f, [-1,-1,0,-1,0,0]).
+disque(g, [-1,0,-1,0,-1,0]).
+disque(h, [-1,-1,-1,-1,0,0]).
+disque(i, [-1,-1,-1,0,-1,0]).
+disque(j, [-1,-1,0,-1,-1,0]).
+disque(k, [-1,-1,-1,-1,-1,0]).
+disque(l, [-1,-1,-1,-1,-1,-1]).
+
+liste_des_disques(L) :-
+    findall(X,disque(X,_),L).
+
+
+% rotation_droite([Head | []],[Head]).
+
+/* rotation_droite([Head | Tail], R) :-
+   rotation_droite(Tail, RAux),
+   append(RAux,[Head], R). */
+
+rev([], []).
+
+rev([Head | Tail], Res) :-
+    rev(Tail, X),
+    append(X, [Head],Res).
+    
+/* rotation_droite(M, [Head | R]) :-
+    rev(M, [Head | Tail]),
+    rev(Tail, R). */
+
+rotation_droite([Head | Tail], Res) :-
+    append(Tail, [Head], Res).
+
+orienter(M1,M1,0,_).
+
+orienter(M1,M2,N,Ref) :-
+    rotation_droite(M1,Aux),
+    Aux \= Ref,
+    orienter(Aux,M2,Naux,Ref),
+    N is Naux + 1.
+
+
+empilement_secteur(0,0,0).
+empilement_secteur(2,-1,1).
+empilement_secteur(0,-1,2).
+empilement_secteur(1,-1 ,0).
+
+empilement([], [], []).
+
+empilement([Head1 | Tail1], [HeadM | TailM], [Head2 | Tail2]) :-
+    empilement_secteur(Head1,HeadM,Head2),
+    empilement(Tail1,TailM,Tail2).
+
+etat_initial([[0,0,0,0,0,0], L]) :-
+    liste_des_disques(L).
+
+etat_final([[0,0,0,0,0,0], []]).
+
+arc([S1,L1],[S2, L2],[D,N]) :-
+    S1 = [0,0,0,0,0,0],
+	N = 0,
+    select(D, L1, L2),
+    disque(D, F),
+    orienter(F,F2,N,F),
+    empilement(S1,F2,S2).
+
+arc([S1,L1],[S2, L2],[D,N]) :-
+    S1 \= [0,0,0,0,0,0],
+    select(D, L1, L2),
+    disque(D, F),
+    orienter(F,F2,N,F),
+    empilement(S1,F2,S2).
+
+trouver_solution([], EtatFinal, EtatFinal).
+
+trouver_solution([ResAux1 | ResAux2], EtatCourant, EtatFinal) :-
+    arc(EtatCourant, EtatSuivant, ResAux1),
+    trouver_solution(ResAux2,  EtatSuivant, EtatFinal).
+
+
+solution(S) :-
+    etat_initial(EtatInit),
+    etat_final(EtatFinal),
+    trouver_solution(S,EtatInit,EtatFinal).