Enlaces
y Otras Informaciones.
- En la dirección
URL: http://www-csli.stanford.edu/hp/index.html
puede encontrarse información sobre un
software educativo que hace más atractivo el aprendizaje de algunos
aspectos básicos de la lógica (el software ha sido premiado
con la Educom Medal de 1997).
Compiladores e
interpretes de lenguajes declarativos.
-
Pinchar aquí
para información sobre diferentes implementaciones
de lenguajes lógicos (en un sentido amplio).
Grupos de noticias
y asociaciones.