20 elemente de compilare }i dezvoltarea programelor mari

Elemente de compilare 189
⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯
⎯
#ndep[rtarea erorii 112 se realizeaz[ tot printr-o rescriere a
declara\iilor de domenii. #n cap. 2 am v[zut deja c[ Turbo Prolog dispune
de o sec\iune de constante - utilizate @n program cu semnifica\ia obi]nuit[
(valori care nu se schimb[ @n timpul execu\iei programului).
constants
ion="Sfantul Ion"
x =Variabila
predicates
sfant(symbol)
clauses
sfant(ion).
goal
sfant("Sfantul Ion"),sfant(x),write(x).
Exemplul 20.4. O constant[ fals[ ...
Constanta x are valoarea definit[ Variabila ceea ce face ca x s[
fie tratat[ @n demonstra\ie ca o variabil[ ! (de fapt problema provine de la
defini\ia lui x care este un identificator ce @ncepe cu liter[ mare)
B. Redefinirea predicatelor
O regul[ nu poate utiliza argumente ale unui predicat diferite de
tipul celor din declara\ia sa.
domains
stanga,dreapta=symbol
predicates
la_stanga(stanga,dreapta)
la_dreapta(dreapta,stanga)
langa(stanga,dreapta)
clauses
la_dreapta(casa,arbore).
la_stanga(casa,garaj).
langa(X,Y):-la_stanga(X,Y).
langa(X,Y):-la_dreapta(X,Y).
Exemplul 20.5. Concordan\a variabil[ - domeniu.
Programul de mai sus furnizeaz[ eroarea fatal[;
505 Type error: Illegal variable type for this
position