Discussion :

[domidut]

Ce doit pas être grand chose.
Mais cela me montre que je n'ai pas encore compris ce p%%% de langage attirant.

Soit la base de données :

Code :

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

1
2
3
4
5
6
7
8
crazyright(zut, a).
crazyright(zut, b).
crazyright(zut, c).
crazyright(zut, d).
crazyright(zic, a).
crazyright(zic, b).
crazyright(zic, z).
crazyright(zouc, a).

Je veux écrire un prédicat qui intersectionne les interdits.
Par exemple, ( delCrazyRight([zut,zic,zouc], [a]), ou
delCrazyRight([zut,zic], [a,b])
ou delCrazyRight([zut], [a,b,c,d])
etc.

En exécutant le deboggueur de swi prolog (guitracer, trace) sur le programme suivant, je vois passer ma réponse dans Z, mais quand prolog backtrack , la donnée se perd, et l'ensemble se termine par NO.

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
delCrazyRight([],_) :- 
   !.
 
delCrazyRight([F|Q],[]) :- 
  !,
  findall(ForbidTag,crazyright(F, ForbidTag),ListofForbidTags),
  list_to_set(ListofForbidTags, SetofForbidTags),
  delCrazyRight(Q,SetofForbidTags).
 
 
delCrazyRight([F|Q],InterForbidtags) :-
  InterForbidtags\=[],
  !,
  findall(ForbidTag,crazyright(F, ForbidTag),ListofForbidTags),
  list_to_set(ListofForbidTags, SetofForbidTags),
  intersection(SetofForbidTags, InterForbidtags, NewInterForbidtags),
  delCrazyRight(Q,NewInterForbidtags).

Que dois-je faire ?

[pcaboche]

J'ai delCrazyRight(+L1,?L2) et delCrazyRight(?L1,+L2) :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
%delCrazyRight(+L1,?L2)
 
delCrazyRight(L1,L2) :- 
  is_list(L1),
  !,
  setof(
    B
  ,
    (
      member(A1,L1),
      crazyright(A1,B),
      crazyright(A2,B),
      memberchk(A2,L1)
    )
  ,
    L2
  ).
 
 
 
%delCrazyRight(?L1,+L2)
 
delCrazyRight(L1,L2) :- 
  is_list(L2),
  !,
  setof(
    A
  ,
    (
      member(B1,L2),
      crazyright(A,B1),
      crazyright(A,B2),
      memberchk(B2,L2)
    )
  ,
    L1
  ).

Concernant delCrazyRight(?L1,?L2), c'est un peu plus compliqué.

[domidut]

Merci PCcaboche. La réponse ne convient pas. En essayant, je ne trouve pas les intersections recherchées d'éléments interdits.
Si un élément potentiel A à la place 1 dit que la place 2 ne peut être occupée par un élément dans [a,b], si un autre élément potentiel B à la place 1 dit que la place 2 ne peut être occupée par un élément dans [a, z], alors que l'élément en 1 soit A ou B, la place 2 ne peut être occupée par un élément dans [a].

J'ai finalement résolu mon problème. Cela marche bien. Mais je suis quand même très insatisfait car je ne comprend pas pourquoi cela marche bien.

Voici une réponse:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
delCrazyRight([F|Q],InterForbidtags) :-
  delCrazyRight(F,FirstInterForbidtags),
  delCrazyRight(Q,FollowInterForbidtags),
  intersection(FirstInterForbidtags, FollowInterForbidtags, InterForbidtags),
  !.
 
delCrazyRight([],_) :-
   !.
 
delCrazyRight(F,FirstInterForbidtags) :-
  findall(ForbidTag,crazyright(F, ForbidTag),ListofForbidTags),
  list_to_set(ListofForbidTags, FirstInterForbidtags).

[pcaboche]

Merci PCcaboche. La réponse ne convient pas.

Désolé, je pense que je n'ai pas compris le problème.

Si un élément potentiel A à la place 1 dit que la place 2 ne peut être occupée par un élément dans [a,b], si un autre élément potentiel B à la place 1 dit que la place 2 ne peut être occupée par un élément dans [a, z], alors que l'élément en 1 soit A ou B, la place 2 ne peut être occupée par un élément dans [a].

Erf... je comprends de moins en moins le problème.

Mais je suis quand même très insatisfait car je ne comprend pas pourquoi cela marche bien.

Ben moi non plus...