G1 P Aplicaciones
de la PD al Lenguaje Natural Prog.
Avanzada
G2
C LOGIWEB Aplic.Internet
/Ext.
G3 D Bases
de datos deductivas Prog.
Avanzada
G4 D TADs
en Haskell Prog.
Avanzada
G5 D Mónadas Prog.
Avanzada
G6 I Sistemas de Reescritura Fundamentos
G7 D LOGIMOO
(leng. Declarativo para Internet) Aplic.
Internet/Ext.
“Mundo
Virtual extensible con control de LN”
G8 C Haskell
y tecnologías COM Prog.
Avanzada/Ext.
G9 D TEMPO++ Extensiones
G10 D Prog.
Lógica difusa (Fuzzy Prolog) Prog.
Avanzada/Ext.
G11 D Gráficos
en Haskell Prog.
Avanzada/Ext.
G13 I Sistemas de Tipos Fundamentos
G14 D LIFE Para-Res/Ext.
G15 I Prog. Lógica Concurrrente y Restricciones Para-Ext.
G16 I Prog.
Lógica Paralela (PARLOG II) Para-Ext.
G17 I Historia de la Prog. Declarativa ASPEC.
Didác.
G18 C SML Fund/Prog.
Av.
G19 D Aspectos
educativos de la Prog. Declarativa ASPEC.
Didác.
G20 D Lengs.
de Consultas sobre BD Deductivas P.Avan/Extensiones
G21 D Dr.
SCHEME Implement./Entorno
G22 I Concurrent
Haskell Implem-Par/Ext.
G23 I LOFT. Trad. Lóg. a func. Basado en MERCURY Fundamentos/PA
(I :
Internet, D : disco, C : CD, P : papel)