3.3 Teoria de la demostració - La Salle
3.3 Teoria de la demostració - La Salle
3.3 Teoria de la demostració - La Salle
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
SESSIÓ 32: Fets dinàmics<br />
FTXA DE LA SESSIÓ<br />
Nom: Fets dinàmics<br />
Tipus: teòrica<br />
Format: no presencial<br />
Durada: 3 hores<br />
Treball a lliurar: no<br />
Material:<br />
o Bibliografia bàsica:<br />
[Prolog2001]<br />
OBJECTIUS<br />
Estudiar l’ús i <strong>la</strong> <strong>de</strong>c<strong>la</strong>ració <strong>de</strong> fets dinàmics, és a dir, <strong>de</strong> predicats que po<strong>de</strong>n ser<br />
manipu<strong>la</strong>ts en temps d’execució.<br />
CONTINGUTS<br />
4.6 Bases <strong>de</strong> da<strong>de</strong>s internes<br />
4.6.1 Fets dinàmics<br />
Un fet és una clàusu<strong>la</strong> unitària. Els fets que hem estudiat fins ara es <strong>de</strong>c<strong>la</strong>ren en <strong>la</strong><br />
secció Predicates ja que són predicats. Aquest fets són certs durant tota l’execució <strong>de</strong>l<br />
programa i no po<strong>de</strong>n ser manipu<strong>la</strong>ts dinàmicament. Visual Prolog dóna una altra<br />
alternativa per manipu<strong>la</strong>r fets i consi<strong>de</strong>rar-los dinàmics: <strong>la</strong> secció Facts o Database.<br />
Els fets <strong>de</strong>c<strong>la</strong>rats en aquesta secció po<strong>de</strong>n ésser esborrats (<strong>de</strong>ixen <strong>de</strong> ser certs ja que<br />
no hi són) o afegits (ara són certs ja que abans no hi eren).<br />
Els fets dinàmics són consi<strong>de</strong>rats com si fossin una base da<strong>de</strong>s interna que pot<br />
actualitzar-se en temps d’execució.<br />
Fets dinàmics enfront <strong>de</strong> fets estàtics<br />
Els noms <strong>de</strong>ls predicats <strong>de</strong>ls fets estàtics estan <strong>de</strong>finits en <strong>la</strong> secció Predicates i els<br />
predicats estan especificats en <strong>la</strong> secció C<strong>la</strong>uses.<br />
Els noms <strong>de</strong>l predicats <strong>de</strong>ls fets dinàmics estan <strong>de</strong>finits en <strong>la</strong> secció Facts i els<br />
predicats po<strong>de</strong>n estar especificats en <strong>la</strong> secció C<strong>la</strong>uses i/o a través <strong>de</strong>ls predicats<br />
assert i consult que permeten afegir fets durant l’execució <strong>de</strong>l programa.<br />
Els fets dinàmics po<strong>de</strong>n ser utilitzats com els fets estàtics.<br />
129