20 elemente de compilare }i dezvoltarea programelor mari

Elemente de compilare 193
⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯
⎯
code=numar
unde numar este num[rul de paragrafe destinate acestei zone
(1 paragraf = 16 bytes);
De exemplu, pentru dimensionarea unei zone de 32 Kb plas[m la
@nceputul programului code=2048. Aceast[ directiv[ poate fi substituit[
pentru cazul programelor executate sub Turbo Prolog folosind meniul
Options/Compiler directives/Memory allocation/Code....
Dac[ la execu\ia unui program Turbo Prolog apare eroarea
1002 Stack overflow
este necesar s[ ne asigur[m de corecta elaborare din punct de vedere logic
a programului iar dac[ avem @ndeplinit[ aceast[ condi\ie, trebuie s[
redimension[m stiva de lucru a motorului de inferen\e folosind meniul
Options/Compiler directives/Memory allocation/Stack... desigur
tot @n paragrafe.
D3) Un predicat care genereaz[ solu\ii multiple @n cursul unui
proces de demonstra\ie se nume]te nedeterminist. Compilatorul Turbo
Prolog dispune de directiva check_determ (care se plaseaz[ @naintea
sec\iunii domains din program) pentru avertizarea utilizatorului asupra
clauzelor nedeterministe - permite deci programatorului remedierea
situa\iilor nedorite (eventual folosirea t[ieturii). #n cazul @n care
programatorul cunoa]te predicatele nedeterministe din program ]i dore]te
s[ r[m`n[ ca atare, aceste predicate trebuie s[ fie precedate @n declara\ie
de op\iunea nondeterm. Deasemenea, pentru a ob\ine un raport detaliat
asupra predicatelor dintr-un program, se folose]te directiva diagnostics
fie @n program (plasat[ la @nceputul acestuia) c`t ]i din meniul
Options/Compiler directives/Diagnostics.
E. Imbricarea programelor Turbo Prolog
#n situa\ia @n care acelea]i declara\ii de domenii, declara\ii de
predicate ]i defini\ii sunt utilizate @n mai multe programe, este util[
folosirea directivei
include "NUME.PRO"
unde NUME.PRO este numele fi]ierului Turbo Prolog care
con\ine defini\iile ]i declara\iile necesare.
Efectul acestei directive const[ @n imbricarea programului NUME.PRO @n
programul propriu, chiar @n pozi\ia @n care apare directiva. Programatorul
trebuie s[ verifice eventualele neconcordan\e care pot apare (predicate
folosite dar @nc[ nedeclarate etc).