Passage de TurboProlog à Swi-Prolog

Version imprimable

Bonsoir ,

J'ai programmé Prolog en utilisant TurboProlog , mais maintenant , j'ai un mini projet avec SWI-Prolog.
Donc comme première étape , j'ai fait une partie du code avec Turbo-Prolog :
Code:

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 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 DOMAINS list= symbol* list_I = integer* PREDICATES compare(list,list) exacte(list,list,list_I) Tester(list,list,list_I) decaler(list_I,list_I) existe(list,list,list_I,integer,list_I) element(list,integer,symbol) verif(symbol,list,list_I) inclus(list_I,list_I) dans(integer,list_I) CLAUSES compare(X,X). exacte([A|X],[B|Y],L) :- A<>B,exacte(X,Y,L1), decaler(L1,L). exacte([A|X],[B|Y],L) :- A=B, exacte(X,Y,L1) , decaler(L1,L2),L=[1|L2]. exacte([],[],[]). decaler([A|X],[B|Y]):- B=A+1,decaler(X,Y). decaler([],[]). Tester(X,Y,L):- exacte(X,Y,E),existe(X,Y,L,1,E). existe([A|X],Y,L,R1,E):- R2=R1+1,existe(X,Y,LT,R2,E), element(Y,R1,C) , A<>C, verif(A,Y,L3),not(inclus(L3,E)), L= [R1|LT]. existe([A|X],Y,L,R1,E):- R2=R1+1,existe(X,Y,LT,R2,E), element(Y,R1,C) , A<>C, verif(A,Y,L3),inclus(L3,E),L= LT. existe([A|X],Y,L,R1,E):- R2=R1+1,existe(X,Y,LT,R2,E), element(Y,R1,C) , A=C, L= LT. existe([],_,[],_,_). element([A|_],1,A) . element([_|L],R,X):- R>1,R1=R-1, element(L,R1,X). verif(A,[A|X],[1|Y]):- verif(A,X,L),decaler(L,Y). verif(A,[B|Y],L):- A<>B,verif(A,Y,L2),decaler(L2,L). verif(_,[],[]). inclus([A|X],Y):- inclus(X,Y),dans(A,Y). inclus([],_). dans(A,[A|_]). dans(A,[B|Y]):- A<>B,dans(A,Y).
mais il ne marche pas avec Swi-Prolog ! Apparemment ils n'ont pas le même syntaxe !

Qu'est ce que je dois faire? Comment Récrire le même code pour qu'il soit compilé avec Swi-Prolog ?

(J'ai cherché un peu sur Swi-prolog , mais ça reste flou , surtout pour l'utilisation des listes (déclaration de mes propres listes ,...))

Merci d'avance .

24/03/2009, 23h03
gorgonite

enlever toute forme de typage, et la séparation des sections, ça devrait suffire

(c'est d'ailleurs ce qui faisait la "vitesse" de Turbo Prolog sur une approche classique ;))

Citation:

Envoyé par gorgonite

enlever toute forme de typage, et la séparation des sections, ça devrait suffire

(c'est d'ailleurs ce qui faisait la "vitesse" de Turbo Prolog sur une approche classique ;))

Merci bien "gorgonite" .

C'est ce que j'ai fait déjà! mais ce n'est pas suffisant !

Voici le nouveau code : (fichier.pl) :
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 compare(X,X). decaler([A|X],[B|Y]):- B=A+1,decaler(X,Y). decaler([],[]). element([A|_],1,A) . element([_|L],R,X):- R>1,R1=R-1, element(L,R1,X). dans(A,[A|_]). dans(A,[B|Y]):- A<>B,dans(A,Y). verif(A,[A|X],[1|Y]):- verif(A,X,L),decaler(L,Y). verif(A,[B|Y],L):- A<>B,verif(A,Y,L2),decaler(L2,L). verif(_,[],[]). exacte([A|X],[B|Y],L) :- A<>B,exacte(X,Y,L1), decaler(L1,L). exacte([A|X],[B|Y],L) :- A=B, exacte(X,Y,L1) , decaler(L1,L2),L=[1|L2]. exacte([],[],[]). inclus([A|X],Y):- inclus(X,Y),dans(A,Y). inclus([],_). existe([A|X],Y,L,R1,E):- R2=R1+1,existe(X,Y,LT,R2,E), element(Y,R1,C) , A<>C, verif(A,Y,L3),not(inclus(L3,E)), L= [R1|LT]. existe([A|X],Y,L,R1,E):- R2=R1+1,existe(X,Y,LT,R2,E), element(Y,R1,C) , A<>C, verif(A,Y,L3),inclus(L3,E),L= LT. existe([A|X],Y,L,R1,E):- R2=R1+1,existe(X,Y,LT,R2,E), element(Y,R1,C) , A=C, L= LT. existe([],_,[],_,_). Tester(X,Y,L):- exacte(X,Y,E),existe(X,Y,L,1,E).
et voici les messages d'errors :

