Licenciatura en Matemáticas Bloque I. Formalización del ...
Licenciatura en Matemáticas Bloque I. Formalización del ...
Licenciatura en Matemáticas Bloque I. Formalización del ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
ENUNCIADO DE PRÁCTICAS<br />
Página 20<br />
También dispone de un navegador Prolog, que se llama desde el m<strong>en</strong>ú Browse -> Prolog Navigator :<br />
Ilustración 18: Navegador Prolog<br />
Más información la podemos <strong>en</strong>contrar <strong>en</strong> línea con:<br />
?- help(3-3). Consulting Prolog Source files<br />
2. Base de Conocimi<strong>en</strong>tos: gestión universitaria<br />
Este segundo apartado corresponde a un segundo nivel <strong>en</strong> el cual el alumno/a realiza pequeños<br />
ejercicios que se le van planteando <strong>en</strong> clase y que al final conformarán una Base de Conocimi<strong>en</strong>tos que<br />
recopila información sobre un dominio (problema) dado. Para este curso se ha elegido la repres<strong>en</strong>tación de la<br />
información correspondi<strong>en</strong>te a la gestión universitaria : asignaturas, profesores, alumnos, notas, ...
Change language