20 elemente de compilare }i dezvoltarea programelor mari

190 Practica program[rii logice
⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯
⎯
De]i stanga, dreapta sunt ambele simboluri, argumentele
predicatelor langa ]i la_dreapta sunt tratate diferit ("teama de
semnifica\ii diferite..."). O solu\ie posibil[ este schimbarea declara\iei
predicatului langa (vezi ]i cap. 2):
sau
langa(symbol,symbol)
langa(stanga,dreapta)
langa(dreapta,stanga)
Prezent[m mai jos un program care ilustreaz[ rolul hot[r`tor al
ordinei declara\iilor unui acela]i predicat:
predicates
produs(integer,real,real)
produs(real,integer,real)
produs(integer,integer,integer)
produs(real,real,real)
clauses
produs(X,Y,Z):-bound(X),bound(Y),Z=X*Y.
produs(X,Y,Z):-bound(X),bound(Z),Y=Z/X.
produs(X,Y,Z):-bound(Z),bound(Y),X=Z/Y.
Exemplul 20.6. Ordinea declara\iilor.
La scopul extern produs(2.4,0.5,X) se furnizeaz[ solu\ia X=1
ceea ce este evident o eroare de semnifica\ie a predicatului (care nici nu
este depistat[ @n faza de compilare !). O solu\ie pentru @nl[turarea acestei
situa\ii este scrierea ultimei declara\ii a lui produs pe prima pozi\ie (vezi
conversii de tip).
C. Conversii de tip
O variabil[, @ntr-o regul[, nu poate fi legat[ la valori de tipuri
diferite dec`t @n cazul unor conversii de tip recunoscute de compilator.
Dac[ tipurile nu pot fi convertite compilatorul semnaleaz[:
505 Type error: Illegal variable for this position
510 Objects from these domains cannot be compared
Conversia de tip intervine deasemenea ]i @ntr-o punere @n
coresponden\[ a unei variabile legate cu o valoare de tip diferit.
Tip 1 Tip 2 Compatibilitate Observa\ii