ERROR: c:/Blabla/fichier.pl:7:0: Syntax error: Operator expected
ERROR: c:/Blabla/fichier.pl:9:0: Syntax error: Operator expected
ERROR: c:/Blabla/fichier.pl:11:0: Syntax error: Operator expected
ERROR: c:/Blabla/fichier.pl:16:0: Syntax error: Operator expected
ERROR: c:/Blabla/fichier.pl:17:0: Syntax error: Operator expected
ERROR: c:/Blabla/fichier.pl:20:0: Syntax error: Operator expected
% fichier.pl compiled 0.02 sec, 4,984 bytes

25/03/2009, 08h18
Trap D

Déjà remplace tous les '=' dans B=A+1 et R2 = R1 + 1 par 'is', il n'y a pas le = de l'affectation en SWI-Prolog.
<> n'existe pas c'est \= qu'il faut utiliser.

Il y a peut-être d'autres erreurs mais il faudrait que je teste le code.
25/03/2009, 10h07
gorgonite
Citation:

Envoyé par Trap D

Déjà remplace tous les '=' dans B=A+1 et R2 = R1 + 1 par 'is', il n'y a pas le = de l'affectation en SWI-Prolog.

pas d'accord pour B=A+1, je crois bien que le is est une sorte d'affectation avec que le = implique une unification (et le == une pseudo-égalité :?)
Code:

1 2 decaler([A|X],[B|Y]):- B=A+1,decaler(X,Y).
en revanche, peut-être que ceci pourrait marcher
Code:

1 2 3 4 5 6 7 8 decaler([A|X],[B|Y]) :- var(A),!, TMP is B-1, TMP=A,decaler(X,Y). decaler([A|X],[B|Y]) :- TMP is A+1, TMP=B,decaler(X,Y).
25/03/2009, 16h51
Hello_World

:yaisse2:
Merci à vous tous !
ça marche bien !

mais juste j'ai quelques remarques :D :

1- Pour corriger les erreurs , j'ai juste remplacer <> par \= et remplacer Tester par tester (le 't' minuscule :aie:)
2- Après avoir corriger ces erreurs , j'ai constaté que pour évaluer un entier , il faut passer par l'utilisation de VAR ! ce qui est tout à fait normale car ce Swi-Prolog n'utilise pas la notion de typage (reste à vérifier avec vous :) )

3- @gorgonite : je suis tout à fait d'accord avec vous à propos de l'utilisation de '= ' VS is . Car j'ai utilisé le '=' en TurboProlog pour faire une unification !
4- Est ce qu'il y a une possibilité de faire le calcul sans passer par 'is'.
ie :
je veux faire

Code:

R2=R1+1

à la place de

Code:

TMP is R1+1,TMP=R2

(Je ne veux utiliser aucune affectation !)
5: Merci à "Trap D" et "gorgonite" :king:

Le is n'est pas une affectation mais permet l'évaluation d'une expression arithmétique (ce que je soupçonne en voyant R2 = R1 + 1).

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
-Number is +Expr                                                  [ISO]
    True  if Number has successfully  been unified with the number  Expr
    evaluates to.   If Expr evaluates to a float that can be represented
    using  an integer (i.e,  the value is  integer and within the  range
    that can be  described by Prolog's integer representation),  Expr is
    unified with the integer value.
 
    Note  that normally, is/2 should be used with unbound  left operand.
    If equality is to be tested, =:=/2 should be used.  For example:
 
             ?- 1 is sin(pi/2).   Fails!.   sin(pi/2) evaluates
                                  to the float  1.0, which does
                                  not unify with the integer 1.
             ?- 1 =:= sin(pi/2).  Succeeds as expected.

var/1 permet simplement de savoir si une variable est libre ou non.

Code:

1
2
3
4
5
6
7
8
1 ?- var(X).
true.
 
2 ?- var(3).
false.
 
3 ?- X = 5, var(X).
false.