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Ó 27: L’execució d’un programa<br />
FITXA DE LA SESSIÓ<br />
Nom: L’execució d’un programa<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 />
Introduir els conceptes bàsics <strong>de</strong> <strong>la</strong> programació lògica en el context <strong>de</strong>l Visual Prolog.<br />
CONTINGUTS<br />
En aquesta sessió estudiarem que és un programa i com s’executa en Visual Prolog.<br />
4.3 L’execució d’un programa<br />
4.3.1 Definicions<br />
Programa en Visual Prolog<br />
Un programa en Prolog és un conjunt <strong>de</strong> clàusules <strong>de</strong> Horn. En Visual Prolog hem <strong>de</strong><br />
distingir les clàusules que <strong>de</strong>fineixen el problema: els fets i les regles <strong>de</strong> <strong>la</strong> clàusu<strong>la</strong><br />
objectiu.<br />
Aquesta distinció es fa mitjançant diferents seccions. <strong>La</strong> secció anomenada C<strong>la</strong>uses i<br />
<strong>la</strong> secció anomenada Goal respectivament. L’exemple en CP0 utilitzat en <strong>la</strong> sessió<br />
anterior s’expressaria en Visual Prolog <strong>de</strong> <strong>la</strong> manera següent:<br />
C<strong>la</strong>uses<br />
q :- p.<br />
p.<br />
Goal<br />
q.<br />
En Visual Prolog tots els predicats utilitzats en <strong>la</strong> secció C<strong>la</strong>uses han <strong>de</strong> ser<br />
prèviament <strong>de</strong>c<strong>la</strong>rats. <strong>La</strong> <strong>de</strong>c<strong>la</strong>ració <strong>de</strong> predicats es fa mitjançant una secció<br />
anomenada Predicates. L’exemple queda doncs:<br />
101