- 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.
- sci.logic: Grupo de noticias
- The Association of Logic Programming (ALP): http://www.cwi.nl/projects/alp/
- Interest Group in Pure and applied Logics (IGPL): http://www.di.ufpe.br/~igpl/